Typing dynamic typing. - Arthur I. Baars; S. Doaitse Swierstra (ICFP, 2002)

Type-safe, self inspecting code. - Arthur I. Baars; S. Doaitse Swierstra (Haskell, 2004)

Parsing permutation phrases. - Arthur I. Baars; Andres Löh; S. Doaitse Swierstra (J. Funct. Program., 2004)

Trace-based Reflexive Testing of OO Programs with T2. - Wishnu Prasetya; Tanja E. J. Vos; Arthur I. Baars (ICST, 2008)

Typed transformations of typed abstract syntax. - Arthur I. Baars; S. Doaitse Swierstra; Marcos Viera (TLDI, 2009)

Typed Transformations of Typed Grammars: The Left Corner Transform. - Arthur I. Baars; S. Doaitse Swierstra; Marcos Viera (LDTA, 2009)

Embedded Compilers. - Arthur I. Baars (2009)

Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce Faults. - Arthur I. Baars; Tanja E. J. Vos; Dimitar M. Dimitrov (ICST Workshops, 2010)

Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool. - Tanja E. J. Vos; Arthur I. Baars; Felix F. Lindlar; Peter M. Kruse; Andreas Windisch; Joachim Wegener (ICST, 2010)

Search-Based Testing, the Underlying Engine of Future Internet Testing. - Arthur I. Baars; Kiran Lakhotia; Tanja E. J. Vos; Joachim Wegener (FedCSIS, 2011)

Towards an Experimental Framework for Measuring Usability of Model-Driven Tools. - José Ignacio Panach; Nelly Condori-Fernández; Arthur I. Baars; Tanja E. J. Vos; Ignacio Romeu; Oscar Pastor 001 (INTERACT (4), 2011)

Symbolic search-based testing. - Arthur I. Baars; Mark Harman; Youssef Hassoun; Kiran Lakhotia; Phil McMinn; Paolo Tonella; Tanja E. J. Vos (ASE, 2011)

Towards testing future Web applications. - Beatriz Marín; Tanja E. J. Vos; Giovanni Giachetti; Arthur I. Baars; Paolo Tonella (RCIS, 2011)

Revolution: Automatic Evolution of Mined Specifications. - Leonardo Mariani; Alessandro Marchetto 001; Cu D. Nguyen; Paolo Tonella; Arthur I. Baars (ISSRE, 2012)

Industrial Case Studies for Evaluating Search Based Structural Testing. - Tanja E. J. Vos; Arthur I. Baars; Felix F. Lindlar; Andreas Windisch; Benjamin Wilmes; Hamilton Gross; Peter M. Kruse; Joachim Wegener (Int. J. Softw. Eng. Knowl. Eng., 2012)

An empirical approach for evaluating the usability of model-driven tools. - Nelly Condori-Fernández; José Ignacio Panach; Arthur Iwan Baars; Tanja E. J. Vos; Oscar Pastor 001 (Sci. Comput. Program., 2013)

Evolutionary functional black-box testing in an industrial setting. - Tanja E. J. Vos; Felix F. Lindlar; Benjamin Wilmes; Andreas Windisch; Arthur I. Baars; Peter M. Kruse; Hamilton Gross; Joachim Wegener (Softw. Qual. J., 2013)

Tracking Static Analysis Violations over Time to Capture Developer Characteristics. - Pavel Avgustinov; Arthur I. Baars; Anders Starcke Henriksen; R. Greg Lavender; Galen Menzel; Oege de Moor; Max Schäfer; Julian Tibble (ICSE (1), 2015)