( en | de | ru )

 

Disambiguation of "de Halleux, Jonathan"

Author of the publication

copydeleteadd this publication to your clipboard
Pex4Fun: Teaching and Learning Computer Science via Social Gaming.

, , , and . CSEE&T, page 90-91. IEEE Computer Society, (2012)

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 Vöglein

Jonathan Dörr

Jonathan Roericht

Jonathan Burmeister

 

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)Code hunt: gamifying teaching and learning of computer science at scale., , , and . L@S, page 221-222. ACM, (2014)Gamifying software security education and training via secure coding duels in code hunt., , , and . HotSoS, page 26:1-26:2. ACM, (2015)State Coverage: Software Validation Metrics beyond Code Coverage., , , and . SOFSEM, volume 7147 of Lecture Notes in Computer Science, page 542-553. Springer, (2012)