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.
Filters
Automated Software Test Data Generation: Direction of Research
2011
International Journal of Computer Science & Engineering Survey
Preserved Fulltext
The different implementation techniques are described with their relative merits and demerits. The future challenges and problems of test data generation are explained. ...
In this paper we are giving an overview of automatic test data generation. The basic objective of this paper is to acquire the basic concepts related to automated test data generation research. ...
In 1976 Clarke [70] implemented path oriented testing using symbolic values on a given path and used linear programming technique to solve the linear path constraints. ...
doi:10.5121/ijcses.2011.2108
fatcat:q2yko5bryfh67nhwpnyilcov6a
Constraint Solving and Symbolic Execution
[chapter]
2008
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 2019; you can also visit the original URL.
The file type is application/pdf.
It is based on the analysis of program paths. The analysis involves detailed semantic information, and uses symbolic execution and constraint solving techniques which are automatic and accurate. ...
Symbolic Execution For a program path, the path condition can be obtained through symbolic execution [1, 8] , which is a well-known technique for testing and verification. ...
doi:10.1007/978-3-540-69149-5_59
fatcat:6zv2ioyhwngrtgorzqq6bw65ji
Constraint-Based Testing
[chapter]
2015
Advances in Computers
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.
the path conditions
Symbolic evaluation techniques
• Solve the path conditions to generate test data that activate the
selected paths
Constraint solving
Test objectives: generating a test suite ...
• Introduction
• Path-oriented exploration
• Constraint-based exploration
• Further work
Path-oriented test data generation
• Select one or several paths
Path selection step
• Generate ...
doi:10.1016/bs.adcom.2015.05.002
fatcat:4m233iabkzhflf2khlar64dq7m
Grey-Box Testing and Verification of Java/JML
2011
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
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.
Symbolic code execution techniques can then be applied to produce test cases, using classical structural test selection criteria, or to detect possible runtime errors, and non-conformances between the ...
We present in this paper the application of constraint solving techniques to the validation and automated test cases generation for Java programs, annotated with JML specifications. ...
Our approach is inspired by the InKA approach [25] , a goal oriented structural test generator using constraint solving. ...
doi:10.1109/icstw.2011.30
dblp:conf/icst/DadeauP11
fatcat:iju4m2fyejaudbt6mqhn4imuly
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 review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation. ...
and constraint solving technology. ...
Acknowledgements Sen's work was supported in part by Microsoft (Award #024263) and Intel (Award #024894) funding and by matching funding by U.C. ...
doi:10.1145/1985793.1985995
dblp:conf/icse/CadarGKPSTV11
fatcat:mb643zlyczcizdxtzkbbtnr7ha
Research on Fuzz Testing Framework based on Concolic Execution
2018
DEStech Transactions on Computer Science and Engineering
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.
The work of this paper is to design and realize a fuzz framework based on concolic execution using C++. ...
This framework is composed of instrumentation module, path constraint generation module and solver module. To improve the efficiency, the traditional technology method was optimized. ...
These constraints are solved using the Z3 solver to generate new input test data and then guide the program toward new path execution. ...
doi:10.12783/dtcse/csae2017/17478
fatcat:5jr6s535cjdehnlhx2a64f4l7e
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.
Dynamic symbolic execution has its inherent limitations due to the fact that symbolic execution, constraint generation, and constraint solving engines are necessarily imprecise. ...
Based on the path condition, the test input generation procedure is invoked to select a symbolic predicate and form a constraint system to be solved by the underlying constraint solver for test inputs. ...
doi:10.1016/j.infsof.2015.05.007
fatcat:ebdngmeyijdmbdo4e6kzqh4xte
On the Automated Generation of Program Test Data
1976
IEEE Transactions on Software Engineering
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.
When a path or a program segment is specified, symbolic execution is used for generating input constraints which defme a set of inputs for executing this path or segment. ...
Automation of testing tools can greatly enhance their power and reduce testing cost. In ,this paper, techniques for automated test data generation are discussed. ...
Han for his help in designing and developing the path generator and part of the test data generator. In addition, P. Jahanian, H. H. So, and A. P. ...
doi:10.1109/tse.1976.233835
fatcat:f6jwb6n7m5btxoqnbwcv6uoadu
Automatic test data generation using constraint solving techniques
1998
Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98
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.
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. ...
Global constraints are used in a prelil ninary step to detect some of the non feasible paths. Pz rtial consistency techniques are employed to reduce the domains of possible values of the test data. ...
Acknowledgements Patrick Taillibert and Serge Varennes gave us invaluable help on preliminary ideas to design the global constraints introduced. ...
doi:10.1145/271771.271790
dblp:conf/issta/GotliebBR98
fatcat:rsowyb2jkracfnnz2i5bsmgb54
Whispec
2007
Proceedings of the 2007 Symposium on Library-Centric Software Design - LCSD '07
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.
To test a method, given its precondition constraint, we first solve that constraint using the Alloy Analyzer and translate a solution into a test input. ...
Next, we execute the method on that input and build the path condition for the resulting execution path. ...
To solve the constraints from path conditions and preconditions, they do symbolic execution on both code in the function under test and code for path conditions. ...
doi:10.1145/1512762.1512764
fatcat:7aozz5s4vjgghkpdqzrntfomgi
Hybrid test data generation
2014
Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 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 2017; you can also visit the original URL.
The file type is application/pdf.
We present a preliminary approach on hybrid test data generation, by combining Random Strategy (RS), Dynamic Symbolic Execution (DSE), and Search-based Strategy (SBS). ...
This limits the usefulness of test data generation in practice. ...
The collected path constraints will be used to guide the generation of test data by altering the control information. ...
doi:10.1145/2591062.2591150
dblp:conf/icse/LiuCFS14
fatcat:wlhr6vulcjggjmc4h4qpbgguh4
Automatic test data generation using constraint solving techniques
1998
Software engineering notes
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.
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. ...
Global constraints are used in a prelil ninary step to detect some of the non feasible paths. Pz rtial consistency techniques are employed to reduce the domains of possible values of the test data. ...
Acknowledgements Patrick Taillibert and Serge Varennes gave us invaluable help on preliminary ideas to design the global constraints introduced. ...
doi:10.1145/271775.271790
fatcat:p4ksyualjzddricl6qx25jhtxi
Automatic Test Data Synthesis using UML Sequence Diagrams
2010
Journal of Object 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 2019; you can also visit the original URL.
The file type is application/pdf.
The test specifications are then generated from SCG. For each test specification, we follow a constraint solving system to generate test data. ...
Model based testing techniques are used to generate test scenarios from a behavioral description of system under tests. ...
Path oriented test data generation The path oriented test data generation methods identify a set of paths and then generate input to execute the selected paths. ...
doi:10.5381/jot.2010.9.2.a2
fatcat:y72hj4boind6xhfezwtl2fla4e
Puzzle-based automatic testing: bringing humans into the loop by solving puzzles
2012
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012
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.
inputs to desired object states; and 2) the constraint solving problem, where test generators fail to solve path conditions to cover certain branches. ...
Recently, many automatic test generation techniques have been proposed, such as Randoop, Pex and jCUTE. ...
The second up-front testing technique we used was a symbolic execution based automatic test generation technique (Symbolic). ...
doi:10.1145/2351676.2351697
dblp:conf/kbse/ChenK12
fatcat:jekl6xzmxjd7jpmqkjth6f3zh4
Techniques for Automated Test Cases Generation: A Review
2016
International Journal of Software Engineering and Its Applications
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.
The different techniques for automatic generation of test cases find small set of test cases reduce human efforts as well as cost of software testing and produce most efficient and effective testing of ...
This survey gives overview of different techniques of automatic test cases generation. ...
symbolic path constraint (pc) and symbolic expression. ...
doi:10.14257/ijseia.2016.10.12.02
fatcat:p3ov2z7vozbkthmfbp45py65uq
« Previous
Showing results 1 — 15 out of 33,860 results