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
1032011
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
562015
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
452013
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
342008
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
292014
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
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
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
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
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
192016
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
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
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
192012
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
192011
The system can't perform the operation now. Try again later.
Articles 1–20