Login / Signup
Model-based testing for concurrent systems with labelled event structures.
Hernán Ponce de León
Stefan Haar
Delphine Longuet
Published in:
Softw. Test. Verification Reliab. (2014)
Keyphrases
</>
concurrent systems
model based testing
temporal logic
distributed systems
process algebra
test cases
petri net
model checking
formal specification
data sets
error rate
software testing