publications.html

---
title: Arcana
layout: default
---
{% assign current = page.url | downcase | split: '/' %}
<!-- Main -->
<section class="wrapper style1">
	<div class="container">
		<div id="content">

				<!-- Content -->
			
					<article>
						<header>
							<h2>Publications and Talks Using Map2Check</h2>
							<p>Publications</p>
						</header>
                       
                       <div style="width: 100%;">
                            <div style="height: 150px; width: 150px; float: left;"> 
                                <i class="icon major fa-pencil"></i>
                            </div>
                            <div style="margin-left: 120px;"> 
                               <p style="text-align:justify">
                                Below you can find a list of papers and talkers that either use or extend Map2Check. If you have used or extended Map2Check and would like to have your paper listed here, please email <b>map2check.tool@gmail.com</b>).
                               </p>
                            </div>
                       </div>
                        
                        
                    <div style="width: 100%; margin-top: 100px;">
                        <ol>
                            <li>
                                Rocha, H., Menezes, R., Cordeiro, L. C., Barreto, R. S. <a href="https://ssvlab.github.io/lucasccordeiro/papers/tacas2020.pdf">Map2Check: Using Symbolic Execution and Fuzzing (Competition Contribution).</a> In 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 12079, pp. 403-407, 2020.
                            </li>
                            <li>
                                Menezes, R., Rocha, H., Cordeiro, L. C., Barreto, R. S. <a href="https://ssvlab.github.io/lucasccordeiro/papers/tacas2018.pdf">Map2Check Using LLVM and KLEE - (Competition Contribution).</a> In 24th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 10806, pp. 437-441, 2018.
                            </li>
                            <li>
                                Rocha, H. O., Cordeiro L. C., Barreto, R. S. <a href="https://ssvlab.github.io/lucasccordeiro/papers/tacas2016.pdf">Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution).</a> In 22th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 9636, pp. 934-937, 2016.
                            </li>
                            <li>
                                Rocha, H. O., Barreto, R. S., Cordeiro, L. C. 
                            <a href="https://ssvlab.github.io/lucasccordeiro/papers/sefm2015.pdf">
                            Memory Management Test-Case Generation of C Programs using Bounded Model Checking.</a> In 13th International Conference on Software Engineering and Formal Methods (SEFM), LNCS 9276, pp. 251-267, 2015.
                            </li>
                            <li>
                            Rocha, H., Cordeiro, L., Barreto, R. and Netto, J. 
                            <a href="http://eprints.ecs.soton.ac.uk/21649/">
                            Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs.</a> In 4th Brazilian Workshop on Systematic and Automated Software Testing, pp. 121-130, SBC,  2010. <a href="{{ site.baseurl }}/assets/pdf_talks/SAST_2010_v3.pdf">[Presentation]</a>
                            </li>
                        </ol>
                    </div>
                    </br>
                    
                    <header>
						<h2></h2>							
					</header>
                       
                       <div style="width: 100%;">
                            <div style="height: 150px; width: 150px; float: left;"> 
                                <i class="icon major fa-clipboard"></i>
                            </div>
                            <div style="margin-left: 120px;"> 
                               <p style="text-align:justify">
                                <b>Map2Check Talks - Hands on</b>.
                               </p>
                            </div>
                       </div>
                       
                       <div style="width: 100%; margin-top: 100px;">
                        <ol>                            
                            <li>
                            Menezes, R., Rocha, H., Cordeiro, L.                            
                            Map2Check - Tutorial, 2018. <a href="{{ site.baseurl }}/assets/pdf_talks/Map2Check_How_to_use.pdf">[Presentation]</a>
                            </li>
                        </ol>
                    </div>
			</div>
		</div>
	</section>			