Input-output conformance testing based on featured transition systems.
Harsh BeoharMohammad Reza MousaviPublished in: SAC (2014)
Keyphrases
- input output
- transition systems
- concurrent systems
- model checking
- temporal logic
- finite state
- practical reasoning
- control flow
- internal states
- test cases
- state transition
- distributed systems
- software testing
- data envelopment analysis
- software systems
- petri net
- test set
- dynamical systems
- hidden markov models
- reactive systems
- markov chain