A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances
[chapter]
2019
Lecture Notes in Computer Science
Preserved Fulltext
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
2013
Automated Software Engineering : An International Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2008
Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the on Future of Software Engineering - FOSE 2014
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2008
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering - SIGSOFT '08/FSE-16
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceeding of the 33rd international conference on Software engineering - ICSE '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
1991
Journal of Systems Integration
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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]
1991
Case Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2015
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2017
Periodica Polytechnica Electrical Engineering and Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2019
Proceedings of the ACM on Programming Languages (PACMPL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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