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

https://hal.inria.fr/hal-00767445
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

Fichier

ZuluHowar.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00767445, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

100

Téléchargements de fichiers

92