Automatic test data generation for program paths using genetic algorithms
PMS Bueno, M Jino - International Journal of Software Engineering …, 2002 - World Scientific
A new technique and tool are presented for test data generation for path testing. They are
based on the dynamic technique and on a Genetic Algorithm, which evolves a population of …
based on the dynamic technique and on a Genetic Algorithm, which evolves a population of …
A search-based automated test-data generation framework for safety-critical systems
This paper presents the results of a three year research program to develop an automated
test-data generation framework to support the testing of safety-critical software systems. The …
test-data generation framework to support the testing of safety-critical software systems. The …
FORTEST: Formal methods and testing
Formal methods have traditionally been used for specification and development of software.
However there are potential benefits for the testing stage as well. The panel session …
However there are potential benefits for the testing stage as well. The panel session …
[图书][B] Static and dynamic analysis of progams that contain arbitrary interprocedural control flow
S Sinha - 2002 - search.proquest.com
Program-analysis techniques, such as control-flow analysis, control-dependence analysis,
and program slicing, are useful for automating a variety of software-engineering tasks …
and program slicing, are useful for automating a variety of software-engineering tasks …