scientific article; zbMATH DE number 2079824
From MaRDI portal
Publication:4471927
zbMath1043.68543MaRDI QIDQ4471927
Vlad Rusu, Thierry Jéron, Lydie du Bousquet
Publication date: 30 July 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1945/19450338.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Proof-guided test selection from first-order specifications with equality ⋮ Connectors as designs: modeling, refinement and test case generation ⋮ Model-Based Test Selection for Infinite-State Reactive Systems ⋮ Symbolic Model-based Test Selection ⋮ A formal abstract framework for modelling and testing complex software systems ⋮ Test generation from state based use case models ⋮ Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables ⋮ Testing Concurrent Objects with Application-Specific Schedulers ⋮ Towards Property Oriented Testing
Uses Software
This page was built for publication:
