Login / Signup

Model-based testing for concurrent systems with labelled event structures.

Hernán Ponce de LeónStefan HaarDelphine 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