Parallel symbolic execution for automated real-world software testing

EuroSys'11 - Proceedings of the EuroSys 2011 Conference

Volumn , Issue , 2011, Pages 183-197

  Bucur, Stefan ^a   Ureche, Vlad ^a   Zamfir, Cristian ^a   Candea, George ^a  

^a EPFL   (Switzerland)

Author keywords

Reliability; Verification

Indexed keywords

AUTOMATED TESTING; AUTOMATICALLY TEST; BUG FIXES; COMMODITY HARDWARE; CORNER CASE; DISTRIBUTED SYSTEMS; MULTITHREADED; NETWORK STREAMS; PARALLELIZATIONS; REAL SYSTEMS; SINGLE-THREADED; SYMBOLIC ENVIRONMENT; SYMBOLIC EXECUTION; SYMBOLIC TEST; TEST CASE;

COMPUTER SOFTWARE SELECTION AND EVALUATION; NETWORK SECURITY; SOFTWARE RELIABILITY;

SOFTWARE TESTING;

EID: 79955963313     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1966445.1966463     Document Type: Conference Paper

References (27)

1. Amazon. Amazon EC2. http://aws.amazon.com/ec2.
2. Jiri Barnat, Lubos Brim, and Petr Rockai. Scalable multi-core LTL model-checking. In Intl. SPIN Workshop, 2007.
3. Peter Boonstoppel, Cristian Cadar, and Dawson R. Engler. RWset: Attacking path explosion in constraint-based test generation. In Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, 2008.
4. Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Symp. on Operating Systems Design and Implementation, 2008.
5. Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, and Dawson R. Engler. EXE: Automatically generating inputs of death. In Conf. on Computer and Communication Security, 2006.
6. Vitaly Chipounov, Vlad Georgescu, Cristian Zamfir, and George Candea. Selective symbolic execution. In Workshop on Hot Topics in Dependable Systems, 2009.
7. Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea. S2E: A platform for in-vivo multi-path analysis of software systems. In Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, 2011.
8. Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, and George Candea. Cloud9: A software testing service. In Workshop on Large Scale Distributed Systems and Middleware, 2009.
9. Coreutils. Coreutils. http://www.gnu.org/software/coreutils/.
10. Eucalyptus. Eucalyptus software. http://open.eucalyptus.com/, 2010.
11. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Conf. on Programming Language Design and Implementation, 2005.
12. Patrice Godefroid. Model checking for programming languages using VeriSoft. In Symp. on Principles of Programming Languages, 1997.
13. Patrice Godefroid. Compositional dynamic test generation. In Symp. on Principles of Programming Languages, 2007. Extended abstract.
14. Patrice Godefroid, Michael Y. Levin, and David Molnar. Automated whitebox fuzz testing. In Network and Distributed System Security Symp., 2008.
15. Orna Grumberg, Tamir Heyman, and Assaf Schuster. A work-efficient distributed algorithm for reachability analysis. Formal Methods in System Design, 29(2), 2006.
16. G. J. Holzmann and D. Bosnacki. Multi-core model checking with SPIN. In Intl. Parallel and Distributed Processing Symp., 2007.
17. Gerard J. Holzmann, Rajeev Joshi, and Alex Groce. Tackling large verification problems with the Swarm tool. In Intl. SPIN Workshop, 2008.
18. Rahul Kumar and Eric G. Mercer. Load balancing parallel explicit state model checking. In Intl. Workshop on Parallel and Distributed Methods in Verification, 2004.
19. Flavio Lerda and Riccardo Sisto. Distributed-memory model checking with SPIN. In Intl. SPIN Workshop, 1999.
20. Rupak Majumdar and Koushik Sen. Hybrid concolic testing. In Intl. Conf. on Software Engineering, 2007.
21. Paul D. Marinescu and George Candea. LFI: A practical and general library-level fault injector. In Intl. Conf. on Dependable Systems and Networks, 2009.
22. Steve McConnell. Code Complete. Microsoft Press, 2004.
23. Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, and Darko Marinov. Parallel test generation and execution with Korat. In Symp. on the Foundations of Software Eng., 2007.
24. Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, and Iulian Neamtiu. Finding and reproducing Heisenbugs in concurrent programs. In Symp. on Operating Systems Design and Implementation, 2008.
25. RedHat. RedHat security. http://www.redhat.com/security/updates/ classification, 2005.
26. Matt Staats and Corina Pǎsǎreanu. Parallel symbolic execution for structural test generation. In Intl. Symp. on Software Testing and Analysis, 2010.
27. Ulrich Stern and David L. Dill. Parallelizing the Murφ verifier. In Intl. Conf. on Computer Aided Verification, 1997.