On the order of test goals in specification-based testing

DOI10.1016/J.JLAP.2009.01.004MaRDI QIDQ2270689zbMATH OpenOpenAlexFDO

Authors Gordon Fraser, Angelo Gargantini, Franz Wotawa

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

automated software testingautomated test case generationminimizationmonitoringperformancetesting with model checkers

Mathematics Subject Classification ID

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

Recommendations

• Symbolic Model-based Test Selection
• FM 2005: Formal Methods
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Specification for Testing
• Information reuse for multi-goal reachability analyses

Cites work

• A Greedy Heuristic for the Set-Covering Problem
• Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13--17, 2004. Proceedings.
• Formal Approaches to Software Testing
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1746648 (Why is no real title available?)
• scientific article; zbMATH DE number 2102731 (Why is no real title available?)
• Interpolants and Symbolic Model Checking
• Introduction to Software Testing
• Theory and Applications of Satisfiability Testing
• Using Model Checking to Generate Fault Detecting Tests

Cited in

(5)

• MC/DC test cases generation based on BDDs
• A framework for generating prioritised test scenarios using firefly optimisation technique
• Test case minimization and prioritization using CMIMX technique
• Information reuse for multi-goal reachability analyses
• Reducing the cost of applying adaptive test cases

Describes a project that uses

Uses Software

• MiniSat
• SPIN
• NuSMV
• SCR
• CESAR

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

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