Login / Signup

Scheduling and binding bounds for RT-level symbolic execution.

Chuck MonahanForrest Brewer
Published in: ICCAD (1997)
Keyphrases
  • symbolic execution
  • test generation
  • test data generation
  • lower bound
  • scheduling problem
  • static analysis
  • case study
  • source code
  • orders of magnitude
  • specification language