Arthur Baars
Arthur Baars
Unknown affiliation
Verified email at cs.uu.nl
Title
Cited by
Cited by
Year
Typing dynamic typing
AI Baars, SD Swierstra
Proceedings of the seventh ACM SIGPLAN international conference on …, 2002
1342002
Symbolic search-based testing
A Baars, M Harman, Y Hassoun, K Lakhotia, P McMinn, P Tonella, T Vos
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
1102011
Evolutionary functional black-box testing in an industrial setting
TEJ Vos, FF Lindlar, B Wilmes, A Windisch, AI Baars, PM Kruse, H Gross, ...
Software Quality Journal 21 (2), 259-288, 2013
492013
FUNCTIONAL PEARL Parsing permutation phrases
AI Baars, A Löh, SD Swierstra
Journal of functional programming 14 (6), 635-646, 2004
422004
Trace-based reflexive testing of OO programs with T2
W Prasetya, T Vos, A Baars
2008 1st International Conference on Software Testing, Verification, and …, 2008
352008
Type-safe, self inspecting code
AI Baars, SD Swierstra
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 69-79, 2004
302004
Typed transformations of typed abstract syntax
AI Baars, SD Swierstra, M Viera
Proceedings of the 4th international workshop on Types in language design …, 2009
292009
Industrial scaled automated structural testing with the evolutionary testing tool
TEJ Vos, AI Baars, FF Lindlar, PM Kruse, A Windisch, J Wegener
2010 Third International Conference on Software Testing, Verification and …, 2010
272010
Typed transformations of typed grammars: The left corner transform
A Baars, SD Swierstra, M Viera
Electronic Notes in Theoretical Computer Science 253 (7), 51-64, 2010
252010
Towards testing future web applications
B Marin, T Vos, G Giachetti, A Baars, P Tonella
2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION …, 2011
202011
An empirical approach for evaluating the usability of model-driven tools
N Condori-Fernández, JI Panach, AI Baars, T Vos, Ó Pastor
Science of computer programming 78 (11), 2245-2258, 2013
192013
Revolution: Automatic evolution of mined specifications
L Mariani, A Marchetto, CD Nguyen, P Tonella, A Baars
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
19*2012
First class syntax, semantics, and their composition
M Viera, SD Swierstra
Proceedings of the 25th symposium on Implementation and Application of …, 2013
122013
UU AG system user manual
A Baars, D Swierstra, A Löh
122003
Search-based testing, the underlying engine of future internet testing
AI Baars, K Lakhotia, TEJ Vos, J Wegener
2011 Federated Conference on Computer Science and Information Systems …, 2011
102011
Attribute Grammar System
A Baars, SD Swierstra, A Löh
102004
Industrial case studies for evaluating search based structural testing
TEJ Vos, AI Baars, FF Lindlar, A Windisch, B Wilmes, H Gross, PM Kruse, ...
International Journal of Software Engineering and Knowledge Engineering 22 …, 2012
92012
The UU-AG attribute grammar system
SD Swierstra, A Baars, A Loeh
92003
Evaluating software testing techniques and tools
T Vos, B Marín, I Panach, A Baars, CP Ayala Martínez, J Franch Gutiérrez
Actas de las XVI Jornadas de Ingeniería del Software y Bases de Datos: A …, 2012
82012
Embedded Compilers
AI Baars
Utrecht University, 2009
62009
The system can't perform the operation now. Try again later.
Articles 1–20