@misc(pathcrawler:online,
 title        = "PathCrawler",
 url          = "http://pathcrawler-online.com/",
 note         = "Last visited September 2012",
)
@article(cbmc_indust,
 author       = "Damiano Angeletti and Enrico Giunchiglia and Massimo Narizzano and Alessandra Puddu and Salvatore Sabina",
 year         = "2010",
 title        = "Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting",
 journal      = "Journal of Automated Reasoning",
 volume       = "45",
 pages        = "397--414",
 doi          = "10.1007/s10817-010-9172-3",
)
@book(apt,
 author       = "Krzysztof R. Apt and Ernst-R\IeC {\"u}diger Olderog",
 year         = "1991",
 title        = "Verification of Sequential and Concurrent Programs",
 publisher    = "Springer",
 doi          = "10.1007/978-1-84882-745-5",
)
@inproceedings(bitblaze,
 author       = "Domagoj Babi\'{c} and Lorenzo Martignoni and Stephen McCamant and Dawn Song",
 year         = "2011",
 title        = "Statically-directed dynamic automated test generation",
 booktitle    = "Proceedings of the 2011 International Symposium on Software Testing and Analysis",
 series       = "ISSTA '11",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "12--22",
 doi          = "10.1145/2001420.2001423",
)
@inproceedings(badban,
 author       = "Bahareh Badban and Martin Fr\"{a}nzle and Jan Peleska and Tino Teige",
 year         = "2006",
 title        = "Test automation for hybrid systems",
 booktitle    = "Proceedings of the 3rd international workshop on Software quality assurance",
 series       = "SOQUA '06",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "14--21",
 doi          = "10.1145/1188895.1188902",
)
@inproceedings(pathcrawler:experience,
 author       = "B. Botella and M. Delahaye and S. Hong-Tuan-Ha and N. Kosmatov and P. Mouy and M. Roger and N. Williams",
 year         = "2009",
 title        = "Automating structural testing of C programs: Experience with PathCrawler",
 booktitle    = "Automation of Software Test, 2009. AST '09. ICSE Workshop on",
 pages        = "70 --78",
 doi          = "10.1109/IWAST.2009.5069043",
)
@inproceedings(klee,
 author       = "Cristian Cadar and Daniel Dunbar and Dawson Engler",
 year         = "2008",
 title        = "KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs",
 booktitle    = "Proceedings of the 8th USENIX conference on Operating systems design and implementation",
 series       = "OSDI'08",
 publisher    = "USENIX Association",
 address      = "Berkeley, CA, USA",
 pages        = "209--224",
 url          = "http://dl.acm.org/citation.cfm?id=1855741.1855756",
)
@article(exe,
 author       = "Cristian Cadar and Vijay Ganesh and Peter M. Pawlowski and David L. Dill and Dawson R. Engler",
 year         = "2008",
 title        = "EXE: Automatically Generating Inputs of Death",
 journal      = "ACM Trans. Inf. Syst. Secur.",
 volume       = "12",
 number       = "2",
 pages        = "10:1--10:38",
 doi          = "10.1145/1455518.1455522",
)
@inproceedings(cbmc,
 author       = "Edmund Clarke and Daniel Kroening and Flavio Lerda",
 year         = "2004",
 title        = "A Tool for Checking {ANSI-C} Programs",
 editor       = "Kurt Jensen and Andreas Podelski",
 booktitle    = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)",
 series       = "Lecture Notes in Computer Science",
 volume       = "2988",
 publisher    = "Springer",
 pages        = "168--176",
 doi          = "10.1007/978-3-540-24730-2\_15",
)
@article(clarke,
 author       = "L.A. Clarke",
 year         = "1976",
 title        = "A System to Generate Test Data and Symbolically Execute Programs",
 journal      = "Software Engineering, IEEE Transactions on",
 volume       = "SE-2",
 number       = "3",
 pages        = "215 -- 222",
 doi          = "10.1109/TSE.1976.233817",
)
@inproceedings(klee:fp,
 author       = "Peter Collingbourne and Cristian Cadar and Paul H.J. Kelly",
 year         = "2011",
 title        = "Symbolic crosschecking of floating-point and SIMD code",
 booktitle    = "Proceedings of the sixth conference on Computer systems",
 series       = "EuroSys '11",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "315--328",
 doi          = "10.1145/1966445.1966475",
)
@inproceedings(sage:pointers,
 author       = "Bassem Elkarablieh and Patrice Godefroid and Michael Y. Levin",
 year         = "2009",
 title        = "Precise pointer reasoning for dynamic test generation",
 booktitle    = "Proceedings of the eighteenth international symposium on Software testing and analysis",
 series       = "ISSTA '09",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "129--140",
 doi          = "10.1145/1572272.1572288",
)
@misc(rtt_manual,
 author       = "Verified Systems International GmbH",
 year         = "2012",
 title        = "RT-Tester 6.x: User Manual",
)
@inproceedings(dart,
 author       = "Patrice Godefroid and Nils Klarlund and Koushik Sen",
 year         = "2005",
 title        = "DART: directed automated random testing",
 booktitle    = "Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation",
 series       = "PLDI '05",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "213--223",
 doi          = "10.1145/1065010.1065036",
)
@inproceedings(sage,
 author       = "Patrice Godefroid and Michael Y. Levin and David A. Molnar",
 year         = "2008",
 title        = "Automated Whitebox Fuzz Testing",
 booktitle    = "Proceedings of the Network and Distributed System Security Symposium, NDSS 2008, San Diego, California, USA, 10th February - 13th February 2008",
 publisher    = "The Internet Society",
)
@misc(sixgill,
 author       = "Brian Hackett",
 year         = "2010",
 title        = "sixgill",
 url          = "http://sixgill.org/",
 note         = "Last visited August 2012",
)
@article(king,
 author       = "James C. King",
 year         = "1976",
 title        = "Symbolic execution and program testing",
 journal      = "Commun. ACM",
 volume       = "19",
 number       = "7",
 pages        = "385--394",
 doi          = "10.1145/360248.360252",
)
@incollection(klover,
 author       = "Guodong Li and Indradeep Ghosh and Sreeranga Rajan",
 year         = "2011",
 title        = "KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs",
 editor       = "Ganesh Gopalakrishnan and Shaz Qadeer",
 booktitle    = "Computer Aided Verification",
 series       = "Lecture Notes in Computer Science",
 volume       = "6806",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "609--615",
 doi          = "10.1007/978-3-642-22110-1\_49",
)
@article(loeding,
 author       = "Helge L\IeC {\"o}ding and Jan Peleska",
 year         = "2008",
 title        = "Symbolic and Abstract Interpretation for C/C++ Programs",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "217",
 number       = "0",
 pages        = "113 -- 131",
 doi          = "10.1016/j.entcs.2008.06.045",
 url          = "http://www.sciencedirect.com/science/article/pii/S1571066108003885",
)
@incollection(peleska,
 author       = "Jan Peleska",
 year         = "2010",
 title        = "Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules",
 editor       = "Dennis Dams and Ulrich Hannemann and Martin Steffen",
 booktitle    = "Concurrency, Compositionality, and Correctness",
 series       = "Lecture Notes in Computer Science",
 volume       = "5930",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "277--299",
 doi          = "10.1007/978-3-642-11512-7\_18",
)
@inproceedings(sonolar,
 author       = "Jan Peleska and Elena Vorobev and Florian Lapschies",
 year         = "2011",
 title        = "Automated test case generation with SMT-solving and abstract interpretation",
 booktitle    = "Proceedings of the Third international conference on NASA Formal methods",
 series       = "NFM'11",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "298--312",
 doi          = "10.1007/978-3-642-20398-5\_22",
 url          = "http://dl.acm.org/citation.cfm?id=1986308.1986333",
)
@inproceedings(pathfinder:external,
 author       = "Corina S. P\u {a}s\u {a}reanu and Neha Rungta and Willem Visser",
 year         = "2011",
 title        = "Symbolic execution with mixed concrete-symbolic solving",
 booktitle    = "Proceedings of the 2011 International Symposium on Software Testing and Analysis",
 series       = "ISSTA '11",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "34--44",
 doi          = "10.1145/2001420.2001425",
)
@inproceedings(pathfinder,
 author       = "Corina S. P\v {a}s\v {a}reanu and Peter C. Mehlitz and David H. Bushnell and Karen Gundy-Burlet and Michael Lowry and Suzette Person and Mark Pape",
 year         = "2008",
 title        = "Combining unit-level symbolic execution and system-level concrete execution for testing nasa software",
 booktitle    = "Proceedings of the 2008 international symposium on Software testing and analysis",
 series       = "ISSTA '08",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "15--26",
 doi          = "10.1145/1390630.1390635",
)
@inproceedings(concolic:study,
 author       = "Xiao Qu and Brian Robinson",
 year         = "2011",
 title        = "A Case Study of Concolic Testing Tools and their Limitations",
 booktitle    = "Proceedings of the 2011 International Symposium on Empirical Software Engineering and Measurement",
 series       = "ESEM '11",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "117--126",
 doi          = "10.1109/ESEM.2011.20",
)
@inproceedings(cute,
 author       = "Koushik Sen and Darko Marinov and Gul Agha",
 year         = "2005",
 title        = "CUTE: a concolic unit testing engine for C",
 booktitle    = "Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering",
 series       = "ESEC/FSE-13",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "263--272",
 doi          = "10.1145/1081706.1081750",
)
@incollection(pex,
 author       = "Nikolai Tillmann and Jonathan de Halleux",
 year         = "2008",
 title        = "Pex\IeC {\textendash }White Box Test Generation for .NET",
 editor       = "Bernhard Beckert and Reiner H\IeC {\"a}hnle",
 booktitle    = "Tests and Proofs",
 series       = "Lecture Notes in Computer Science",
 volume       = "4966",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "134--153",
 doi          = "10.1007/978-3-540-79124-9\_10",
)
@incollection(pex:pointers,
 author       = "Dries Vanoverberghe and Nikolai Tillmann and Frank Piessens",
 year         = "2009",
 title        = "Test Input Generation for Programs with Pointers",
 editor       = "Stefan Kowalewski and Anna Philippou",
 booktitle    = "Tools and Algorithms for the Construction and Analysis of Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "5505",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "277--291",
 doi          = "10.1007/978-3-642-00768-2\_25",
)