Model checking Java programs using structural heuristics
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
On the many ways software engineering can benefit from knowledge engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
A search-based automated test-data generation framework for safety-critical systems
Systems engineering for business process change
Evolutionary testing of state-based programs
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Stress testing real-time systems with genetic algorithms
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Search-based mutation testing for Simulink models
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
The state problem for test generation in Simulink
Proceedings of the 8th annual conference on Genetic and evolutionary computation
The species per path approach to SearchBased test data generation
Proceedings of the 2006 international symposium on Software testing and analysis
Simulated annealing applied to test generation: landscape characterization and stopping criteria
Empirical Software Engineering
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
Evolutionary functional testing
Computers and Operations Research
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
Computers and Operations Research
A tabu search algorithm for structural software testing
Computers and Operations Research
Search based software testing of object-oriented containers
Information Sciences: an International Journal
Empirical evaluation of a nesting testability transformation for evolutionary testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Search-based multi-paths test data generation for structure-oriented testing
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation
Comparing algorithms for search-based test data generation of matlab® simulink® models
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Evolutionary testing of flag conditions
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Search-based test data generation from stateflow statecharts
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Information and Software Technology
Software testing with evolutionary strategies
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Eclat: automatic generation and classification of test inputs
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Evolutionary testing techniques
SAGA'05 Proceedings of the Third international conference on StochasticAlgorithms: foundations and applications
Search based software engineering: techniques, taxonomy, tutorial
Empirical Software Engineering and Verification
Automated web application testing using search based software engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Test data regeneration: generating new test data from existing test data
Software Testing, Verification & Reliability
An improved test generation approach from extended finite state machines using genetic algorithms
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Information Sciences: an International Journal
| Hi-index | 0.00 |