User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 6 results.
    • Journal article
    STAMINA: A Competition to Encourage the Development and Assessment of Software Model Inference Techniques
    Walkinshaw, Neil Lambeau, Bernard[UCL] Damas, Christophe[UCL] Bogdanov, Kirill Dupont, Pierre[UCL] (2012) Empirical Software Engineering : an international journal — Vol. 18, no.4, p. 791-824 (2013)
    • BookChapter
    State-merging DFA Induction Algorithms with Mandatory Merge Constraints
    Lambeau, Bernard[UCL] Damas, Christophe[UCL] Dupont, Pierre[UCL] (2008) 9th International Colloquium on Grammatical Inference (ICGI) — [ISBN : 978-3-540-88008-0]
    • Speech
    A framework for the competitive evaluation of model inference techniques
    Walkinshaw, Neil Bogdanov, Kirill Damas, Christophe[UCL] Lambeau, Bernard[UCL] Dupont, Pierre[UCL] (2010) 1st International workshop on Model Inference In Testing — Trento, Italy
    • Journal article
    The QSM algorithm and its application to software behavior model induction
    Dupont, Pierre[UCL] Lambeau, Bernard[UCL] Damas, Christophe[UCL] van Lamsweerde, Axel[UCL] (2008) Applied Artificial Intelligence : an international journal — Vol. 22, no. 1-2, p. 77-115 (2008)
    • Journal article
    Generating annotated behavior models from end-user scenarios
    Damas, Christophe[UCL] Lambeau, Bernard[UCL] Dupont, Pierre[UCL] van Lamsweerde, Axel[UCL] (2005) IEEE Transactions on Software Engineering — Vol. 31, no. 12, p. 1056-1073 (2005)
    • Speech
    State-merging DFA induction algorithms with mandatory merge constraints
    Lambeau, Bernard[UCL] Damas, Christophe[UCL] Dupont, Pierre[UCL] (2009) Grammatical Inference: Algorithms and Applications. 9th International Colloquim, ICGI 2008 — Saint-Malo, France