Finding Counterexamples Fast: Lessons learned in the ZULU challenge

Abstract : The concept of query learning (due to Dana Angluin) is used and developed in several different communities today. The TU Dortmund team originates in the area of program verification. Active learning in this community is used to produce exact and complete models of a system under test. Having in mind this application of learning, we entered the ZULU challenge with the goal to improve in (1) saving membership queries and (2) finding counterexamples, while still producing exact models. In both disciplines we proceeded in two steps: first finding good generic solutions and then customizing these to reflect the specific profile of the ZULU problems. Our main contribution is a highly configurable learning algorithm, which can mimic most of the known algorithms, and a new approach to steering the search for counterexamples using a monotone growing hypothesis annotated with coverage information.
Type de document :
Autre publication
ZULU Workshop @ ICGI 2010. 2010
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger
Contributeur : Falk Howar <>
Soumis le : mercredi 19 décembre 2012 - 19:58:42
Dernière modification le : vendredi 21 décembre 2012 - 20:12:07
Document(s) archivé(s) le : mercredi 20 mars 2013 - 11:37:47


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00767445, version 1



Falk Howar, Bernhard Steffen, Maik Merten. Finding Counterexamples Fast: Lessons learned in the ZULU challenge. ZULU Workshop @ ICGI 2010. 2010. 〈hal-00767445〉



Consultations de la notice


Téléchargements de fichiers