Login / Signup

JML-based verification of liveness properties on a class in isolation.

Julien GroslambertJacques JulliandOlga Kouchnarenko
Published in: SAVCBS@FSE (2006)
Keyphrases
  • data sets
  • real world
  • web services
  • clustering algorithm
  • genetic algorithm
  • knowledge base
  • multi class classification