| Typing dynamic typing AI Baars, SD Swierstra Proceedings of the seventh ACM SIGPLAN international conference on …, 2002 | 139 | 2002 |
| 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 | 132 | 2011 |
| Distributed analysis and attribution of source code A Baars, AS Henriksen, M Schaefer US Patent 9,417,985, 2016 | 109 | 2016 |
| Content-addressable data storage A Baars US Patent 9,830,345, 2017 | 73 | 2017 |
| 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 | 72 | 2013 |
| Functional pearl parsing permutation phrases AI Baars, A Löh, SD Swierstra Journal of functional programming 14 (6), 635-646, 2004 | 50 | 2004 |
| 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 | 43 | 2015 |
| Source code violation matching and attribution AS Henriksen, A Baars, P Avgustinov, J Tibble, M Schaefer US Patent 9,262,157, 2016 | 37 | 2016 |
| 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 | 37 | 2008 |
| 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 | 35 | 2013 |
| 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 | 34 | 2010 |
| Type-safe, self inspecting code AI Baars, SD Swierstra Proceedings of the 2004 ACM SIGPLAN Workshop on Haskell, 69-79, 2004 | 34 | 2004 |
| Aggregating source code metric values J Tibble, P Avgustinov, Y Huenke, A Baars US Patent 9,619,224, 2017 | 33 | 2017 |
| Typed transformations of typed abstract syntax AI Baars, SD Swierstra, M Viera Proceedings of the 4th international workshop on Types in language design …, 2009 | 32 | 2009 |
| 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 | 26 | 2010 |
| 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 | 24 | 2011 |
| 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 | 22 | 2012 |
| Source code violation matching and attribution AS Henriksen, A Baars, P Avgustinov, J Tibble, M Schaefer US Patent 9,411,578, 2016 | 15 | 2016 |
| UU AG system user manual A Baars, D Swierstra, A Löh | 12 | 2003 |
| 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 | 11 | 2012 |
