Formal Approaches to Software Testing

DOI10.1007/B95400MaRDI QIDQ5902017zbMATH OpenOpenAlexFDO

Authors Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian

Publication date 4 June 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b95400

zbMATH Keywords

optimisationgenetic algorithmsconformance testingFSMsUIOs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of software (68N99)

Recommendations

• Crossover can be constructive when computing unique input-output sequences
• Runtime analysis of the (1+1) EA on computing unique input output sequences
• Evolutionary generation of unique input/output sequences for class behavioral testing
• A new algorithm for generating UIO sequences
• Hardness of deriving invertible sequences from finite state machines

Cited in

(3)

• Crossover can be constructive when computing unique input-output sequences
• Runtime analysis of the (1+1) EA on computing unique input output sequences
• Evolutionary generation of unique input/output sequences for class behavioral testing

This page was built for publication: Formal Approaches to Software Testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5902017)