Peli de Halleux

	2012
5		Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux: Environmental Modeling for Automated Cloud Application Testing. IEEE Software 29(2): 30-35 (2012)
	2011
4		Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer: Predictable and Progressive Testing of Multithreaded Code. IEEE Software 28(3): 75-83 (2011)
	2010
3		Margus Veanes, Peli de Halleux, Nikolai Tillmann: Rex: Symbolic Regular Expression Explorer. ICST 2010: 498-507
	2009
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

Coauthor Index

1	Thomas Ball	[4]
2	Michael Barnett	[1]
3	Sebastian Burckhardt	[4]
4	Manuel Fähndrich	[1]
5	Pavel Grigorenko	[2]
6	Francesco Logozzo	[1]
7	Jian Lu (Jian Lü)	[5]
8	Xiaoxing Ma	[5]
9	Madan Musuvathi	[4]
10	Shaz Qadeer	[4]
11	Nikolai Tillmann	[1] [2] [3] [5]
12	Margus Veanes	[2] [3]
13	Tao Xie	[5]
14	Linghao Zhang	[5]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page