2021

Olivia Rodriguez Valdes, Tanja E. J. Vos, Pekka Aho and Beatriz Marín. 30 years of automated GUI testing: a bibliometric analysis – Olivia Rodriguez Valdes, Tanja E. J. Vos, Pekka Aho and Beatriz Marín. QUATIC 2021. https://link.springer.com/chapter/10.1007%2F978-3-030-85347-1_34

Vos, TEJ, Aho, P, Pastor Ricos, F, Rodriguez Valdes, O, Mulders, A. testar – scriptless testing through graphical user interface. Softw. Test. Verif. Reliab. 2021; 31:e1771. https://doi.org/10.1002/stvr.1771

Tanja E.J. Vos y Beatriz Marín . Enseñanza temprana del testing en cursos de programación .
Actas de las Jornadas de Innovación Docente ETSINF 2021.

Pekka Aho, Govert Buijs, Abdurrahman Akin, Serafettin Senturk, Fernando Pastor Ricos, Stijn de Gouw and Tanja Vos. Applying Scriptless Test Automation on Web Applications from the Financial Sector., JISBD (testing track) 2021, 22-24 de septiembre de 2021, Málaga, España.

Aaron van der Brugge, Fernando Pastor Ricos, Pekka Aho, Beatriz Marín and Tanja E.J. Vos. Evaluating TESTAR’s effectiveness through code coverage., JISBD (SBST track) 2021, 22-24 de septiembre de 2021, Málaga, España.

2020

Sigrid Eldh, Tanja E. J. Vos, Serge Demeyer, Pekka Aho and Machiel van der Bijl. TESTOMAT – Next Level of Test Automation, RCIS 2020.

Miriam Gil, Fernando Pastor Ricos, Victoria Torres and Tanja E. J. Vos. DECODER – DEveloper COmpanion for Documented and annotatEd code Reference, RCIS 2020.

Rui Prada, I. S. W. B. Prasetya, Fitsum Kifetew, Frank Dignum, Tanja E. J. Vos, Jason Lander, Jean-Yves Donnart, Alexandre Kazmierowski, Joseph Davidson, Pedro M. Fernandes: Agent-based Testing of Extended Reality Systems. ICST 2020: pp. 414-417

Wishnu Prasetya, Rui Prada, Tanja E. J. Vos, Fitsum Kifetew, Frank Dignum, Jason Lander, Jean-Yves Donnart, Alexandre Kazmierowski, Joseph Davidson and Fernando Pastor Ricos. iv4XR – Intelligent Verification/Validation for Extended Reality Based System, RCIS 2020.

Mehmet Duran, Hatim Chahim, Tanja E. J. Vos, Nelly Condori-Fernández and Pekka Aho. Scriptless testing at the GUI level in an industrial setting, RCIS 2020, pp 267-284.

2019

Floren de Gier, Davy Kager, Tanja Vos, Stijn de Gouw, Offline state oracles for accesibility testing with TESTAR, RCIS 2019, BRiselas mayo 2019.

Tanja E. J. Vos, I. S. W. B. Prasetya, Gordon Fraser, Iván Martínez-Ortiz, Iván J. Pérez-Colado, Rui Prada, José Rocha, António Rito Silva:IMPRESS: Improving Engagement in Software Engineering Courses Through Gamification. PROFES 2019: 613-619

Tanja E. J. Vos, Machiel van der Bijl: Automatisch testen op GUI-niveau, AG Connect

Aho, Pekka, Tanja EJ Vos, Sami Ahonen, Tomi Piirainen, Perttu Moilanen, and Fernando Pastor Ricos. “Continuous Piloting of an Open Source Test Automation Tool in an Industrial Environment.” In Las Jornadas de Ingeniería del Software y Bases de Datos, pp. 1-4. Sistedes, 2019.

2018

Anna Isabel Esparcia-Alcázar, Francisco Almenar, Tanja E. J. Vos, Urko Rueda: Using genetic programming to evolve action selection rules in traversal-based automated software testing: results obtained with the TESTAR tool. Memetic Computing 10(3): 257-265 (2018)

Nelly Condori-Fernández, Maria Fernanda Granda, Tanja E. J. Vos: Towards a functional requirements prioritization with early mutation testing. RET@ICSE 2018: 21-24

Pekka Aho, Tanja E. J. Vos: Challenges in Automated Testing Through Graphical User Interface. ICST Workshops 2018: 118-121

Mirella Martinez, Anna isabel, Tanja E. J. Vos, Joab Fons, Pekka Aho. Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool. ISOLA 2018.

H. Chahim, M. Duran, T.E.J. Vos (2018). Challenging TESTAR in an industrial setting: the rail sector. In B. Andersson, B. Johansson, S. Carlsson, C. Barry, M. Lang, H. Linger, & C. Schneider (Eds.), Information Systems Development: Designing Digitalization (ISD2018 Proceedings). Lund, Sweden: Lund University.

2017

Nico Beierle, Peter M. Kruse and Tanja E. J. Vos. GUI-Profiling for Performance and Coverage Analysis. Proceedings of the 28th International Symposium on Software Reliability Engineering (ISSRE), Industrial Track, IEEE, 2017.

Maria Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos: Using ALF within the CoSTest process for Validation of UML-based Conceptual Schemas. ER Forum/Demos 2017: 257-270

Granda, Maria Fernanda; Condori-Fernández, Nelly; Vos, Tanja EJ; Pastor, Oscar., A Model-Level Mutation Tool to Support the Assessment of the Test Case Quality., In Complexity in Information Systems Development., pp 17-37, 2017, Springer

Esparcia-Alcázar, Anna I; Almenar, Francisco; Rueda, Urko; Vos, Tanja EJ; Evolving Rules for Action Selection in Automated Testing via Genetic Programming-A First Approach., proceedings of the European Conference on the Applications of Evolutionary Computation, pp 82-95, 2017, Springer, Cham.

Maria Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor: CoSTest: A Tool for Validation of Requirements at Model Level. RE 2017: 464-467

Alégroth, Emil; Matsuki, Shinsuke; Vos, Tanja EJ; Akemine, Kinji; Overview of the ICST International Software Testing Contest. Proceedings of the 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). pp550-551, 2017, IEEE.

Granda, MF; Condori-Fernández, N; Vos, TEJ; Pastor, O., Effectiveness Assessment of an Early Testing Technique using Model-Level Mutants., Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, pp 98-107, 2017, ACM.

Vos, Tanja EJ; Aho, Pekka., Searching for the Best Test *. In Proceedings of the 10th International Workshop on Search-Based Software Testing (SBST), pp 3-4, 2017, IEEE.

Nico Beierle, Peter M. Kruse, Tanja E. J. Vos:GUI-Profiling for Performance and Coverage Analysis. ISSRE Workshops 2017: 28-31

Vos, Tanja E.J. Zoeken naar fouten. Op weg naar een nieuwe manier om software te testen, ISBN 978 94 92231 53 6 ,Open Universiteit The Netherlands, 2017

Tanja E. J. Vos, Sigrid Eldh, Wishnu Prasetya: Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, A-TEST@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4-5, 2017. ACM 2017, ISBN 978-1-4503-5155-3

2016

Granda, M. F., Condori-Fernández, N., Vos, T. E., & Pastor, O. (2016, June). Mutation Operators for UML Class Diagrams. In International Conference on Advanced Information Systems Engineering (pp. 325-341). Springer International Publishing.

Rueda, U., Just, R., Galeotti, J. P., & Vos, T. E. (2016, May).Unit testing tool competition: round four. In Proceedings of the 9th International Workshop on Search-Based Software Testing (pp. 19-28). ACM.

Granda, M.F., Condori-Fernández, N., Vos, T.E.J., & Pastor O. (2016).A Model-level Mutation Tool to Support the Assessment of the Test Case Quality. In J. Gołuchowski, M. Pańkowska, C. Barry, M. Lang, H. Linger, & C. Schneider (Eds.), Information Systems Development: Complexity in Information Systems Development (ISD2016 Proceedings). Katowice, Poland: University of Economics in Katowice. ISBN: 978-83-7875-307-0.

Martinez, M., Esparcia, A. I., Rueda, U., Vos, T. E., & Ortega, C. (2016, October). Automated Localisation Testing in Industry with Test*. In IFIP International Conference on Testing Software and Systems (pp. 241-248). Springer International Publishing.

Tanja E. J. Vos, Anna Esparcia-Alcázar: Software Testing Innovation Alliance – the SHIP project -. STAF European Project Symposium, Showcase 2016: pp 65-71.

Anna Esparcia-Alcazar, Francisco Almenar, Mirella Martinez, Urko Rueda, Tanja Vos: Q-learning strategies for action selection in the TESTAR automated testing tool. , Proceedings of the 6TH INTERNATIONAL CONFERENCE ON METAHEURISTICS AND NATURE INSPIRED COMPUTING, META’2016, MARRAKECH (MOROCCO), 2016.

Tanja E.J. Vos, Urko Rueda, Wishnu Prasetya: Automated Testing at the User Interface level. ICT open 2016, poster Dutch ICT-research, 2016.

Urko Rueda, Anna I. Esparcia-Alcazar and Tanja E.J. Vos: Visualization of automated test results obtained by the TESTAR tool. Proceedings of the XIX Ibero-American Conference on Software Engineering (CIBSE 2016)

2015

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.

2014

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.

2013

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.

2012

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.

2011

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.

8 January 2011, El País, Spanish news paper, Local Valencian news part:

2010

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.

2009

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.

2008

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.

2007

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.

2006

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.

2005

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.

2004

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

2003

I. S. W. B. Prasetya, Tanja E.J. Vos, S. D. Swierstra, and B. Widjaja. A theory for composing distributed components, based on mutual exclusion. In Proceedings of the Workshop on Formal Aspects of Component Software (FACS), September 8-9, Pisa, Italy., 2003.

Wishnu Prasetya, Tanja E.J. Vos, A. Azurat, and S. Doaitse Swierstra. A unity-based framework towards component based systems. Technical Report UU-CS-2003-043, Department of Information and Computing Sciences, Utrecht University, 2003.

Wishnu Prasetya, Tanja E.J. Vos, A. Azurat, and S. Doaitse Swierstra. !unity: A hol theory of general unity. In Proceedings of 16th International Conference on Theorem Proving in Higher Order Logics (Track Emerging Trends), pages 159–176, 2003.

2002

Tanja E.J. Vos and S Doaitse Swierstra. Inductive data types with negative occurrences in hol. Informal proceedings of the Thirty Five Years of Automath workshop, 2002.

Tanja E. J. Vos and S. D. Swierstra. Yet another program refinement rela- tion (extended abstract). International Workshop on Refinement of Criti- cal Systems: Methods, Tools and Experience, (RCS’02), Grenoble, France, January, 2002.

Wishnu Prasetya, Tanja E.J. Vos, A. Azurat, and S. Doaitse Swierstra. !unity: A theory of general unity. Technical Report UU-CS-2002-025, De- partment of Information and Computing Sciences, Utrecht University, 2002.

2001

Tanja E.J. Vos and S. Doaitse Swierstra. Program refinement in unity. Technical Report UU-CS-2001-41, Department of Information and Computing Sciences, Utrecht University, 2001.

Tanja E.J. Vos and S. Doaitse Swierstra. Proving distributed hylomorphisms. Technical Report UU-CS-2001-40, Department of Information and Computing Sciences, Utrecht University, 2001.

2000

Tanja E.J. Vos and S. Doaitse Swierstra. Sequential program composition in unity. Technical Report UU-CS-2000-10, Department of Information and Computing Sciences, Utrecht University, 2000.

Tanja E.J. Vos and S. Doaitse Swierstra. Defining a non-concrete recursive type in hol which includes sets. Technical Report UU-CS-2000-09, Depart- ment of Information and Computing Sciences, Utrecht University, 2000.

Tanja E.J. Vos and S. Doaitse Swierstra. Sequential program composition in UNITY. Technical Report UCAM-CL-TR-487, University of Cam- bridge, Computer Laboratory, 15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom, March 2000.

Tanja E. J. Vos. UNITY in Diversity – a stratified approach to the verification of distributed algorithms. PhD thesis at the Universiteit van Utrecht, The Netherlands. ISBN 90-393-2316, 2000.

<2000

Tanja E. J. Vos and S. Doaitse Swierstra. Make your enemies transparent. In Rolf H. Mohring, editor, Graph-Theoretic Concepts in Computer Science, 23rd International Workshop, WG ’97, Berlin, Germany, June 18-20, 1997, Proceedings, volume 1335 of Lecture Notes in Computer Science, pages 342– 353. Springer, 1997.

Tanja E.J. Vos, S. Doaitse Swierstra, and Wishnu Prasetya. Formal methods and mechanical verification applied to the development of a convergent distributed sorting program. Technical Report UU-CS-1996-37, Department of Information and Computing Sciences, Utrecht University, 1996.

Tanja E. J. Vos. Program construction and generation based on recursive data types, Philips Research, information and software technology, Eind- hoven, The Netherlands. master thesis number RWB-510-ir-95016, 1995.