Follow
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
1352002
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
1252011
Distributed analysis and attribution of source code
A Baars, AS Henriksen, M Schaefer
US Patent 9,417,985, 2016
1032016
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, 259-288, 2013
692013
Content-addressable data storage
A Baars
US Patent 9,830,345, 2017
652017
Functional pearl parsing permutation phrases
AI Baars, A Löh, SD Swierstra
Journal of functional programming 14 (6), 635-646, 2004
462004
Tracking static analysis violations over time to capture developer characteristics
P Avgustinov, AI Baars, AS Henriksen, G Lavender, G Menzel, O De Moor, ...
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
442015
Source code violation matching and attribution
AS Henriksen, A Baars, P Avgustinov, J Tibble, M Schaefer
US Patent 9,262,157, 2016
362016
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
362008
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
332010
Type-safe, self inspecting code
AI Baars, SD Swierstra
Proceedings of the 2004 ACM SIGPLAN Workshop on Haskell, 69-79, 2004
312004
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
302013
Typed transformations of typed abstract syntax
AI Baars, SD Swierstra, M Viera
Proceedings of the 4th international workshop on Types in language design …, 2009
302009
Aggregating source code metric values
J Tibble, P Avgustinov, Y Huenke, A Baars
US Patent 9,619,224, 2017
282017
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
262010
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
222011
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
212012
Source code violation matching and attribution
AS Henriksen, A Baars, P Avgustinov, J Tibble, M Schaefer
US Patent 9,411,578, 2016
142016
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
112012
Evaluating software testing techniques and tools
T Vos, B Marín, I Panach, A Baars, CP Ayala Martínez, J Franch Gutiérrez
JISBD 2011: XVI Jornadas de Ingeniería del Software y Bases de Datos: A …, 2012
112012
The system can't perform the operation now. Try again later.
Articles 1–20