Model Driven Testing Based on Test History

DOI10.1007/978-3-540-89287-8_9zbMath1171.68567OpenAlexW1869474775MaRDI QIDQ3599217

Isaac Corro Ramos, Lusine Hakobyan, K. M. van Hee, Alessandro 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 netstransition systemssoftware testingstopping criterion

Mathematics Subject Classification ID

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

Uses Software

• Petriweb
• Yasper

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• Methodology for the Generation of Program Test Data
• Testing Software Design Modeled by Finite-State Machines
• Optimal stopping in software testing
• OPTIMAL SOFTWARE RELEASE POLICY BASED ON MARKOVIAN PERFECT DEBUGGING MODEL
• Statistical Certification of Software Systems

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