( en | de | ru )

 

Disambiguation of "de Halleux, Jonathan"

Author of the publication

copydeleteadd this publication to your clipboard
Transferring an automated test generation tool to practice: from pex to fakes and code digger.

, , and . ASE, page 385-396. ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jonathan Roth

Jonathan Burmeister

Jonathan Vöglein

Jonathan Roericht

Jonathan Dörr

 

Other publications of authors with the same name

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces., , , and . TAP@TOOLS, volume 6143 of Lecture Notes in Computer Science, page 77-93. Springer, (2010)User-aware privacy control via extended static-information-flow analysis., , , , , and . Autom. Softw. Eng., 22 (3): 333-366 (2015)Guided test generation for coverage criteria., , , and . ICSM, page 1-10. IEEE Computer Society, (2010)The future of teaching programming is on mobile devices., , , , , , and . ITiCSE, page 156-161. ACM, (2012)eXpress: guided path exploration for efficient regression test generation., , , and . ISSTA, page 1-11. ACM, (2011)Teaching and learning computing via social gaming with Pex4Fun (abstract only)., , , and . SIGCSE, page 659. ACM, (2012)Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex., , and . ITNG, page 758-762. IEEE Computer Society, (2009)Qex: Symbolic SQL Query Explorer., , and . LPAR (Dakar), volume 6355 of Lecture Notes in Computer Science, page 425-446. Springer, (2010)The future of teaching programming is on mobile devices, , , , , , and . Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education, page 156--161. New York, NY, USA, ACM, (2012)A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects., , , , , , and . ECOOP, volume 109 of LIPIcs, page 5:1-5:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)