Tanja E. J. Vos
Tanja E. J. Vos
Verified email at dsic.upv.es - Homepage
TitleCited byYear
Symbolic search-based testing
A Baars, M Harman, Y Hassoun, K Lakhotia, P McMinn, P Tonella, T Vos
Proceedings of the 2011 26th IEEE/ACM International Conference on Automated …, 2011
962011
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
452015
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
402013
A methodological framework for evaluating software testing techniques and tools
TEJ Vos, B Marin, MJ Escalona, A Marchetto
2012 12th international conference on quality software, 230-239, 2012
332012
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
332008
Guitest: a java library for fully automated gui robustness testing
S Bauersfeld, TEJ Vos
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
312012
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
252009
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
242010
Evaluating the TESTAR tool in an industrial case study
S Bauersfeld, TEJ Vos, N Condori-Fernandez, A Bagnato, E Brosse
Proceedings of the 8th ACM/IEEE International Symposium on Empirical …, 2014
212014
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
212014
UNITY in diversity: A stratified approach to the verification of distributed algorithms
TEJ Vos
Universiteit Utrecht, Faculteit Wiskunde en Informatica, 2000
212000
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
202015
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
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
192013
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
182015
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
182012
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
182011
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
172016
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
172016
Evaluating rogue user testing in industry: an experience report
S Bauersfeld, A de Rojas, TEJ Vos
2014 IEEE eighth international conference on research challenges in …, 2014
17*2014
The system can't perform the operation now. Try again later.
Articles 1–20