Tanja E. J. Vos
Tanja E. J. Vos
Verified email at dsic.upv.es - Homepage
Title
Cited by
Cited by
Year
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
1042011
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
582015
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
472013
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
372012
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
352008
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
332012
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
312009
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
302014
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
272010
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
232014
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
212015
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
212015
UNITY in diversity: A stratified approach to the verification of distributed algorithms
TEJ Vos
Universiteit Utrecht, Faculteit Wiskunde en Informatica, 2000
212000
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
202014
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
202013
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
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
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
192016
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
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
182016
The system can't perform the operation now. Try again later.
Articles 1–20