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