Login / Signup

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.

Marcelo d'AmorimSteven LauterburgDarko Marinov
Published in: IEEE Trans. Software Eng. (2008)
Keyphrases
  • space exploration
  • object oriented programs
  • integration testing
  • database
  • obstacle avoidance
  • specification languages