Guided Test Generation from CSP Models
From MaRDI portal
Publication:5505607
DOI10.1007/978-3-540-85762-4_18zbMath1161.68627OpenAlexW1521046085MaRDI QIDQ5505607
Sidney Nogueira, Alexandre Mota, Augusto Sampaio
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
Related Items
Temporal reasoning through automatic translation of tock-CSP into timed automata ⋮ Testing interruptions in reactive systems ⋮ Test selection for traces refinement ⋮ 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} ⋮ Guided Test Generation from CSP Models
Cites Work
This page was built for publication: Guided Test Generation from CSP Models