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

DOI10.1007/978-3-642-33296-8_7zbMath1372.68166OpenAlexW135304217MaRDI QIDQ5200477

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

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

process algebragenerationCSPSCRLTLtest 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)

Related Items (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