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
1332002
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
1222011
Distributed analysis and attribution of source code
A Baars, AS Henriksen, M Schaefer
US Patent 9,417,985, 2016
872016
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
662013
Content-addressable data storage
A Baars
US Patent 9,830,345, 2017
522017
Functional pearl parsing permutation phrases
AI Baars, A Löh, SD Swierstra
Journal of functional programming 14 (6), 635-646, 2004
432004
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
372008
Source code violation matching and attribution
AS Henriksen, A Baars, P Avgustinov, J Tibble, M Schaefer
US Patent 9,262,157, 2016
332016
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
322015
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
322010
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
Type-safe, self inspecting code
AI Baars, SD Swierstra
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 69-79, 2004
292004
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
262013
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
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
202012
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
Aggregating source code metric values
J Tibble, P Avgustinov, Y Huenke, A Baars
US Patent 9,619,224, 2017
172017
Source code violation matching and attribution
AS Henriksen, A Baars, P Avgustinov, J Tibble, M Schaefer
US Patent 9,411,578, 2016
142016
UU AG system user manual
A Baars, D Swierstra, A Löh
122003
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
The system can't perform the operation now. Try again later.
Articles 1–20