Sign in

Model-Based Test Selection for Infinite-State Reactive Systems.

Bertrand JeannetThierry JéronVlad Rusu
Published in: FMCO (2006)
Keyphrases
  • reactive systems
  • model checking
  • temporal logic
  • petri net
  • selection algorithm
  • database
  • artificial intelligence
  • expert systems
  • life cycle