Login / Signup

Testing Transition Systems with Input and Output Testers.

Alexandre PetrenkoNina YevtushenkoJiale Huo
Published in: TestCom (2003)
Keyphrases
  • transition systems
  • test cases
  • concurrent systems
  • temporal logic
  • model checking
  • software testing
  • control flow
  • practical reasoning
  • finite state
  • software development
  • domain independent
  • test suite
  • model checker