Login / Signup

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution.

Jiri SlabyJan StrejcekMarek Trtík
Published in: FMICS (2012)
Keyphrases
  • state machines
  • symbolic execution
  • state machine
  • static analysis
  • petri net
  • test data generation
  • source code
  • test generation
  • database
  • recurrent networks
  • case study
  • open source