Failure and Fault Analysis for Software Debugging
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Testing an Intentional Naming Scheme Using Genetic Algorithms
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Toward models for probabilistic program correctness
Proceedings of the software quality assurance workshop on Functional and performance issues
Constraint based structural testing criteria
Journal of Systems and Software
Code-coverage guided prioritized test generation
Information and Software Technology
Parallel test generation and execution with Korat
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Test generation for graphical user interfaces based on symbolic execution
Proceedings of the 3rd international workshop on Automation of software test
A Software Test Cases Automated Generation Algorithm Based on Immune Principles
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Test-data generation guided by static defect detection
Journal of Computer Science and Technology
Event Listener Analysis and Symbolic Execution for Testing GUI Applications
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Empirical Study of Structural Constraint Solving Techniques
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Generating test data for distributed software using the chaining approach
Information and Software Technology
Quality improvement and optimization of test cases: a hybrid genetic algorithm based approach
ACM SIGSOFT Software Engineering Notes
Coverage criteria for state based specifications
Formal methods and testing
Parallel symbolic execution for structural test generation
Proceedings of the 19th international symposium on Software testing and analysis
Symbolic execution for software testing in practice: preliminary assessment
Proceedings of the 33rd International Conference on Software Engineering
Neural networks based automated test oracle for software testing
ICONIP'06 Proceedings of the 13th international conference on Neural information processing - Volume Part III
Concolic testing and constraint satisfaction
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
Symbolic execution techniques for test purpose definition
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A theory of predicate-complete test coverage and generation
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Software development for reliable software systems
Journal of Systems and Software
Test input generation using dynamic programming
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Cellular automata based test data generation
ACM SIGSOFT Software Engineering Notes
Cellular-genetic test data generation
ACM SIGSOFT Software Engineering Notes
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 |
Software validation through testing will continue to be a very important tool for ensuring correctness of large scale software systems. Automation of testing tools can greatly enhance their power and reduce testing cost. In this paper, techniques for automated test data generation are discussed. Given a program graph, a set of paths are identified to satisfy some given testing criteria. When a path or a program segment is specified, symbolic execution is used for generating input constraints which define a set of inputs for executing this path or segment. Problems encountered in symbolic execution are discussed. A new approach for resolving array reference ambiguities and a procedure for generating test inputs satisfying input constraints are proposed. References to arrays are recorded in a table. during symbolic execution and ambiguities are resolved when test data are generated to evaluate the subscript expressions. The implementation of a test data generator for Fortran programs incorporating these techniques is also described.