A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications

DOI10.1007/978-3-642-33296-8_7zbMATH Open1372.68166OpenAlexW135304217MaRDI QIDQ5200477FDOQ5200477

Authors: Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio 

Publication date: 6 November 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33296-8_7

Recommendations

• scientific article; zbMATH DE number 1696911
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• scientific article; zbMATH DE number 1617313
• Theoretical Aspects of Computing - ICTAC 2004
• scientific article; zbMATH DE number 1706341
• Formal Approaches to Software Testing

zbMATH Keywords

CSPgenerationprocess algebraSCRLTLtest vector

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (1)

• Tracking CSP computations

Uses Software

• PAT

This page was built for publication: A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications

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