Test generation from integrated system models capturing state-based and MSC-based notations

MaRDI QIDQ5190779zbMATH OpenFDO

Authors Ankit Goel, Abhik Roychoudhury

Publication date 27 July 2009

zbMATH Keywords

communicating systemsmodel-based testing

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Generating test sequences from a set of MSCs.
• Model-based testing of reactive systems. Advanced lectures.
• Test generation from state based use case models
• scientific article; zbMATH DE number 1951206
• Model-Based Mutation Testing of Reactive Systems

Cited in

(10)

• Generating test sequences from a set of MSCs.
• Testing interruptions in reactive systems
• Model-based testing of reactive systems. Advanced lectures.
• Generation of complete test suites from Mealy input/output transition systems
• scientific article; zbMATH DE number 1951206 (Why is no real title available?)
• An abstract framework for choreographic testing
• Automated testing of asynchronous nondeterministic systems with data.
• Formal Approaches to Software Testing
• Test generation from state based use case models
• Test generation from P systems using model checking

This page was built for publication: Test generation from integrated system models capturing state-based and MSC-based notations

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