Complexity of node coverage games

DOI10.1016/J.TCS.2015.02.002MaRDI QIDQ2344734zbMATH OpenOpenAlexFDO

Authors Farn Wang, Sven Schewe, Jung-Hsuan Wu

Publication date 18 May 2015

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2015.02.002

zbMATH Keywords

complexitynode coverage gamenondeterminismtesting of software systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Games involving graphs (91A43) Applications of game theory (91A80)

Recommendations

• The complexity of coverage
• Play to Test
• Automata, Languages and Programming
• Introducing complexity to formal testing
• scientific article; zbMATH DE number 1418465

Cites work

• A Complexity Measure
• A course in game theory.
• A genealogy of control structures
• Automata, Languages and Programming
• Concurrent reachability games
• DAG-width
• DAG-Width and Parity Games
• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3502759 (Why is no real title available?)
• scientific article; zbMATH DE number 3590298 (Why is no real title available?)
• Introduction to Software Testing
• Logic for Programming, Artificial Intelligence, and Reasoning
• Methodology for the Generation of Program Test Data
• Recontamination does not help to search a graph
• Shortest paths without a map
• Testing Software Design Modeled by Finite-State Machines
• The complexity of searching a graph
• The complexity of theorem-proving procedures
• Transition graphs and the star-height of regular events

Cited in

(2)

• Tester versus bug: a generic framework for model-based testing via games
• scientific article; zbMATH DE number 7650823 (Why is no real title available?)

This page was built for publication: Complexity of node coverage games

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