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

DOI10.1007/978-3-642-33296-8_7MaRDI QIDQ5200477zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(1)

• Tracking CSP computations

Describes a project that uses

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)