Login / Signup

The Code Validation Tool CVT: Automatic Verification of a Compilation Process.

Amir PnueliOfer StrichmanMichael Siegel
Published in: Int. J. Softw. Tools Technol. Transf. (1998)
Keyphrases
  • source code
  • user interface
  • user friendly
  • data sets
  • genetic algorithm
  • object oriented
  • open source
  • development process