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

Cached

Download Links

by Nigel James Tracey
Citations:37 - 0 self

Active Bibliography

4 A Search Based Automated Test-Data Generation Framework for High-Integrity Systems – Nigel Tracey, John Clark, John Mcdermid, Keith Mander - 2000
173 Search-Based Software Test Data Generation: A Survey – Phil McMinn - 2004
14 Search-based mutation testing for Simulink models – Yuan Zhan, John A. Clark - 2005
9 Search Based Automatic Test-Data Generation at an Architectural Level – Yuan Zhan, John Clark
1 FlagRemover: A Testability Transformation for Transforming Loop Assigned Flags – David W. Binkley, Mark Harman, Kiran Lakhotia - 2009
26 Reformulating Software Engineering as a Search Problem – John Clarke, Bryan Jones, Kearton Rees, Mary Lumkin, et al.
Genetic Model based Testing: a Framework and a Case Study – F. Ipate, R. Lefticaru
Structurally Guided Black Box Testing – Harish Kantamneni , Sanjay R. Pillai, Yashwant K. Malaiya
Widening the Goal Posts: Program Stretching to Aid Search Based Software Testing – Kamran Ghani, John A. Clark - 2009
5 Test data augmentation: Generating new test data from existing test data – Shin Yoo, Mark Harman - 2008
4 Test Data Regeneration: Generating New Test Data from Existing Test Data – Shin Yoo, Mark Harman
15 Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search – Eugenia Diaz, Javier Tuya, Raquel Blanco - 2003
8 IGUANA: Input generation using automated novel algorithms. A plug and play research tool – Phil Mcminn - 2007
14 Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting – Phil Mcminn, Mark Harman, David Binkley
21 A multiobjective approach to search-based test data generation – Mark Harman - 2007
39 Automated test-data generation for exception conditions – N. Tracey, J. Clark, J. Mcdermid - 2000
5 Efficient Software Verification: Statistical Testing Using Automated Search – Simon Poulding, John A. Clark
2 Genetic algorithm based test data generator – Irman Hermadi - 2003
48 Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach – Andre Baresel, Mark Harman, David Binkley, Bogdan Korel - 2004