A Search-Based Automated Test-Data Generation Framework for Safety Critical Software (2000)

Cached

Download Links

by Nigel James Tracey
Citations:37 - 0 self

Documents Related by Co-Citation

173 Search-Based Software Test Data Generation: A Survey – Phil McMinn - 2004
198 Automated software test data generation – B Korel - 1990
81 Automated Program Flaw Finding using Simulated Annealing – Nigel Tracey, John Clark, Keith Mander - 1998
72 An automated framework for structural test-data generation – Nigel Tracey, John Clark, Keith Mander, John Mcdermid, Heslington York - 1998
102 Automatic structural testing using genetic algorithms – B Jones, H H Sthamer, D Eyres - 1990
110 Evolutionary test environment for automatic structural testing – J Wegener, A Baresel, H Sthamer
21 The automatic generation of software test data sets using adaptive search techniques – Y X Jones B, H Sthamer, E D - 1995
615 The art of software testing – Glenford J Myers, Corey Sandler, Tom Badgett - 2011
127 Test-Data Generation Using Genetic Algorithms – Roy P. Pargas, Mary Jean Harrold, Robert R. Peck - 1999
35 Testing the Results of Static Worst-Case Execution-Time Analysis – Puschner And Nossal, P. Puschner, R. Nossal Y - 1998
29 Assertion-oriented automated test data generation – B Korel, A Al-Yami - 1996
38 Verifying timing constraints of real-time systems by means of evolutionary testing – J Wegener, M Grochtmann - 1998
130 Generating Software Test Data by Evolution – Gary Mcgraw, Christoph Michael, Michael Schatz - 1997
45 Automatic generation of floating-point test data – W Miller, D L Spooner - 1976
191 A system to generate test data and symbolically execute programs – L Clarke - 1976
47 Eyres, Testing real-time systems using genetic algorithms, Software Quality Control 6 (2 – J Wegener, H Sthamer, B F Jones, D E - 1997
13 Scatter search in software testing, comparison and collaboration with estimation of distribution algorithms – R Sagarna, J Lozano - 2006
30 Instrumenting programs with flag variables for test data search by genetic algorithm – Leonardo Bottaci - 2002
39 Automated test-data generation for exception conditions – N. Tracey, J. Clark, J. Mcdermid - 2000