| 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 | 115 | 2011 |
| Testar: Tool support for test automation at the user interface level TEJ Vos, PM Kruse, N Condori-Fernández, S Bauersfeld, J Wegener International Journal of Information System Modeling and Design (IJISMD) 6 …, 2015 | 66 | 2015 |
| 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 | 53 | 2013 |
| A methodological framework for evaluating software testing techniques and tools TEJ Vos, B Marín, MJ Escalona, A Marchetto 2012 12th international conference on quality software, 230-239, 2012 | 41 | 2012 |
| Guitest: a java library for fully automated gui robustness testing S Bauersfeld, TEJ Vos Proceedings of the 27th ieee/acm international conference on automated …, 2012 | 37 | 2012 |
| 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 |
| Evolutionary white-box software test with the evotest framework: A progress report H Gross, PM Kruse, J Wegener, T Vos 2009 International Conference on Software Testing, Verification, and …, 2009 | 33 | 2009 |
| 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 | 29 | 2010 |
| Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings A Biere, R Bloem Springer, 2014 | 28 | 2014 |
| What do we know about the defect types detected in conceptual models? MF Granda, N Condori-Fernández, TEJ Vos, O Pastor 2015 IEEE 9th International Conference on Research Challenges in Information …, 2015 | 26 | 2015 |
| Evaluating the TESTAR tool in an industrial case study S Bauersfeld, TEJ Vos, N Condori-Fernández, A Bagnato, E Brosse Proceedings of the 8th ACM/IEEE International Symposium on Empirical …, 2014 | 25 | 2014 |
| Unit testing tool competition—round four U Rueda, R Just, JP Galeotti, TEJ Vos 2016 IEEE/ACM 9th International Workshop on Search-Based Software Testing …, 2016 | 24 | 2016 |
| Q-learning strategies for action selection in the TESTAR automated testing tool AI Esparcia-Alcázar, F Almenar, M Martínez, U Rueda, T Vos 6th International Conferenrence on Metaheuristics and nature inspired …, 2016 | 24 | 2016 |
| Unit testing tool competition--round three U Rueda, TEJ Vos, I Prasetya 2015 IEEE/ACM 8th International Workshop on Search-Based Software Testing, 19-24, 2015 | 23 | 2015 |
| Towards the automated generation of abstract test cases from requirements models MF Granda, N Condori-Fernández, TEJ Vos, O Pastor 2014 IEEE 1st International Workshop on Requirements Engineering and Testing …, 2014 | 23 | 2014 |
| The omg uml testing profile in use--an industrial case study for the future internet testing A Bagnato, A Sadovykh, E Brosse, TEJ Vos 2013 17th European Conference on Software Maintenance and Reengineering, 457-460, 2013 | 22 | 2013 |
| A reinforcement learning approach to automated gui robustness testing S Bauersfeld, T Vos Fast abstracts of the 4th symposium on search-based software engineering …, 2012 | 22 | 2012 |
| UNITY in diversity: A stratified approach to the verification of distributed algorithms TEJ Vos Universiteit Utrecht, Faculteit Wiskunde en Informatica, 2000 | 21 | 2000 |
| Mutation operators for UML class diagrams MF Granda, N Condori-Fernández, TEJ Vos, O Pastor International Conference on Advanced Information Systems Engineering, 325-341, 2016 | 20 | 2016 |
| User interface level testing with TESTAR; what about more sophisticated action specification and selection? S Bauersfeld, TEJ Vos SATToSE, 60-78, 2014 | 20 | 2014 |
