 | 2011 |
| 11 |  | Arthur I. Baars,
Mark Harman,
Youssef Hassoun,
Kiran Lakhotia,
Phil McMinn,
Paolo Tonella,
Tanja E. J. Vos:
Symbolic search-based testing.
ASE 2011: 53-62 |
| 10 |  | Arthur I. Baars,
Kiran Lakhotia,
Tanja E. J. Vos,
Joachim Wegener:
Search--Based Testing, the Underlying Engine of Future Internet Testing.
FedCSIS 2011: 917-923 |
| 9 |  | José Ignacio Panach,
Nelly Condori-Fernández,
Arthur I. Baars,
Tanja E. J. Vos,
Ignacio Romeu,
Oscar Pastor:
Towards an Experimental Framework for Measuring Usability of Model-Driven Tools.
INTERACT (4) 2011: 640-643 |
| 8 |  | Beatriz Marín,
Tanja E. J. Vos,
Giovanni Giachetti,
Arthur I. Baars,
Paolo Tonella:
Towards testing future Web applications.
RCIS 2011: 1-12 |
| 2010 |
| 7 |  | Tanja E. J. Vos,
Arthur I. Baars,
Felix F. Lindlar,
Peter M. Kruse,
Andreas Windisch,
Joachim Wegener:
Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool.
ICST 2010: 175-184 |
| 6 |  | Arthur I. Baars,
Tanja E. J. Vos,
Dimitar M. Dimitrov:
Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce Faults.
ICST Workshops 2010: 173-181 |
| 5 |  | Arthur I. Baars,
S. Doaitse Swierstra,
Marcos Viera:
Typed Transformations of Typed Grammars: The Left Corner Transform.
Electr. Notes Theor. Comput. Sci. 253(7): 51-64 (2010) |
| 2009 |
| 4 |  | Arthur I. Baars,
S. Doaitse Swierstra,
Marcos Viera:
Typed transformations of typed abstract syntax.
TLDI 2009: 15-26 |
| 2008 |
| 3 |  | Wishnu Prasetya,
Tanya Vos,
Arthur I. Baars:
Trace-based Reflexive Testing of OO Programs with T2.
ICST 2008: 151-160 |
| 2004 |
| 2 |  | Arthur I. Baars,
Andres Löh,
S. Doaitse Swierstra:
Parsing permutation phrases.
J. Funct. Program. 14(6): 635-646 (2004) |
| 2002 |
| 1 |  | Arthur I. Baars,
S. Doaitse Swierstra:
Typing dynamic typing.
ICFP 2002: 157-166 |