Sign in

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.

Samira TasharofiRajesh K. KarmaniSteven LauterburgAxel LegayDarko MarinovGul Agha
Published in: FMOODS/FORTE (2012)
Keyphrases
  • neural network
  • case study
  • symbolic execution
  • dynamically changing
  • automatic programming
  • data sets
  • databases
  • relational databases
  • dynamic environments
  • test cases
  • test generation
  • partial order reduction