Prof. Dr. Tanja Vos - Open Universiteit

Hoogleraar Software Engineering

Contactgegevens

Prof. Dr. Tanja Vos

tvs

Faculteit Management, Science & Technology (wetenschapsgebied Informatica en informatiekunde)

Tanja.Vos@ou.nl

tanja_vos

[http://www.tanjavos.nl, http://www.testar.org]

Expertise, onderzoek en publicaties

Expertise

Software Testen

Onderzoek

Software Testen

Publicaties

Urko Rueda, Tanja E. J. Vos, I. S. W. B. Prasetya: Unit Testing Tool Competition – Round Three. SBST@ICSE 2015: 19-24

Tanja E. J. Vos, Peter M. Kruse, Nelly Condori-Fernández, Sebastian Bauersfeld, Joachim Wegener: TESTAR: Tool Support for Test Automation at the User Interface Level. IJISMD 6(3): 46-83 (2015)

Maria Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor: What do we know about the defect types detected in conceptual models? RCIS 2015: 88-99

Alexander Elyasov, W. Prasetya, Jurriaan Hage, Urko Rueda, Tanja E. J. Vos, Nelly Condori-Fernández: AB=ᗺA: execution equivalence as a new type of testing oracle. SAC 2015: 1559-1566

Urko Rueda, Tanja E.J. Vos, Francisco Almenar, Mirella Oreto and Anna Esparcia, TESTAR – Automated User Interface Testing Tool for Industry Adoption.,XX Jornadas de Ingeniería del Software y Bases de Datos, JISBD, Santander, España, 2015.

S. Bauersfeld, Tanja E. J. Vos, Nelly Condori-Fernandez, Alessandra Bagnato, and Etienne Brosse. 2014. Evaluating the TESTAR tool in an industrial case study. In Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM ’14).

S. Bauersfeld, A. de Rojas, and T. E. J. Vos. Evaluating rogue user testing in industry: an experience report. In Proceedings of 8th International Conference RCIS. IEEE, 2014, ISBN 978-1-4799-2393-9.

Peter M Kruse, Onn Shehory, Daniel Citron, Nelly Condori Fernandez, Tanja E J Vos, Bilha Mendelson., Assessing the Applicability of a Combinatorial Testing tool within an Industrial Environment. In proceedings of the 11th Workshop on Experimental Software Engineering (ESELAW 2014) with CIbSE in Pucon, Chile.

Tanja E. J. Vos, Paolo Tonella, Wishnu Prasetya, Peter M. Kruse, Alessandra Bagnato, Mark Harman, Onn Shehory:FITTEST: A new continuous and automated testing process for future Internet applications. CSMR-WCRE 2014: 407-410

Tanja E. J. Vos, Kiran Lakhotia, Sebastian Bauersfeld (Eds.): Future Internet Testing – Proceedings of the First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers. LNCS 8432, Springer 2014, ISBN 978-3-319-07784-0

Tanja E. J. Vos, Test Automation at the User Interface Level, SATToSE 2014 – pre-proceedings, Advanced Techniques and Tools for Software Evolution, Vadim Zaytsev (ed), p. 5, 2014.

Nelly Condori-Fernández, José Ignacio Panach, Arthur I. Baars, Tanja E. J. Vos, and Oscar Pastor. An empirical approach for evaluating the usability of model-driven tools. Science of Computer Programming, 78(11):2245–2258, 2013.

 

Peter M. Kruse, Nelly Condori-Fernandez, Tanja E.J. Vos, Alessandra Bagnato, and Etienne Brosse. Combinatorial testing tool learnability in an industrial environment. In Proceedings of the International Symposium on Empirical Software Engineering and Measurement, ESEM 2013, 7-11 Oc- tober 2013, Baltimore, Maryland,USA, pages 304–312. ACM, 2013.

 

Elisa Puoskari, Tanja E. J. Vos, Nelly Condori-Fernandez, and Peter M. Kruse. Evaluating applicability of combinatorial testing in an industrial environment: A case study. In Proceedings of the International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation (JAMAICA), July 15, Lugano, Switzeland, pages 7–12. ACM, 2013.

 

Cu D. Nguyen, Bilha Mendelson, Daniel Citron, Onn Shehory, Tanja E.J. Vos, and Nelly Condori-Fernandez. Evaluating the fittest automated testing tools: An industrial case study. In Proceedings of the International Sym- posium on Empirical Software Engineering and Measurement, ESEM 2013, 7-11 October 2013, Baltimore, Maryland,USA, pages 332–339. ACM, 2013.

 

Tanja E. J. Vos, Felix F. Lindlar, Benjamin Wilmes, Andreas Windisch, Arthur I. Baars, Peter M. Kruse, Hamilton Gross, and Joachim Wegener. Evolutionary functional black-box testing in an industrial setting. Software Quality Journal, 21(2):259–288, 2013.

 

Simon M. Poulding and Tanja E. J. Vos. Sixth international workshop on search-based software testing (sbst 2013): Workshop summary. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18- 22, pages 404–405. IEEE, 2013.

 

Nelly Condori-Fernández and Tanja E. J. Vos. Successful empirical research in software testing with industry. In Vicente Pelechano, Gil Regev, and Yves Pigneur, editors, Proceedings of the Industrial Track of the Conference on Advanced Information Systems Engineering 2013 (CAiSE’13), Val`encia, Spain, June 21, CEUR Workshop Proceedings, pages 43–45. CEUR-WS.org, 2013.

 

Tanja E.J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, and Shmuel Ur. Testing of Future Internet Applications Running in the Cloud., pages 305–321. IGI Global, 2013.

 

Alessandra Bagnato, Andrey Sadovykh, Etienne Brosse, and Tanja E. J. Vos. The omg uml testing profile in use-an industrial case study for the future internet testing. In Anthony Cleve, Filippo Ricca, and Maura Cerioli, editors, 17th European Conference on Software Maintenance and Reengineering, CSMR 2013, Genova, Italy, March 5-8, pages 457–460. IEEE Com- puter Society, 2013.

 

Maria José Escalona Cuaresma Tanja E. J. Vos, Beatriz Marín. Un marco metodolgico para evaluar tcnicas y herramientas para pruebas del software, volume 224 of Novatica, revista de la asociacin de tecnicos de informatica, pages 41–45. ATI (Asociacin de Tcnicos de Informtica), 2013.

 

Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding, and Nelly Condori-Fernández. Unit testing tool competition. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Val- idation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, pages 414–420. IEEE, 2013.

 

Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos, and Alain Abran. Using a functional size measurement procedure to evaluate the quality of models in mdd environments. ACM Transactions of Software Engineering Methodology (TOSEM), 22(3):26, 2013.

Tanja E. J. Vos, Beatriz Marín, María José Escalona, and Alessandro Marchetto. A methodological framework for evaluating software testing techniques and tools. In 12th International Conference on Quality Software (QSIC), Xi’an, Shaanxi, China, August 27-29, pages 230–239. IEEE, 2012.

 

Sebastian Bauersfeld and Tanja EJ Vos. A reinforcement learning approach to automated gui robustness testing. In 4th Symposium on Search Based- Software Engineering (SSBSE2012), Fast Abstracts, 28-30 September, Riva del Garda, Trento, Italy, pages 7–12, 2012.

 

Pedro Soutinho Raul Soriano, Tanja E. J. Vos and David Blunk. Good practices in innovation support measure for smes. In Paul Cunningham and Miriam Cunningham, editors, eChallenges e-2012 Conference Proceedings, pages 409–412. IIMC International Information Management Corporation Ltd, 2012.

 

Sebastian Bauersfeld and Tanja E. J. Vos. Guitest: a java library for fully automated gui robustness testing. In IEEE/ACM International Conference on Automated Software Engineering, ASE’12, Essen, Germany, September 3-7, 2012, pages 330–333. ACM, 2012.

 

Armin Biere, Amir Nahir, and Tanja E. J. Vos, editors. Hardware and Software: Verification and Testing – 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, volume 7857 of Lecture Notes in Computer Science. Springer, 2012.

 

Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Andreas Windisch, Ben- jamin Wilmes, Hamilton Gross, Peter M. Kruse, and Joachim Wegener. Industrial case studies for evaluating search based structural testing. In- ternational Journal of Software Engineering and Knowledge Engineering, 22(8):1123–, 2012.

 

Tanja E. J. Vos y J. J. Gutierrez M. J. Escalona. Pruebas de software en la enseñanza universitaria de la informtica: un título propio. In Actas XVIII JENUI 2012, Ciudad Real, 10-13 de julio, pages 409–412, 2012.

Wishnu Prasetya, J. Amorim, Tanja E. J. Vos, and Arthur I. Baars. Cty: a haskell dsl for specifying and generating combinatoric test-cases. Technical Report UU-CS-2011-005, Department of Information and Computing Sciences, Utrecht University, 2011.

 

José Ignacio Panach, Nelly Condori-Fernández, Tanja E. J. Vos, Nathalie Aquino, and Francisco Valverde. Early usability measurement in model-driven development: Definition and empirical evaluation. International Journal of Software Engineering and Knowledge Engineering, 21(3):339– 365, 2011.

 

Tanja E. J. Vos, Beatriz Mar ́ın, Ignacio Panach, Arthur I. Baars, Claudia Ayala, and Xavier Franch. Evaluating software testing techniques and tools. In Actas de XVI JISBD, pages 531–536, 2011.

 

Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, and Yarden Nir-Buchbinder. Future internet testing with fittest. In 15th European Conference on Software Maintenance and Reengineering, CSMR 2011, 1-4 March 2011, Oldenburg, Germany, pages 355–358. IEEE Computer Society, 2011.

 

Arthur I. Baars, Kiran Lakhotia, Tanja E. J. Vos, and Joachim Wegener. Search–based testing, the underlying engine of future internet testing. In Maria Ganzha, Leszek A. Maciaszek, and Marcin Paprzycki, editors, Feder- ated Conference on Computer Science and Information Systems – FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings, pages 917–923, 2011.

 

Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, and Tanja E. J. Vos.Symbolic search-based testing. In Perry Alexander, Corina S. Pasareanu, and John G. Hosking, ed- itors, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, pages 53– 62. IEEE, 2011.

 

Alessandra Bagnato, Anna Esparcia-Alcázar, Tanja E. J. Vos, Beatriz Marín, José Oliver Murillo, Salvador I. Folgado, and Auxiliadora Carlos Alberola. Testing and remote maintenance of real future internet scenarios, towards fittest and fastfix advanced software engineering. In Federated Conference on Computer Science and Information Systems – FedCSIS 2011, Szczecin, Poland, 18-21 September, Proceedings, pages 925–932, 2011.

 

José Ignacio Panach, Nelly Condori-Ferna ́ndez, Arthur I. Baars, Tanja E. J. Vos, Ignacio Romeu, and Oscar Pastor.Towards an experimental framework for measuring usability of model-driven tools. In Human-Computer Interaction – INTERACT 2011 – 13th IFIP TC 13 International Confer- ence, Lisbon, Portugal, September 5-9, Proceedings, Part IV, volume 6949 of Lecture Notes in Computer Science, pages 640–643. Springer, 2011.

 

Beatriz Marín, Tanja E. J. Vos, Giovanni Giachetti, Arthur I. Baars, and Paolo Tonella. Towards testing future web applications. In Proceedings of the Fifth IEEE International Conference on Research Challenges in Infor- mation Science, RCIS2011, Gosier, Guadeloupe, France, 19-21 May, pages 1–12. IEEE, 2011.

 

Wishnu Prasetya, J. Amorim, Tanja E.J. Vos, and Arthur I. Baars. Using haskell to script combinatoric testing of web services. In Proceedings of the 6th Iberian Conference on Information Systems and Technologies (CISTI), 15-18 June, Chaves, Portugal, pages 1–6, 2011.

Beatriz Mar ́ın, Giovanni Giachetti, Oscar Pastor, and Tanja E. J. Vos. A tool for automatic defect detection in models used in model-driven engineering. In Fernando Brito e Abreu, Jo ̃ao Pascoal Faria, and Ricardo Jorge Machado, editors, Quality of Information and Communications Technology, 7th International Conference on the Quality of Information and Commu- nications Technology, QUATIC 2010, Porto, Portugal, 29 September – 2 October, 2010, Proceedings, pages 242–247. IEEE Computer Society, 2010.

 

Tanja E. J. Vos. Continuous evolutionary automated testing for the future internet. ERCIM News, 2010(82):50–51, 2010.

 

Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos, and Alain Abran. Evaluating the usefulness of a functional size measurement procedure to detect defects in mdd models. In Proceedings of the International Symposium on Empirical Software Engineering and Measurement, ESEM 2010, 16-17 September 2010, Bolzano/Bozen, Italy. ACM, 2010.

Holger Schlingloff, Tanja E. J. Vos, and Joachim Wegener, editors. Evolutionary Test Generation, number 08351 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2009. Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, Germany.

 

Tanja E. J. Vos. Evolutionary testing for complex systems. ERCIM News, 2009(78), 2009.

 

Hamilton Gross, Peter M. Kruse, Joachim Wegener, and Tanja E. J. Vos. Evolutionary white-box software test with the evotest framework: A progress report. In Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1- 4, 2009, Workshops Proceedings, pages 111–120. IEEE Computer Society, 2009.

Wishnu Prasetya and Tanja E. J. Vos. Patterns for in-code algebraic testing. Technical Report UU-CS-2008-037, Department of Information and Computing Sciences, Utrecht University, 2008.

Tanja E.J. Vos and Jorge Sanchez Sanchez. Especificar casos de testeo tan fcilmente como hacer una tortilla espaola, volume 191 of Novatica, revista de la asociacin de tecnicos de informatica, pages 45–50. ATI (Asociacion de Tecnicos de Informatica), 2008.

Tanja E. J. Vos, editor. Proceedings de las V Jornadas sobre el Testeo de Software (JTS2008), 2-4 April, Valencia. Spain., volume 3 of JTS. Editorial Universidad Politecnica de Valencia, 2008.

Tanja E.J. Vos. Modelos para la mejora de los procesos de la Ingeniera de Usabilidad, volume 187 of Novatica, revista de la asociacíon de tecnicos de informatica, pages 35–57. ATI (Asociacíon de Técnicos de Informática), 2007.

Tanja E. J. Vos, editor. Proceedings de las IV Jornadas sobre el Testeo de Software (JTS2007), 2-4 May, Valencia. Spain., volume 2 of JTS. Editorial Universidad Politecnica de Valencia, 2007.

Wishnu Prasetya, Tanja E.J. Vos, and Arthir I. Baars. Trace-based reflexive testing of oo programs. Technical Report UU-CS-2007-037, Department of Information and Computing Sciences, Utrecht University, 2007.

Mark de Gids and Tanja Vos. Tales about a small software testing bridge from academy to smes. In Proceedings of the 2006 International Workshop on Summit on Software Engineering Education, SSEE ’06, pages 17–20, New York, NY, USA, 2006. ACM.

Tanja E. J. Vos, editor. Proceedings de las III Jornadas sobre el Testeo de Software (JTS2006), 8-9 May, Valencia. Spain., volume 1 of JTS. Editorial Universidad Politecnica de Valencia, 2006.

Wishnu Prasetya, A. Azurat, Tanja E. J. Vos, and Arthur van Leeuwen. Incremental implementation of syntax driven logics. JSW, 1(3):1–13, 2006.

Wishnu Prasetya, Tanja E. J. Vos, and S. Doaitse Swierstra. Web cube. In Elie Najm, Jean-Fran ̧cois Pradat-Peyre, and Véronique Donzeau-Gouge, ed- itors, Formal Techniques for Networked and Distributed Systems – FORTE2006, 26th IFIP WG 6.1 International Conference, Paris, France, Septem- ber 26-29, volume 4229 of Lecture Notes in Computer Science, pages 77–92. Springer, 2006.

Tanja E. J. Vos and S. Doaitse Swierstra. Facilitating the verification of diffusing computations and their applications. CLEI Electron. J., 8(1), 2005.

Wishnu Prasetya, Ade Azurat, Tanja E. J. Vos, and Arthur van Leeuwen. Building verification condition generators by compositional extensions. In Bernhard K. Aichernig and Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pages 220–230. IEEE Com- puter Society, 2005.

Wishnu Prasetya, Tanja E. J. Vos, Ade Azurat, and S. Doaitse Swierstra. A unity-based framework towards component based systems. In Teruo Hi- gashino, editor, Principles of Distributed Systems, 8th International Con- ference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers, volume 3544 of Lecture Notes in Computer Science, pages 52–66. Springer, 2005.

A. Azurat, Wishnu Prasetya, Tanja E.J. Vos, H. Suhartanto, B. Widjaja, L. Y. Stefanus, R. Wenang, S. Aminah, and J. Bong. Towards automated verification of database scripts. In Proceedings of 18th International Confer- ence on Theorem Proving in Higher Order Logics (Track Emerging Trends), pages 1–13, 2005.

Wishnu Prasetya, A. Azurat, Tanja E.J. Vos, A. van Leeuwen, and H. Suhartanto. Theorem prover supported logics for small imperative languages. Technical Report UU-CS-2005-046, Department of Information and Computing Sciences, Utrecht University, 2005.

Wishnu Prasetya, Tanja E.J. Vos, S. Doaitse Swierstra, and B. Widjaja. Web cube: a programming model for reliable web applications. Technical Report UU-CS-2005-002, Department of Information and Computing Sciences, Utrecht University, 2005.

Wishnu Prasetya, A. Azurat, and Tanja E.J. Vos. Building verification condition generators by compositional extensions. Technical Report UU-CS-2004-054, Department of In

Nevenwerkzaamheden

Docent bij de Technische Universiteit van Valencia in Spanje.