Publications and Talks Using Map2Check

Publications

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 map2check.tool@gmail.com).

  1. Rocha, H., Menezes, R., Cordeiro, L. C., Barreto, R. S. Map2Check: Using Symbolic Execution and Fuzzing (Competition Contribution). In 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 12079, pp. 403-407, 2020.
  2. Menezes, R., Rocha, H., Cordeiro, L. C., Barreto, R. S. Map2Check Using LLVM and KLEE - (Competition Contribution). In 24th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 10806, pp. 437-441, 2018.
  3. Rocha, H. O., Cordeiro L. C., Barreto, R. S. Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution). In 22th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 9636, pp. 934-937, 2016.
  4. Rocha, H. O., Barreto, R. S., Cordeiro, L. C. Memory Management Test-Case Generation of C Programs using Bounded Model Checking. In 13th International Conference on Software Engineering and Formal Methods (SEFM), LNCS 9276, pp. 251-267, 2015.
  5. Rocha, H., Cordeiro, L., Barreto, R. and Netto, J. Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs. In 4th Brazilian Workshop on Systematic and Automated Software Testing, pp. 121-130, SBC, 2010. [Presentation]

Map2Check Talks - Hands on.

  1. Menezes, R., Rocha, H., Cordeiro, L. Map2Check - Tutorial, 2018. [Presentation]