On the order of test goals in specification-based testing

DOI10.1016/j.jlap.2009.01.004zbMath1175.68112OpenAlexW2165830857MaRDI QIDQ2270689

Franz Wotawa, Gordon Fraser, Angelo Gargantini

Publication date: 29 July 2009

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2009.01.004

zbMATH Keywords

performanceminimizationmonitoringautomated software testingautomated test case generationtesting with model checkers

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• MiniSat
• SPIN
• NuSMV
• SCR
• CESAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13--17, 2004. Proceedings.
• Introduction to Software Testing
• Graph-Based Algorithms for Boolean Function Manipulation
• A Greedy Heuristic for the Set-Covering Problem
• Theory and Applications of Satisfiability Testing
• Using Model Checking to Generate Fault Detecting Tests
• Interpolants and Symbolic Model Checking
• Formal Approaches to Software Testing

This page was built for publication: On the order of test goals in specification-based testing