Author of the publication

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.

 

Other publications of authors with the same name

Instrumenting scenarios in a model-driven development environment., , and . Information & Software Technology, 46 (15): 1027-1036 (2004)TouchDevelop - Programming on the Go (3. ed.)., and . The expert's voice in mobile technologies Apress, (2013)Using AsmL for Runtime Verification., , and . Abstract State Machines, volume 2589 of Lecture Notes in Computer Science, page 407. Springer, (2003)Towards a Tool Environment for Model-Based Testing with AsmL., , , , , and . FATES, volume 2931 of Lecture Notes in Computer Science, page 252-266. Springer, (2003)Pex-White Box Test Generation for .NET., and . TAP, volume 4966 of Lecture Notes in Computer Science, page 134-153. Springer, (2008)Path Feasibility Analysis for String-Manipulating Programs., , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 307-321. Springer, (2009)Experience with constructing code hunt contests., , , and . CHESE@ISSTA, page 1-4. ACM, (2015)TouchDevelop: programming cloud-connected mobile devices via touchscreen., , , and . Onward!, page 49-60. ACM, (2011)Moles: Tool-Assisted Environment Isolation with Closures., and . TOOLS (48), volume 6141 of Lecture Notes in Computer Science, page 253-270. Springer, (2010)User-aware privacy control via extended static-information-flow analysis., , , , and . ASE, page 80-89. ACM, (2012)