Tanja E. J. Vos

According to our database1, Tanja E. J. Vos authored at least 67 papers between 1997 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Offline Oracles for Accessibility Evaluation with the TESTAR Tool.
Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019

IMPRESS: Improving Engagement in Software Engineering Courses Through Gamification.
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.
Memetic Computing, 2018

Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Challenges in Automated Testing Through Graphical User Interface.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Towards a functional requirements prioritization with early mutation testing.
Proceedings of the 5th International Workshop on Requirements Engineering and Testing, 2018

2017
CoSTest: A Tool for Validation of Requirements at Model Level.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

GUI-Profiling for Performance and Coverage Analysis.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Overview of the ICST International Software Testing Contest.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Searching for the Best Test.
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.
Proceedings of the Applications of Evolutionary Computation - 20th European Conference, 2017

Using ALF within the CoSTest process for Validation of UML-based Conceptual Schemas.
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.
Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, 2017

2016
Software Testing Innovation Alliance - the SHIP project -.
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 ^* ∗.
Proceedings of the Testing Software and Systems, 2016

A Model-level Mutation Tool to Support the Assessment of the Test Case Quality.
Proceedings of the Information Systems Development: Complexity in Information Systems Development, 2016

Unit testing tool competition: round four.
Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016

Visualization of automated test results obtained by the TESTAR tool.
Proceedings of XIX Ibero-American Conference on Software Engineering, 2016

Mutation Operators for UML Class Diagrams.
Proceedings of the Advanced Information Systems Engineering, 2016

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

AB=ᗺA: execution equivalence as a new type of testing oracle.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

What do we know about the defect types detected in conceptual models?
Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Unit Testing Tool Competition - Round Three.
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?
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.
Proceedings of the 1st IEEE International Workshop on Requirements Engineering and Testing, 2014

Evaluating rogue user testing in industry: An experience report.
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.
Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Evaluating the TESTAR tool in an industrial case study.
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.
Proceedings of the 2014 Software Evolution Week, 2014

Assessing the Applicability of a Combinatorial Testing tool within an Industrial Environment.
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.
ACM Trans. Softw. Eng. Methodol., 2013

Evolutionary functional black-box testing in an industrial setting.
Software Quality Journal, 2013

An empirical approach for evaluating the usability of model-driven tools.
Sci. Comput. Program., 2013

The FITTEST Tool Suite for Testing Future Internet Applications.
Proceedings of the Future Internet Testing - First International Workshop, 2013

Unit Testing Tool Competitions - Lessons Learned.
Proceedings of the Future Internet Testing - First International Workshop, 2013

Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop Summary.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Unit Testing Tool Competition.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Evaluating the FITTEST Automated Testing Tools: An Industrial Case Study.
Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

Combinatorial Testing Tool Learnability in an Industrial Environment.
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.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Successful Empirical Research in Software Testing With Industry.
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.
International Journal of Software Engineering and Knowledge Engineering, 2012

A Methodological Framework for Evaluating Software Testing Techniques and Tools.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

GUITest: a Java library for fully automated GUI robustness testing.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2011
Early Usability Measurement in Model-Driven Development: Definition and Empirical Evaluation.
International Journal of Software Engineering and Knowledge Engineering, 2011

Towards testing future Web applications.
Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Symbolic search-based testing.
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.
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.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

Search-Based Testing, the Underlying Engine of Future Internet Testing.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

Future Internet Testing with FITTEST.
Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010
Continuous Evolutionary Automated Testing for the Future Internet.
ERCIM News, 2010

A Tool for Automatic Defect Detection in Models Used in Model-Driven Engineering.
Proceedings of the Quality of Information and Communications Technology, 2010

Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool.
Proceedings of the Third International Conference on Software Testing, 2010

Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce Faults.
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.
Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

2009
Evolutionary Testing for Complex Systems.
ERCIM News, 2009

Evolutionary White-Box Software Test with the EvoTest Framework: A Progress Report.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008
Trace-based Reflexive Testing of OO Programs with T2.
Proceedings of the First International Conference on Software Testing, 2008

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

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

2006
Incremental Implementation of Syntax Driven Logics.
JSW, 2006

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

2005
Facilitating the Verification of Diffusing Computations and Their Applications.
CLEI Electron. J., 2005

Building Verification Condition Generators by Compositional Extensions.
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.
Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

1997
Make your Enemies Transparent.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1997


  Loading...