Login / Signup

Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report).

Lalita Jategaonkar JagadeesanAdam A. PorterCarlos PucholJ. Christopher RammingLawrence G. Votta
Published in: ICSE (1997)
Keyphrases
  • software tools
  • tool support
  • reactive systems
  • formal verification
  • test case generation
  • formal specification
  • high level
  • test set
  • software testing
  • data sets
  • test cases
  • user experience
  • learning curve
  • tool suite