30,158 Hits in 4.7 sec

Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances [chapter]

George Candea, Patrice Godefroid
2019 Lecture Notes in Computer Science  
In this article, we provide an overview of automated test generation for software, and then discuss recent developments that have had significant impact on real-life software.  ...  The automation of software testing promises to delegate to machines what is otherwise the most labor-intensive and expensive part of software development.  ...  A symbolic summary for a procedure is then simply defined as the disjunction of the summaries of its intraprocedural paths.  ... 
doi:10.1007/978-3-319-91908-9_24 fatcat:5udblyuumbcgndtoglrytm5c6m

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

Corina S. Păsăreanu, Willem Visser, David Bushnell, Jaco Geldenhuys, Peter Mehlitz, Neha Rungta
2013 Automated Software Engineering : An International Journal  
Symbolic Pathfinder (SPF) is a software analysis tool that combines symbolic execution with model checking for automated test case generation and error detection in Java bytecode programs.  ...  Symbolic execution [15, 36] is a popular analysis technique that performs execution of a program on symbolic values rather than concrete data inputs.  ...  Conclusions We have described Symbolic PathFinder, a tool that combines symbolic execution with model checking and constraint solving for the automated error detection and test case generation for Java  ... 
doi:10.1007/s10515-013-0122-2 fatcat:6ot64jpzpvcmno5oiz4a7guj4q

Combining unit-level symbolic execution and system-level concrete execution for testing nasa software

Corina S. Pǎsǎreanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael Lowry, Suzette Person, Mark Pape
2008 Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08  
We describe an approach to testing complex safety critical software that combines unit-level symbolic execution and system-level concrete execution for generating test cases that satisfy user-specified  ...  We have developed Symbolic Java PathFinder, a symbolic execution framework that implements a non-standard bytecode interpreter on top of the Java PathFinder model checking tool.  ...  Moreover, we can use our mixed concrete-symbolic execution to extend existing tests. For example, this could be useful when generating test sequences for Java containers [33] .  ... 
doi:10.1145/1390630.1390635 dblp:conf/issta/PasareanuMBGLPP08 fatcat:duit4idt4jeybm2qveshq2w76q

Software engineering and automated deduction

Willem Visser, Nikolaj Bjørner, Natarajan Shankar
2014 Proceedings of the on Future of Software Engineering - FOSE 2014  
How do we generate test instances that explore and examine different parts of the software.  ...  Then we consider some of the current and future trends in software engineering and the type of advances it may require from automated deduction.  ...  The more classic symbolic execution tools, such as SPF, has the facility to generate tests for obtaining a number of different coverage criteria [112] .  ... 
doi:10.1145/2593882.2593899 dblp:conf/icse/VisserBS14 fatcat:cdgga6syovar5hr4mfzjyyi4se

Differential symbolic execution

Suzette Person, Matthew B. Dwyer, Sebastian Elbaum, Corina S. Pǎsǎreanu
2008 Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering - SIGSOFT '08/FSE-16  
In this dissertation, we present a novel extension and application of symbolic execution techniques that computes a precise behavioral characterization of program changes.  ...  This technique, differential symbolic execution (DSE), exploits program version similarities to improve the quality of change information and reduce analysis cost.  ...  Depending on the nature of the constraints present in the symbolic summaries, different forms of automated decision procedures can be applied to check for this equivalence.  ... 
doi:10.1145/1453101.1453131 dblp:conf/sigsoft/PersonDEP08 fatcat:widwmlun45cijnnipprniqwfaa

Symbolic execution for software testing in practice

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, Willem Visser
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
We present results for the "Impact Project Focus Area" on the topic of symbolic execution as used in software testing.  ...  We review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation.  ...  In this paper, we present preliminary results for documenting the impact of research in symbolic execution for automated software testing.  ... 
doi:10.1145/1985793.1985995 dblp:conf/icse/CadarGKPSTV11 fatcat:mb643zlyczcizdxtzkbbtnr7ha

An integrated automatic test data generation system

A. Jefferson Offutt
1991 Journal of Systems Integration  
Because Godzilla uses a rule-based approach to generate test data, it is easily extendible to allow new testing techniques to be integrated into the current system.  ...  Constraint-based testing integrates mutation analysis with several other testing techniques, including statement c o verage, branch c o verage, domain perturbation and symbolic evaluation.  ...  Test cases are stored and the program is executed by i n terpreting the internal form.  ... 
doi:10.1007/bf02262722 fatcat:d7ydirw3ejgf3c6qrdfdk6shye

An Integrated Automatic Test Data Generation System [chapter]

A. Jefferson Offutt
1991 Case Technology  
Because Godzilla uses a rule-based approach to generate test data, it is easily extendible to allow new testing techniques to be integrated into the current system.  ...  Constraint-based testing integrates mutation analysis with several other testing techniques, including statement c o verage, branch c o verage, domain perturbation and symbolic evaluation.  ...  Test cases are stored and the program is executed by i n terpreting the internal form.  ... 
doi:10.1007/978-1-4615-3644-4_7 fatcat:tkqmc4jc5jew5burraojxxncsa

Incremental symbolic execution for automated test suite maintenance

Sarmad Makhdoom, Muhammad Adeel Khan, Junaid Haroon Siddiqui
2014 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14  
Our experiments show that incremental symbolic execution based on dynamic analysis is an order of magnitude faster than running complete standard symbolic execution on the new version of code.  ...  In this work, we aim to efficiently apply symbolic execution in increments based on versions of code.  ...  Automation of symbolic execution requires constraint solvers or decision procedures [3, 9] that can handle the classes of constraints in the ensuing path conditions.  ... 
doi:10.1145/2642937.2642961 dblp:conf/kbse/MakhdoomKS14 fatcat:6mvcgrhwcvbn5eyt2eg4jwz6tu

Goal-oriented dynamic test generation

TheAnh Do, Siau-Cheng Khoo, Alvis Cheuk Ming Fong, Russel Pears, Tho Thanh Quan
2015 Information and Software Technology  
procedures to automate the software testing process.  ...  CREST [19] is an automated test input generation tool for C, based on dynamic symbolic execution.  ... 
doi:10.1016/j.infsof.2015.05.007 fatcat:ebdngmeyijdmbdo4e6kzqh4xte

KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs [chapter]

Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan
2011 Lecture Notes in Computer Science  
We present the first symbolic execution and automatic test generation tool for C++ programs.  ...  First we describe our effort in extending an existing symbolic execution tool for C programs to handle C++ programs.  ...  Overall architecture of KLOVER. Virtual Machine State. A symbolic state in KLOVER models a machine execution state. A register stores a concrete value or a symbolic expression.  ... 
doi:10.1007/978-3-642-22110-1_49 fatcat:c3rxa5facbdpfln5z22pmnokfq

A survey of new trends in symbolic execution for software testing and analysis

Corina S. Păsăreanu, Willem Visser
2009 International Journal on Software Tools for Technology Transfer (STTT)  
of decision procedures for the application domain.  ...  We follow with a discussion of techniques that can be used to limit the (possibly infinite) number of symbolic configurations that need to be analyzed for the symbolic execution of looping programs.  ...  One traditional application of symbolic execution is the automated generation of test-cases that achieve a high degree of coverage.  ... 
doi:10.1007/s10009-009-0118-1 fatcat:xhgvbsnuwbd3xa7shj3au3qndq

Supporting Unit Test Generation via Automated Isolation

Dávid Honfi, Zoltán Micskei
2017 Periodica Polytechnica Electrical Engineering and Computer Science  
Thus, techniques like dynamic symbolic execution were proposed for generating tests only from source code.  ...  The approach automatically transforms the code of the unit under test, and lets the test generator choose values for parameters in the calls to dependencies.  ...  All the information collected during the analysis of invocations, variables and types is stored for use in the forthcoming steps of the automated isolation process.  ... 
doi:10.3311/ppee.9768 fatcat:4q6anxbu35hpbe6onl4won32rq

Generalized Symbolic Execution for Model Checking and Testing [chapter]

Sarfraz Khurshid, Corina S. PĂsĂreanu, Willem Visser
2003 Lecture Notes in Computer Science  
We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches.  ...  First, we define a source to source translation to instrument a program, which enables standard model checkers to perform symbolic execution of the program.  ...  Acknowledgements The authors would like to thank Doron Peled for useful discussions and Viktor Kuncak, Darko Marinov, Zhendong Su, and the anonymous referees for useful comments.  ... 
doi:10.1007/3-540-36577-x_40 fatcat:ux2t3ej35je43lt7xo7y6laefa

JaVerT 2.0: compositional symbolic execution for JavaScript

José Fragoso Santos, Petar Maksimović, Gabriela Sampaio, Philippa Gardner
2019 Proceedings of the ACM on Programming Languages (PACMPL)  
Our explicit treatment of symbolic execution errors allows us to give meaningful feedback to the developer during wholeprogram symbolic testing and guides the inference of resource of the bi-abductive  ...  JaVerT 2.0 supports whole-program symbolic testing, verification, and, for the first time, automatic compositional testing based on bi-abduction.  ...  ACKNOWLEDGMENTS We would like to thank the reviewers, whose comments have improved the overall quality of the paper.  ... 
doi:10.1145/3290379 fatcat:kdbxb6ffrrddxkixh3lhfqiln4
« Previous Showing results 1 — 15 out of 30,158 results