Login / Signup

Compositional Random Testing Using Extended Symbolic Transition Systems.

Christian SchwarzlBernhard K. AichernigFranz Wotawa
Published in: ICTSS (2011)
Keyphrases
  • transition systems
  • model checking
  • temporal logic
  • concurrent systems
  • finite state
  • test cases
  • control flow
  • formal verification
  • binary decision diagrams
  • state space
  • test set
  • heuristic search
  • model checker