Guided Test Generation from CSP Models

DOI10.1007/978-3-540-85762-4_18MaRDI QIDQ5505607zbMATH OpenOpenAlexFDO

Authors Sidney Nogueira, Augusto Sampaio, Alexandre Mota

Publication date 27 January 2009

Published in Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85762-4_18

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Test generation from state based use case models
• scientific article; zbMATH DE number 2079824
• Generating Tests from B Specifications and Test Purposes
• scientific article; zbMATH DE number 1951206
• scientific article; zbMATH DE number 2080069

Cites work

• Formal specification generation from requirement documents
• Guided Test Generation from CSP Models
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1487484 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)

Cited in

(11)

• Testing interruptions in reactive systems
• Temporal reasoning through automatic translation of tock-CSP into timed automata
• Generating Tests from B Specifications and Test Purposes
• scientific article; zbMATH DE number 4003498 (Why is no real title available?)
• Test selection for traces refinement
• Resource-Driven CLP-Based Test Case Generation
• Guided Test Generation from CSP Models
• Testing using CSP Models: Time, Inputs, and Outputs
• A formal abstract framework for modelling and testing complex software systems
• Test generation from state based use case models
• Testing for refinement in \textsf{Circus}

This page was built for publication: Guided Test Generation from CSP Models

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