Peli de Halleux (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Margus Veanes, Peli de Halleux, Nikolai Tillmann: Rex: Symbolic Regular Expression Explorer. ICST 2010: 498-507

2 Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann: Symbolic Query Exploration. ICFEM 2009: 49-68

1 Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann: Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402

Selection of 3 from 4 records - Peli de Halleux has 10 coauthors

Last update 2012-02-18 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

3		Margus Veanes, Peli de Halleux, Nikolai Tillmann: Rex: Symbolic Regular Expression Explorer. ICST 2010: 498-507
2		Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann: Symbolic Query Exploration. ICFEM 2009: 49-68
1		Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann: Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402