Login / Signup

Delta execution for efficient state-space exploration of object-oriented programs.

Marcelo d'AmorimSteven LauterburgDarko Marinov
Published in: ISSTA (2007)
Keyphrases
  • space exploration
  • object oriented programs
  • obstacle avoidance
  • databases
  • specification languages
  • high level
  • database systems
  • input output
  • control method