Formal Approaches to Software Testing

DOI10.1007/B95400zbMATH Open1185.68247OpenAlexW2765906234MaRDI QIDQ5902017FDOQ5902017

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

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

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)

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)