Jonathan de Halleux

	2012
33		Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop: Teaching and learning computing via social gaming with Pex4Fun (abstract only). SIGCSE 2012: 659
32		Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie: Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE 2012: 663
31		Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens: State Coverage: Software Validation Metrics beyond Code Coverage. SOFSEM 2012: 542-553
	2011
30		Nikolai Tillmann, Jonathan de Halleux, Tao Xie: Pex4Fun: Teaching and learning computer science via social gaming. CSEE&T 2011: 546-548
29		Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux: Retrofitting Unit Tests for Parameterized Unit Testing. FASE 2011: 294-309
28		Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux: Covana: precise identification of problems in pex. ICSE 2011: 1004-1006
27		Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux: Precise identification of problems for structural test generation. ICSE 2011: 611-620
26		Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux: eXpress: guided path exploration for efficient regression test generation. ISSTA 2011: 1-11
25		Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su: Synthesizing method sequences for high-coverage testing. OOPSLA 2011: 189-206
24		Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie: Browser-based software for technology transfer. SAICSIT Conf. 2011: 338-340
	2010
23		Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Future of developer testing: building quality in code. FoSER 2010: 415-420
22		Nikolai Tillmann, Jonathan de Halleux, Tao Xie: Parameterized unit testing: theory and practice. ICSE (2) 2010: 483-484
21		Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux: Guided test generation for coverage criteria. ICSM 2010: 1-10
20		Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei: Test generation via Dynamic Symbolic Execution for mutation testing. ICSM 2010: 1-10
19		Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux: FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS 2010: 142-157
18		Margus Veanes, Nikolai Tillmann, Jonathan de Halleux: Qex: Symbolic SQL Query Explorer. LPAR (Dakar) 2010: 425-446
17		Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte: Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion 2010: 175-182
16		Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth: DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. TAP 2010: 77-93
15		Jonathan de Halleux, Nikolai Tillmann: Moles: Tool-Assisted Environment Isolation with Closures. TOOLS (48) 2010: 253-270
	2009
14		Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE 2009: 515-519
13		Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST 2009: 149-153
12		Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Fitness-guided path exploration in dynamic symbolic execution. DSN 2009: 359-368
11		Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE 2009: 193-202
10		Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Guided path exploration for regression test generation. ICSE Companion 2009: 311-314
9		Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
8		Soonho Kong, Nikolai Tillmann, Jonathan de Halleux: Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ITNG 2009: 758-762
	2008
7		Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann: Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25
6		Nikolai Tillmann, Jonathan de Halleux: Pex-White Box Test Generation for .NET. TAP 2008: 134-153
5		Jonathan de Halleux, Nikolai Tillmann: Parameterized Unit Testing with Pex. TAP 2008: 171-181
4		Nikolai Tillmann, Jonathan de Halleux: White-box testing of behavioral web service contracts with Pex. TAV-WEB 2008: 47-48
3		Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin: Automating Software Testing Using Program Analysis. IEEE Software 25(5): 30-37 (2008)
	2007
2		Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Parameterized Unit Testing with Pex: Tutorial. PSSE 2007: 141-202
	2003
1		Jonathan de Halleux, Christophe Prieur, Jean-Michel Coron, Brigitte d'Andréa-Novel, Georges Bastin: Boundary feedback control in networks of open channels. Automatica 39(8): 1365-1376 (2003)

Coauthor Index

1	Thomas Ball	[9]
2	Georges Bastin	[1]
3	Judith Bishop (Judith Mary Bishop, Judy M. Bishop)	[24] [33]
4	Nikolaj Bjørner	[7]
5	Sebastian Burckhardt	[9]
6	Jean-Michel Coron	[1]
7	Manuel Fähndrich	[32]
8	Patrice Godefroid	[3]
9	Mark Harman	[19]
10	R. Nigel Horspool	[24]
11	Soonho Kong	[8]
12	Kiran Lakhotia	[19]
13	Michael Y. Levin	[3]
14	Nuo Li	[14]
15	Madhuri R. Marri	[13] [29]
16	Hong Mei	[20]
17	Michal Moskal	[32]
18	Madanlal Musuvathi	[9]
19	Aditya V. Nori	[3]
20	Rahul Pandita	[21]
21	Frank Piessens	[31]
22	Christophe Prieur	[1]
23	Shaz Qadeer	[9]
24	Sriram K. Rajamani	[3]
25	Wolfram Schulte	[2] [3] [7] [10] [11] [12] [13] [14] [17] [23]
26	Zhendong Su	[25]
27	Don Syme	[24]
28	Kunal Taneja	[10] [26]
29	Suresh Thummalapenta	[11] [16] [25] [29]
30	Nikolai Tillmann	[2] [3] [4] [5] [6] [7] [8] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33]
31	Dries Vanoverberghe	[7] [31]
32	Margus Veanes	[18]
33	Scott Wadsworth	[16]
34	Xusheng Xiao	[27] [28]
35	Tao Xie	[10] [11] [12] [13] [14] [17] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [32] [33]
36	Lingming Zhang	[20]
37	Lu Zhang	[20]
38	Brigitte d'Andréa-Novel	[1]

Colors in the list of coauthors

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