Login / Signup

Automatic partial loop summarization in dynamic test generation.

Patrice GodefroidDaniel Luchaup
Published in: ISSTA (2011)
Keyphrases
  • test generation
  • test cases
  • test sequences
  • data sets
  • cooperative
  • symbolic execution
  • database
  • information systems
  • data management
  • data exchange
  • multi document summarization
  • regression testing
  • design automation