Tanja E. J. Vos
Tanja E. J. Vos
Verified email at dsic.upv.es - Homepage
Cited by
Cited by
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
User interface level testing with TESTAR; what about more sophisticated action specification and selection?
S Bauersfeld, TEJ Vos
SATToSE, 60-78, 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
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
UNITY in diversity: A stratified approach to the verification of distributed algorithms
Universiteit Utrecht, Faculteit Wiskunde en Informatica, 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
The system can't perform the operation now. Try again later.
Articles 1–20