Model Driven Testing Based on Test History

DOI10.1007/978-3-540-89287-8_9MaRDI QIDQ3599217zbMATH OpenOpenAlexFDO

Authors Isaac Corro Ramos, Lusine Hakobyan, K. M. van Hee, A. Di Bucchianico

Publication date 3 February 2009

Published in Transactions on Petri Nets and Other Models of Concurrency I (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89287-8_9

zbMATH Keywords

Petri netssoftware testingstopping criteriontransition systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model-based testing
• FM 2005: Formal Methods
• Model-based testing of reactive systems. Advanced lectures.
• scientific article; zbMATH DE number 1057896
• scientific article; zbMATH DE number 1058129

Cites work

• A calculus of communicating systems
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3502759 (Why is no real title available?)
• scientific article; zbMATH DE number 1746452 (Why is no real title available?)
• Methodology for the Generation of Program Test Data
• OPTIMAL SOFTWARE RELEASE POLICY BASED ON MARKOVIAN PERFECT DEBUGGING MODEL
• Optimal stopping in software testing
• Statistical Certification of Software Systems
• Testing Software Design Modeled by Finite-State Machines

Cited in

(1)

• An approximation-based approach for the random exploration of large models

Describes a project that uses

Uses Software

• Petriweb
• Yasper

This page was built for publication: Model Driven Testing Based on Test History

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