Travelled to:1 × Brazil
1 × Canada
1 × China
1 × Hungary
1 × Israel
1 × New Zealand
1 × Romania
1 × South Africa
1 × Sweden
1 × The Netherlands
2 × Germany
2 × Italy
2 × Spain
8 × USA
Collaborated with:N.Tillmann T.Xie J.Bishop M.Fähndrich M.Moskal S.Thummalapenta X.Xiao K.Jamrozik G.Fraser W.Schulte K.Taneja R.Pandita K.Lakhotia M.Harman S.Wadsworth R.N.Horspool S.Gulwani S.Burckhardt M.R.Marri Z.Su N.Li L.Zhang L.Zhang H.Mei A.Samuel W.Lam S.Srisakaokul B.Bassett Peyman Mahdian T.X.0001 Pratap Lakshman
Talks about:test (18) generat (11) pex (8) unit (6) code (6) teach (5) parameter (4) program (4) develop (4) symbol (4)
Person: Jonathan de Halleux
DBLP: Halleux:Jonathan_de
Contributed to:
2015
2014
201420132013
20132012
2012
2012
20122011
201120112011
2011
20112010
2010
20102010
20102009
20092008
2018Wrote 30 papers:
- ICSE-v2-2015-BishopHXTH #contest #experience #scalability
- Code Hunt: Experience with Coding Contests at Scale (JB, RNH, TX, NT, JdH), pp. 398–407.
- ASE-2014-TillmannHX #automation #generative #testing
- Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.
- ISSTA-2014-TillmannHXB
- Constructing coding duels in Pex4Fun and code hunt (NT, JdH, TX, JB), pp. 445–448.
- ASE-2013-TillmannHXB #automation #education #game studies #generative #named #testing
- Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
- ICSE-2013-TillmannHXGB #education #game studies #interactive #learning #programming #re-engineering
- Teaching and learning programming and software engineering via interactive gaming (NT, JdH, TX, SG, JB), pp. 1117–1126.
- TAP-2013-JamrozikFTH #execution #generative #symbolic computation #testing
- Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
- ASE-2012-JamrozikFTH #execution #symbolic computation
- Augmented dynamic symbolic execution (KJ, GF, NT, JdH), pp. 254–257.
- ASE-2012-XiaoTFHM #analysis #privacy
- User-aware privacy control via extended static-information-flow analysis (XX, NT, MF, JdH, MM), pp. 80–89.
- CSEET-2012-TillmannHXB #education #game studies #learning #named #social
- Pex4Fun: Teaching and Learning Computer Science via Social Gaming (NT, JdH, TX, JB), pp. 90–91.
- CSEET-2012-TillmannMHFX #education #mobile #student #using
- Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop (NT, MM, JdH, MF, TX), pp. 87–89.
- FSE-2012-TillmannMHFB #development #mobile #named
- TouchDevelop: app development on mobile devices (NT, MM, JdH, MF, SB), p. 39.
- ITiCSE-2012-TillmannMHFBSX #education #future of #mobile #programming
- The future of teaching programming is on mobile devices (NT, MM, JdH, MF, JB, AS, TX), pp. 156–161.
- CSEET-2011-TillmannHX #education #game studies #learning #named #social
- Pex4Fun: Teaching and learning computer science via social gaming (NT, JdH, TX), pp. 546–548.
- FASE-2011-ThummalapentaMXTH #testing
- Retrofitting Unit Tests for Parameterized Unit Testing (ST, MRM, TX, NT, JdH), pp. 294–309.
- ICSE-2011-XiaoXTH #generative #identification #precise #problem #testing
- Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.
- ICSE-2011-XiaoXTH11a #identification #named #precise #problem
- Covana: precise identification of problems in pex (XX, TX, NT, JdH), pp. 1004–1006.
- ISSTA-2011-TanejaXTH #generative #named #performance #testing
- eXpress: guided path exploration for efficient regression test generation (KT, TX, NT, JdH), pp. 1–11.
- OOPSLA-2011-ThummalapentaXTHS #sequence #testing
- Synthesizing method sequences for high-coverage testing (ST, TX, NT, JdH, ZS), pp. 189–206.
- Onward-2011-TillmannMHF #mobile #named #programming
- TouchDevelop: programming cloud-connected mobile devices via touchscreen (NT, MM, JdH, MF), pp. 49–60.
- ICSE-2010-TillmannHX #testing #theory and practice
- Parameterized unit testing: theory and practice (NT, JdH, TX), pp. 483–484.
- ICSM-2010-PanditaXTH #generative #test coverage #testing
- Guided test generation for coverage criteria (RP, TX, NT, JdH), pp. 1–10.
- ICSM-2010-ZhangXZTHM #execution #generative #mutation testing #symbolic computation #testing
- Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.
- ICTSS-2010-LakhotiaTHH #constraints #execution #float #named #search-based #symbolic computation #theorem proving
- FloPSy — Search-Based Floating Point Constraint Solving for Symbolic Execution (KL, NT, MH, JdH), pp. 142–157.
- TAP-2010-ThummalapentaHTW #automation #generative #mining #named #testing
- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces (ST, JdH, NT, SW), pp. 77–93.
- TOOLS-EUROPE-2010-HalleuxT #named
- Moles: Tool-Assisted Environment Isolation with Closures (JdH, NT), pp. 253–270.
- ASE-2009-LiXTHS #automation #generative #named #regular expression #source code #testing #using
- Reggae: Automated Test Generation for Programs Using Complex Regular Expressions (NL, TX, NT, JdH, WS), pp. 515–519.
- ESEC-FSE-2009-ThummalapentaXTHS #generative #mining #named #object-oriented #source code #testing
- MSeqGen: object-oriented unit-test generation via mining source code (ST, TX, NT, JdH, WS), pp. 193–202.
- TAP-2008-HalleuxT #testing
- Parameterized Unit Testing with Pex (JdH, NT), pp. 171–181.
- TAP-2008-TillmannH #dot-net #generative #testing
- Pex-White Box Test Generation for .NET (NT, JdH), pp. 134–153.
- ECOOP-2018-LamSBM0LH #dot-net #open source #testing
- A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects (WL, SS, BB, PM, TX0, PL, JdH), p. 27.