Tanja E. J. Vos

According to our database, Tanja E. J. Vos authored at least 100 papers between 1997 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Delta GUI change detection using inferred models.

Fernando Pastor Ricós, Beatriz Marín, Tanja E. J. Vos, Rick Neeft, Pekka Aho

Comput. Stand. Interfaces, 2025

2024

Scriptless and Seamless: Leveraging Probabilistic Models for Enhanced GUI Testing in Native Android Applications.

Olivia Rodriguez Valdés, Kevin van der Vlist, Robbert van Dalen, Beatriz Marín, Tanja E. J. Vos

Proceedings of the Research Challenges in Information Science, 2024

An Industrial Experience Leveraging the iv4XR Framework for BDD Testing of a 3D Sandbox Game.

Fernando Pastor Ricós, Beatriz Marín, I. S. W. B. Prasetya, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka

Proceedings of the Research Challenges in Information Science, 2024

Novelty-Driven Evolutionary Scriptless Testing.

Lianne V. Hufkens, Tanja E. J. Vos, Beatriz Marín

Proceedings of the Research Challenges in Information Science, 2024

State of the Practice in Software Testing Teaching in Four European Countries.

Porfirio Tramontana, Beatriz Marín, Ana C. R. Paiva, Alexandra Mendes, Tanja E. J. Vos, Domenico Amalfitano, Felix Cammaerts, Monique Snoeck, Anna Rita Fasolino

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Scriptless Testing for an Industrial 3D Sandbox Game.

Fernando Pastor Ricós, Beatriz Marín, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

Towards Understanding Students' Sensemaking of Test Case Design: A One-Page Summary.

Niels Doorn, Tanja E. J. Vos, Beatriz Marín

Proceedings of the 36th International Conference on Software Engineering Education and Training, 2024

Grammar-Based Action Selection Rules for Scriptless Testing.

Lianne V. Hufkens, Fernando Pastor Ricós, Beatriz Marín, Tanja E. J. Vos

Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024), 2024

2023

Towards understanding students' sensemaking of test case design.

Niels Doorn, Tanja E. J. Vos, Beatriz Marín

Data Knowl. Eng., July, 2023

Distributed state model inference for scriptless GUI testing.

Fernando Pastor Ricós, Arend Slomp, Beatriz Marín, Pekka Aho, Tanja E. J. Vos

J. Syst. Softw., June, 2023

Scripted and scriptless GUI testing for web applications: An industrial case.

Axel Bons, Beatriz Marín, Pekka Aho, Tanja E. J. Vos

Inf. Softw. Technol., June, 2023

Reinforcement Learning for Scriptless Testing: An Empirical Investigation of Reward Functions.

Olivia Rodriguez Valdés, Tanja E. J. Vos, Beatriz Marín, Pekka Aho

Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

Using GUI Change Detection for Delta Testing.

Fernando Pastor Ricós, Rick Neeft, Beatriz Marín, Tanja E. J. Vos, Pekka Aho

Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

Domain TILEs: Test Informed Learning with Examples from the Testing Domain.

Niels Doorn, Tanja E. J. Vos, Beatriz Marín, Christoph Bockisch, Steffen Dick, Erik Barendsen

Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

Set the right example when teaching programming: Test Informed Learning with Examples (TILE).

Niels Doorn, Tanja E. J. Vos, Beatriz Marín, Erik Barendsen

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

ENACTEST project - European Innovation Alliance for Testing Education.

Beatriz Marín, Tanja E. J. Vos, Monique Snoeck, Ana C. R. Paiva, Anna Rita Fasolino

Proceedings of the Research Projects Exhibition Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), 2023

2022

An agent-based approach to automated game testing: an experience report.

I. S. W. B. Prasetya, Fernando Pastor Ricós, Fitsum Meshesha Kifetew, Davide Prandi, Samira Shirzadehhajimahmood, Tanja E. J. Vos, Premysl Paska, Karel Hovorka, Raihana Ferdous, Angelo Susi, Joseph Davidson

Proceedings of the 13th International Workshop on Automating Test Case Design, 2022

State Model Inference Through the GUI Using Run-Time Test Generation.

Ad Mulders, Olivia Rodriguez Valdes, Fernando Pastor Ricós, Pekka Aho, Beatriz Marín, Tanja E. J. Vos

Proceedings of the Research Challenges in Information Science, 2022

ENACTEST - European Innovation Alliance for Testing Education.

Beatriz Marín, Tanja E. J. Vos, Ana C. R. Paiva, Anna Rita Fasolino, Monique Snoeck

Proceedings of the Joint Proceedings of RCIS 2022 Workshops and Research Projects Track co-located with the 16th International Conference on Research Challenges in Information Science (RCIS 2022), 2022

IVVES (Industrial-Grade Verification and Validation of Evolving Systems).

Pekka Aho, Tanja E. J. Vos, Otto Sybrandi, Sorin Patrasoiu, Joona Oikarinen, Olivia Rodriguez Valdes, Lianne V. Hufkens

Proceedings of the Joint Proceedings of RCIS 2022 Workshops and Research Projects Track co-located with the 16th International Conference on Research Challenges in Information Science (RCIS 2022), 2022

Scriptless GUI Testing on Mobile Applications.

Thorn Jansen, Fernando Pastor Ricós, Yaping Luo, Kevin van der Vlist, Robbert van Dalen, Pekka Aho, Tanja E. J. Vos

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

testar - scriptless testing through graphical user interface.

Tanja E. J. Vos, Pekka Aho, Fernando Pastor Ricós, Olivia Rodriguez Valdes, Ad Mulders

Softw. Test. Verification Reliab., 2021

30 Years of Automated GUI Testing: A Bibliometric Analysis.

Olivia Rodriguez Valdés, Tanja E. J. Vos, Pekka Aho, Beatriz Marín

Proceedings of the Quality of Information and Communications Technology, 2021

Exploring students' sensemaking of test case design. An initial study.

Niels Doorn, Tanja E. J. Vos, Beatriz Marín, Harrie Passier, Lex Bijlsma, Silvio Cacace

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Test Informed Learning with Examples.

Tanja E. J. Vos, Niels Doorn, Beatriz Marín

Proceedings of the CSERC '21: The 10th Computer Science Education Research Conference, Virtual Event, The Netherlands, November 22, 2021

A Structured (Java) Exercise Repository with Automated Feedback (SERF).

Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos

Proceedings of the CSERC '21: The 10th Computer Science Education Research Conference, Virtual Event, The Netherlands, November 22, 2021

2020

Automating TEST Case Design, Selection and Evaluation Report on 10 Editions of A-TESTWorkshop.

Tanja E. J. Vos, I. S. W. B. Prasetya, Sigrid Eldh, Sinem Getir, Ali Parsai, Pekka Aho

ACM SIGSOFT Softw. Eng. Notes, 2020

Scriptless Testing at the GUI Level in an Industrial Setting.

Hatim Chahim, Mehmet Duran, Tanja E. J. Vos, Pekka Aho, Nelly Condori-Fernández

Proceedings of the Research Challenges in Information Science, 2020

Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation.

Fernando Pastor Ricós, Pekka Aho, Tanja E. J. Vos, Ismael Torres Boigues, Ernesto Calás Blasco, Héctor Martínez Martínez

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Agent-based Testing of Extended Reality Systems.

Rui Prada, I. S. W. B. Prasetya, Fitsum Meshesha Kifetew, Frank Dignum, Tanja E. J. Vos, Jason Lander, Jean-Yves Donnart, Alexandre Kazmierowski, Joseph Davidson, Pedro M. Fernandes

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Aplib: Tactical Agents for Testing Computer Games.

I. S. W. B. Prasetya, Mehdi Dastani, Rui Prada, Tanja E. J. Vos, Frank Dignum, Fitsum Meshesha Kifetew

Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020

Tutorial on a Gamification Toolset for Improving Engagement of Students in Software Engineering Courses.

Tanja E. J. Vos, Gordon Fraser, Iván Martínez-Ortiz, Rui Prada, António Rito Silva, I. S. W. B. Prasetya

Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020

2019

Offline Oracles for Accessibility Evaluation with the TESTAR Tool.

Floren de Gier, Davy Kager, Stijn de Gouw, Tanja E. J. Vos

Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019

IMPRESS: Improving Engagement in Software Engineering Courses Through Gamification.

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é Bernardo Rocha, António Rito Silva

Proceedings of the Product-Focused Software Process Improvement, 2019

2018

Using genetic programming to evolve action selection rules in traversal-based automated software testing: results obtained with the TESTAR tool.

Anna Isabel Esparcia-Alcázar, Francisco Almenar, Tanja E. J. Vos, Urko Rueda

Memetic Comput., 2018

Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool.

Mirella Martínez, Anna Isabel Esparcia-Alcázar, Tanja E. J. Vos, Pekka Aho, Joan Fons i Cors

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Challenges in Automated Testing Through Graphical User Interface.

Pekka Aho, Tanja E. J. Vos

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Towards a functional requirements prioritization with early mutation testing.

Nelly Condori-Fernández, María Fernanda Granda, Tanja E. J. Vos

Proceedings of the 5th International Workshop on Requirements Engineering and Testing, 2018

2017

CoSTest: A Tool for Validation of Requirements at Model Level.

María Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

GUI-Profiling for Performance and Coverage Analysis.

Nico Beierle, Peter M. Kruse, Tanja E. J. Vos

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Overview of the ICST International Software Testing Contest.

Emil Alégroth, Shinsuke Matsuki, Tanja E. J. Vos, Kinji Akemine

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Searching for the Best Test.

Tanja E. J. Vos, Pekka Aho

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

Evolving Rules for Action Selection in Automated Testing via Genetic Programming - A First Approach.

Anna Isabel Esparcia-Alcázar, Francisco Almenar, Urko Rueda, Tanja E. J. Vos

Proceedings of the Applications of Evolutionary Computation - 20th European Conference, 2017

Using ALF within the CoSTest process for Validation of UML-based Conceptual Schemas.

María Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos

Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017), Valencia, Spain,, 2017

Effectiveness Assessment of an Early Testing Technique using Model-Level Mutants.

María Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor

Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, 2017

2016

Software Testing Innovation Alliance - the SHIP project -.

Tanja E. J. Vos, Anna Esparcia-Alcázar

Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

Automated Localisation Testing in Industry with Test ^* ∗.

Mireilla Martínez, Anna Esparcia-Alcázar, Urko Rueda, Tanja E. J. Vos, Carlos Ortega

Proceedings of the Testing Software and Systems, 2016

A Model-level Mutation Tool to Support the Assessment of the Test Case Quality.

María Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor

Proceedings of the Information Systems Development: Complexity in Information Systems Development, 2016

Unit testing tool competition: round four.

Urko Rueda, René Just, Juan P. Galeotti, Tanja E. J. Vos

Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016

Visualization of automated test results obtained by the TESTAR tool.

Urko Rueda, Anna Esparcia-Alcázar, Tanja E. J. Vos

Proceedings of XIX Ibero-American Conference on Software Engineering, 2016

Mutation Operators for UML Class Diagrams.

María Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor

Proceedings of the Advanced Information Systems Engineering, 2016

2015

TESTAR: Tool Support for Test Automation at the User Interface Level.

Tanja E. J. Vos, Peter M. Kruse, Nelly Condori-Fernández, Sebastian Bauersfeld, Joachim Wegener

Int. J. Inf. Syst. Model. Des., 2015

AB=ᗺA: execution equivalence as a new type of testing oracle.

Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Urko Rueda, Tanja E. J. Vos, Nelly Condori-Fernández

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

What do we know about the defect types detected in conceptual models?

María Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor

Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Unit Testing Tool Competition - Round Three.

Urko Rueda, Tanja E. J. Vos, I. S. W. B. Prasetya

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

2014

User Interface Level Testing with TESTAR; What about More Sophisticated Action Specification and Selection?

Sebastian Bauersfeld, Tanja E. J. Vos

Proceedings of the Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, 2014

Towards the automated generation of abstract test cases from requirements models.

María Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor

Proceedings of the 1st IEEE International Workshop on Requirements Engineering and Testing, 2014

Evaluating rogue user testing in industry: An experience report.

Sebastian Bauersfeld, Antonio de Rojas, Tanja E. J. Vos

Proceedings of the IEEE 8th International Conference on Research Challenges in Information Science, 2014

Combinatorial Testing in an Industrial Environment - Analyzing the Applicability of a Tool.

Nelly Condori-Fernández, Peter M. Kruse, Tanja E. J. Vos, Etienne Brosse, Alessandra Bagnato

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Evaluating the TESTAR tool in an industrial case study.

Sebastian Bauersfeld, Tanja E. J. Vos, Nelly Condori-Fernández, Alessandra Bagnato, Etienne Brosse

Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

FITTEST: A new continuous and automated testing process for future Internet applications.

Tanja E. J. Vos, Paolo Tonella, Wishnu Prasetya, Peter M. Kruse, Alessandra Bagnato, Mark Harman, Onn Shehory

Proceedings of the 2014 Software Evolution Week, 2014

Assessing the Applicability of a Combinatorial Testing tool within an Industrial Environment.

Onn Shehory, Daniel Citron, Peter M. Kruse, Nelly Condori-Fernández, Tanja E. J. Vos, Bilha Mendelson

Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

2013

Using a functional size measurement procedure to evaluate the quality of models in MDD environments.

Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos, Alain Abran

ACM Trans. Softw. Eng. Methodol., 2013

Evolutionary functional black-box testing in an industrial setting.

Tanja E. J. Vos, Felix F. Lindlar, Benjamin Wilmes, Andreas Windisch, Arthur I. Baars, Peter M. Kruse, Hamilton Gross, Joachim Wegener

Softw. Qual. J., 2013

An empirical approach for evaluating the usability of model-driven tools.

Nelly Condori-Fernández, José Ignacio Panach, Arthur Iwan Baars, Tanja E. J. Vos, Oscar Pastor

Sci. Comput. Program., 2013

The FITTEST Tool Suite for Testing Future Internet Applications.

Tanja E. J. Vos, Paolo Tonella, I. S. Wishnu B. Prasetya, Peter M. Kruse, Onn Shehory, Alessandra Bagnato, Mark Harman

Proceedings of the Future Internet Testing - First International Workshop, 2013

Unit Testing Tool Competitions - Lessons Learned.

Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia

Proceedings of the Future Internet Testing - First International Workshop, 2013

Evaluating applicability of combinatorial testing in an industrial environment: a case study.

Elisa Puoskari, Tanja E. J. Vos, Nelly Condori-Fernández, Peter M. Kruse

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, 2013

Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop Summary.

Simon M. Poulding, Tanja E. J. Vos

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Unit Testing Tool Competition.

Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding, Nelly Condori-Fernández

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Evaluating the FITTEST Automated Testing Tools: An Industrial Case Study.

Cu D. Nguyen, Bilha Mendelson, Daniel Citron, Onn Shehory, Tanja E. J. Vos, Nelly Condori-Fernández

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

Combinatorial Testing Tool Learnability in an Industrial Environment.

Peter M. Kruse, Nelly Condori-Fernández, Tanja E. J. Vos, Alessandra Bagnato, Etienne Brosse

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

The OMG UML Testing Profile in Use-An Industrial Case Study for the Future Internet Testing.

Alessandra Bagnato, Andrey Sadovykh, Etienne Brosse, Tanja E. J. Vos

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Successful Empirical Research in Software Testing With Industry.

Nelly Condori-Fernández, Tanja E. J. Vos

Proceedings of the Industrial Track of the Conference on Advanced Information Systems Engineering 2013 (CAiSE'13), 2013

2012

Industrial Case Studies for Evaluating Search Based Structural Testing.

Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Andreas Windisch, Benjamin Wilmes, Hamilton Gross, Peter M. Kruse, Joachim Wegener

Int. J. Softw. Eng. Knowl. Eng., 2012

A Methodological Framework for Evaluating Software Testing Techniques and Tools.

Tanja E. J. Vos, Beatriz Marín, María José Escalona, Alessandro Marchetto

Proceedings of the 2012 12th International Conference on Quality Software, 2012

GUITest: a Java library for fully automated GUI robustness testing.

Sebastian Bauersfeld, Tanja E. J. Vos

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2011

Early Usability Measurement in Model-Driven Development: Definition and Empirical Evaluation.

José Ignacio Panach, Nelly Condori-Fernández, Tanja E. J. Vos, Nathalie Aquino, Francisco Valverde

Int. J. Softw. Eng. Knowl. Eng., 2011

Towards testing future Web applications.

Beatriz Marín, Tanja E. J. Vos, Giovanni Giachetti, Arthur I. Baars, Paolo Tonella

Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Symbolic search-based testing.

Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Towards an Experimental Framework for Measuring Usability of Model-Driven Tools.

José Ignacio Panach, Nelly Condori-Fernández, Arthur I. Baars, Tanja E. J. Vos, Ignacio Romeu, Oscar Pastor

Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Testing and Remote Maintenance of Real Future Internet Scenarios, Towards FITTEST and FastFix Advanced Software Engineering.

Alessandra Bagnato, Anna Esparcia-Alcázar, Tanja E. J. Vos, Beatriz Marín, José Oliver Murillo, Salvador I. Folgado, Auxiliadora Carlos Alberola

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

Search-Based Testing, the Underlying Engine of Future Internet Testing.

Arthur I. Baars, Kiran Lakhotia, Tanja E. J. Vos, Joachim Wegener

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

Future Internet Testing with FITTEST.

Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder

Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010

Continuous Evolutionary Automated Testing for the Future Internet.

Tanja E. J. Vos

ERCIM News, 2010

A Tool for Automatic Defect Detection in Models Used in Model-Driven Engineering.

Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos

Proceedings of the Quality of Information and Communications Technology, 2010

Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool.

Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Peter M. Kruse, Andreas Windisch, Joachim Wegener

Proceedings of the Third International Conference on Software Testing, 2010

Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce Faults.

Arthur I. Baars, Tanja E. J. Vos, Dimitar M. Dimitrov

Proceedings of the Third International Conference on Software Testing, 2010

Evaluating the usefulness of a functional size measurement procedure to detect defects in MDD models.

Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos, Alain Abran

Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

2009

Evolutionary Testing for Complex Systems.

Tanja E. J. Vos

ERCIM News, 2009

Evolutionary White-Box Software Test with the EvoTest Framework: A Progress Report.

Hamilton Gross, Peter M. Kruse, Joachim Wegener, Tanja E. J. Vos

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Trace-based Reflexive Testing of OO Programs with T2.

Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars

Proceedings of the First International Conference on Software Testing, 2008

08351 Summary - Evolutionary Test Generation.

Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener

Proceedings of the Evolutionary Test Generation, 24.08. - 29.08.2008, 2008

08351 Abstracts Collection - Evolutionary Test Generation.

Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener

Proceedings of the Evolutionary Test Generation, 24.08. - 29.08.2008, 2008

2006

Incremental Implementation of Syntax Driven Logics.

Ignatius Sri Wishnu Brata Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen

J. Softw., 2006

Web Cube.

I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Facilitating the Verification of Diffusing Computations and Their Applications.

Tanja E. J. Vos, S. Doaitse Swierstra

CLEI Electron. J., 2005

Building Verification Condition Generators by Compositional Extensions.

I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

A UNITY-Based Framework Towards Component Based Systems.

I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra

Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

1997

Make your Enemies Transparent.

Tanja E. J. Vos, S. Doaitse Swierstra

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1997