Scalable Automated Proving and Debugging of Set-Based Specifications.

Jean-François Couchot David Déharbe Alain Giorgetti Silvio Ranise

Published in: J. Braz. Comput. Soc. (2004)

Keyphrases

machine learning
small number
case study
user defined
initial set
information systems
object oriented
fully automated