Login / Signup

Incremental Benchmarks for Software Verification Tools and Techniques.

Bruce W. WeideMurali SitaramanHeather K. HartonBruce M. AdcockPaolo BucciDerek BronishWayne D. HeymJason KirschenbaumDavid Frazier
Published in: VSTTE (2008)
Keyphrases
  • decision support
  • incremental learning
  • machine learning
  • software tools
  • benchmark suite
  • learning algorithm
  • web services
  • learning process
  • software engineering
  • data driven