Symbolic execution and testing
Information and Software Technology
An experimental evaluation of a symbolic execution system
Software Engineering Journal
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Approach to Program Testing
ACM Computing Surveys (CSUR)
Art of Software Testing
A Rule-Based Software Test Data Generator
IEEE Transactions on Knowledge and Data Engineering
Automated test data generation using an iterative relaxation method
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Automated Test Case Generation for BDI Agents
Autonomous Agents and Multi-Agent Systems
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
An Approach to Automated Program Testing and Debugging
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Evolutionary testing of classes
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
On-the-Fly Generation of K-Path Tests for C Functions
Proceedings of the 19th IEEE international conference on Automated software engineering
Using GUI Run-Time State as Feedback to Generate Test Cases
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Automatic, evolutionary test data generation for dynamic software testing
Journal of Systems and Software
The Effectiveness of T-Way Test Data Generation
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Code based analysis for object-oriented systems
Journal of Computer Science and Technology
Iterative execution-feedback model-directed GUI testing
Information and Software Technology
PathCrawler: automatic generation of path tests by combining static and dynamic analysis
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Test data regeneration: generating new test data from existing test data
Software Testing, Verification & Reliability
Reducing test effort: A systematic mapping study on existing approaches
Information and Software Technology
Artificial life and cellular automata based automated test case generator
ACM SIGSOFT Software Engineering Notes
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
Dynamic stopping criteria for search-based test data generation for path testing
Information and Software Technology
Hi-index | 0.00 |
This paper presents the design of the software system, ADTEST, for generating test data for programs developed in Ada83. The key feature of this system is that the problem of test data generation is treated entirely as a numerical optimization problem and, as a consequence, this method does not suffer from difficulties commonly found in symbolic execution systems, such as those associated with input variable-dependent loops, array references, and module calls. Instead, program instrumentation is used to solve a set of path constraints without explicitly knowing their form. The system supports not only the generation of integer and real data types, but also non-numerical discrete types such as characters and enumerated types. The system has been tested on large Ada programs (60,000 lines of code) and found to reduce the effort required to test programs as well as provide an increase in test coverage.