default search action
Tanja E. J. Vos
Person information
- affiliation: Technical University of Valencia, Spain
- affiliation: Open University, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j15]Fernando Pastor Ricós, Beatriz Marín, Tanja E. J. Vos, Rick Neeft, Pekka Aho:
Delta GUI change detection using inferred models. Comput. Stand. Interfaces 92: 103925 (2025) - 2024
- [c81]Lianne V. Hufkens, Fernando Pastor Ricós, Beatriz Marín, Tanja E. J. Vos:
Grammar-Based Action Selection Rules for Scriptless Testing. AST@ICSE 2024: 56-65 - [c80]Niels Doorn, Tanja E. J. Vos, Beatriz Marín:
Towards Understanding Students' Sensemaking of Test Case Design: A One-Page Summary. CSEE&T 2024: 1 - [c79]Fernando Pastor Ricós, Beatriz Marín, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka:
Scriptless Testing for an Industrial 3D Sandbox Game. ENASE 2024: 51-62 - [c78]Porfirio Tramontana, Beatriz Marín, Ana C. R. Paiva, Alexandra Mendes, Tanja E. J. Vos, Domenico Amalfitano, Felix Cammaerts, Monique Snoeck, Anna Rita Fasolino:
State of the Practice in Software Testing Teaching in Four European Countries. ICST 2024: 59-69 - [c77]Olivia Rodriguez Valdés, Kevin van der Vlist, Robbert van Dalen, Beatriz Marín, Tanja E. J. Vos:
Scriptless and Seamless: Leveraging Probabilistic Models for Enhanced GUI Testing in Native Android Applications. RCIS (2) 2024: 83-91 - [c76]Lianne V. Hufkens, Tanja E. J. Vos, Beatriz Marín:
Novelty-Driven Evolutionary Scriptless Testing. RCIS (2) 2024: 100-108 - [c75]Fernando Pastor Ricós, Beatriz Marín, I. S. W. B. Prasetya, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka:
An Industrial Experience Leveraging the iv4XR Framework for BDD Testing of a 3D Sandbox Game. RCIS (1) 2024: 393-409 - [e10]Wishnu Prasetya, Tanja E. J. Vos, Tijs van der Storm:
Proceedings of the 15th ACM International Workshop on Automating Test Case Design, Selection and Evaluation, A-TEST 2024, Vienna, Austria, 19 September 2024. ACM 2024, ISBN 979-8-4007-1109-1 [contents] - 2023
- [j14]Niels Doorn, Tanja E. J. Vos, Beatriz Marín:
Towards understanding students' sensemaking of test case design. Data Knowl. Eng. 146: 102199 (2023) - [j13]Axel Bons, Beatriz Marín, Pekka Aho, Tanja E. J. Vos:
Scripted and scriptless GUI testing for web applications: An industrial case. Inf. Softw. Technol. 158: 107172 (2023) - [j12]Fernando Pastor Ricós, Arend Slomp, Beatriz Marín, Pekka Aho, Tanja E. J. Vos:
Distributed state model inference for scriptless GUI testing. J. Syst. Softw. 200: 111645 (2023) - [c74]Beatriz Marín, Tanja E. J. Vos, Monique Snoeck, Ana C. R. Paiva, Anna Rita Fasolino:
ENACTEST project - European Innovation Alliance for Testing Education. CAiSE Research Projects Exhibition 2023: 91-96 - [c73]Niels Doorn, Tanja E. J. Vos, Beatriz Marín, Erik Barendsen:
Set the right example when teaching programming: Test Informed Learning with Examples (TILE). ICST 2023: 269-280 - [c72]Olivia Rodriguez Valdés, Tanja E. J. Vos, Beatriz Marín, Pekka Aho:
Reinforcement Learning for Scriptless Testing: An Empirical Investigation of Reward Functions. RCIS 2023: 136-153 - [c71]Niels Doorn, Tanja E. J. Vos, Beatriz Marín, Christoph Bockisch, Steffen Dick, Erik Barendsen:
Domain TILEs: Test Informed Learning with Examples from the Testing Domain. RCIS 2023: 501-508 - [c70]Fernando Pastor Ricós, Rick Neeft, Beatriz Marín, Tanja E. J. Vos, Pekka Aho:
Using GUI Change Detection for Delta Testing. RCIS 2023: 509-517 - 2022
- [c69]Thorn Jansen, Fernando Pastor Ricós, Yaping Luo, Kevin van der Vlist, Robbert van Dalen, Pekka Aho, Tanja E. J. Vos:
Scriptless GUI Testing on Mobile Applications. QRS 2022: 1103-1112 - [c68]Pekka Aho, Tanja E. J. Vos, Otto Sybrandi, Sorin Patrasoiu, Joona Oikarinen, Olivia Rodriguez Valdes, Lianne V. Hufkens:
IVVES (Industrial-Grade Verification and Validation of Evolving Systems). RCIS Workshops 2022 - [c67]Beatriz Marín, Tanja E. J. Vos, Ana C. R. Paiva, Anna Rita Fasolino, Monique Snoeck:
ENACTEST - European Innovation Alliance for Testing Education. RCIS Workshops 2022 - [c66]Ad Mulders, Olivia Rodriguez Valdes, Fernando Pastor Ricós, Pekka Aho, Beatriz Marín, Tanja E. J. Vos:
State Model Inference Through the GUI Using Run-Time Test Generation. RCIS 2022: 546-563 - [c65]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:
An agent-based approach to automated game testing: an experience report. A-TEST@ESEC/SIGSOFT FSE 2022: 1-8 - [i6]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:
An Agent-based Approach to Automated Game Testing: an Experience Report. CoRR abs/2211.06386 (2022) - 2021
- [j11]Tanja E. J. Vos, Pekka Aho, Fernando Pastor Ricós, Olivia Rodriguez Valdes, Ad Mulders:
testar - scriptless testing through graphical user interface. Softw. Test. Verification Reliab. 31(3) (2021) - [c64]Tanja E. J. Vos, Niels Doorn, Beatriz Marín:
Test Informed Learning with Examples. CSERC 2021: 1-2 - [c63]Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos:
A Structured (Java) Exercise Repository with Automated Feedback (SERF). CSERC 2021: 68-69 - [c62]Niels Doorn, Tanja E. J. Vos, Beatriz Marín, Harrie Passier, Lex Bijlsma, Silvio Cacace:
Exploring students' sensemaking of test case design. An initial study. QRS Companion 2021: 1069-1078 - [c61]Olivia Rodriguez Valdés, Tanja E. J. Vos, Pekka Aho, Beatriz Marín:
30 Years of Automated GUI Testing: A Bibliometric Analysis. QUATIC 2021: 473-488 - 2020
- [j10]Tanja E. J. Vos, I. S. W. B. Prasetya, Sigrid Eldh, Sinem Getir, Ali Parsai, Pekka Aho:
Automating TEST Case Design, Selection and Evaluation Report on 10 Editions of A-TESTWorkshop. ACM SIGSOFT Softw. Eng. Notes 45(1): 21-24 (2020) - [c60]Tanja E. J. Vos, Gordon Fraser, Iván Martínez-Ortiz, Rui Prada, António Rito Silva, I. S. W. B. Prasetya:
Tutorial on a Gamification Toolset for Improving Engagement of Students in Software Engineering Courses. CSEE&T 2020: 1-3 - [c59]I. S. W. B. Prasetya, Mehdi Dastani, Rui Prada, Tanja E. J. Vos, Frank Dignum, Fitsum Meshesha Kifetew:
Aplib: Tactical Agents for Testing Computer Games. EMAS@AAMAS 2020: 21-41 - [c58]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:
Agent-based Testing of Extended Reality Systems. ICST 2020: 414-417 - [c57]Fernando Pastor Ricós, Pekka Aho, Tanja E. J. Vos, Ismael Torres Boigues, Ernesto Calás Blasco, Héctor Martínez Martínez:
Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation. ISoLA (1) 2020: 543-557 - [c56]Hatim Chahim, Mehmet Duran, Tanja E. J. Vos, Pekka Aho, Nelly Condori-Fernández:
Scriptless Testing at the GUI Level in an Industrial Setting. RCIS 2020: 267-284
2010 – 2019
- 2019
- [c55]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:
IMPRESS: Improving Engagement in Software Engineering Courses Through Gamification. PROFES 2019: 613-619 - [c54]Floren de Gier, Davy Kager, Stijn de Gouw, Tanja E. J. Vos:
Offline Oracles for Accessibility Evaluation with the TESTAR Tool. RCIS 2019: 1-12 - [e9]Tanja E. J. Vos, Wishnu Prasetya, Sinem Getir:
Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 16-17, 2019. ACM 2019, ISBN 978-1-4503-6850-6 [contents] - [i5]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:
IMPRESS: Improving Engagement in Software Engineering Courses through Gamification. CoRR abs/1912.06850 (2019) - 2018
- [j9]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 Comput. 10(3): 257-265 (2018) - [c53]Nelly Condori-Fernández, María Fernanda Granda, Tanja E. J. Vos:
Towards a functional requirements prioritization with early mutation testing. RET@ICSE 2018: 21-24 - [c52]Pekka Aho, Tanja E. J. Vos:
Challenges in Automated Testing Through Graphical User Interface. ICST Workshops 2018: 118-121 - [c51]Mirella Martínez, Anna Isabel Esparcia-Alcázar, Tanja E. J. Vos, Pekka Aho, Joan Fons i Cors:
Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool. ISoLA (3) 2018: 375-385 - [e8]Wishnu Prasetya, Tanja E. J. Vos, Sinem Getir:
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 05, 2018. ACM 2018, ISBN 978-1-4503-6053-1 [contents] - 2017
- [c50]María Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor:
Effectiveness Assessment of an Early Testing Technique using Model-Level Mutants. EASE 2017: 98-107 - [c49]María 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 - [c48]Anna Isabel Esparcia-Alcázar, Francisco Almenar, Urko Rueda, Tanja E. J. Vos:
Evolving Rules for Action Selection in Automated Testing via Genetic Programming - A First Approach. EvoApplications (2) 2017: 82-95 - [c47]Tanja E. J. Vos, Pekka Aho:
Searching for the Best Test. SBST@ICSE 2017: 3-4 - [c46]Emil Alégroth, Shinsuke Matsuki, Tanja E. J. Vos, Kinji Akemine:
Overview of the ICST International Software Testing Contest. ICST 2017: 550-551 - [c45]Nico Beierle, Peter M. Kruse, Tanja E. J. Vos:
GUI-Profiling for Performance and Coverage Analysis. ISSRE Workshops 2017: 28-31 - [c44]María 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 - [e7]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 [contents] - 2016
- [c43]María Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor:
Mutation Operators for UML Class Diagrams. CAiSE 2016: 325-341 - [c42]Urko Rueda, Anna Esparcia-Alcázar, Tanja E. J. Vos:
Visualization of automated test results obtained by the TESTAR tool. CIbSE 2016: 53-66 - [c41]Urko Rueda, René Just, Juan P. Galeotti, Tanja E. J. Vos:
Unit testing tool competition: round four. SBST@ICSE 2016: 19-28 - [c40]María Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor:
A Model-level Mutation Tool to Support the Assessment of the Test Case Quality. ISD 2016 - [c39]Mireilla Martínez, Anna Esparcia-Alcázar, Urko Rueda, Tanja E. J. Vos, Carlos Ortega:
Automated Localisation Testing in Industry with Test ^* ∗. ICTSS 2016: 241-248 - [c38]Tanja E. J. Vos, Anna Esparcia-Alcázar:
Software Testing Innovation Alliance - the SHIP project -. STAF Doctoral Symposium / Showcase 2016: 65-71 - [e6]Pekka Aho, Tanja E. J. Vos:
Proceedings of the 2nd International Workshop on User Interface Test Automation, INTUITEST@ISSTA 2016, Saarbrücken, Germany, July 21, 2016. ACM 2016, ISBN 978-1-4503-4412-8 [contents] - [e5]Tanja E. J. Vos, Sigrid Eldh, Wishnu Prasetya:
Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016. ACM 2016, ISBN 978-1-4503-4401-2 [contents] - 2015
- [j8]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. Int. J. Inf. Syst. Model. Des. 6(3): 46-83 (2015) - [c37]Urko Rueda, Tanja E. J. Vos, I. S. W. B. Prasetya:
Unit Testing Tool Competition - Round Three. SBST@ICSE 2015: 19-24 - [c36]María 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 - [c35]Alexander Elyasov, Wishnu 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 - [e4]Tanja E. J. Vos, Sigrid Eldh, Wishnu Prasetya:
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation, A-TEST 2015, Bergamo, Italy, August 30-31, 2015. ACM 2015, ISBN 978-1-4503-3813-4 [contents] - 2014
- [c34]Onn Shehory, Daniel Citron, Peter M. Kruse, Nelly Condori-Fernández, Tanja E. J. Vos, Bilha Mendelson:
Assessing the Applicability of a Combinatorial Testing tool within an Industrial Environment. CIbSE 2014: 405-418 - [c33]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 - [c32]Sebastian Bauersfeld, Tanja E. J. Vos, Nelly Condori-Fernández, Alessandra Bagnato, Etienne Brosse:
Evaluating the TESTAR tool in an industrial case study. ESEM 2014: 4:1-4:9 - [c31]Nelly Condori-Fernández, Peter M. Kruse, Tanja E. J. Vos, Etienne Brosse, Alessandra Bagnato:
Combinatorial Testing in an Industrial Environment - Analyzing the Applicability of a Tool. QUATIC 2014: 210-215 - [c30]Sebastian Bauersfeld, Antonio de Rojas, Tanja E. J. Vos:
Evaluating rogue user testing in industry: An experience report. RCIS 2014: 1-10 - [c29]María Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor:
Towards the automated generation of abstract test cases from requirements models. RET 2014: 39-46 - [c28]Sebastian Bauersfeld, Tanja E. J. Vos:
User Interface Level Testing with TESTAR; What about More Sophisticated Action Specification and Selection? SATToSE 2014: 60-78 - [e3]Tanja E. J. Vos, Kiran Lakhotia, Sebastian Bauersfeld:
Future Internet Testing - First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8432, Springer 2014, ISBN 978-3-319-07784-0 [contents] - 2013
- [j7]Nelly Condori-Fernández, José Ignacio Panach, Arthur Iwan Baars, Tanja E. J. Vos, Oscar Pastor:
An empirical approach for evaluating the usability of model-driven tools. Sci. Comput. Program. 78(11): 2245-2258 (2013) - [j6]Tanja E. J. Vos, Felix F. Lindlar, Benjamin Wilmes, Andreas Windisch, Arthur I. Baars, Peter M. Kruse, Hamilton Gross, Joachim Wegener:
Evolutionary functional black-box testing in an industrial setting. Softw. Qual. J. 21(2): 259-288 (2013) - [j5]Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos, Alain Abran:
Using a functional size measurement procedure to evaluate the quality of models in MDD environments. ACM Trans. Softw. Eng. Methodol. 22(3): 26:1-26:31 (2013) - [c27]Nelly Condori-Fernández, Tanja E. J. Vos:
Successful Empirical Research in Software Testing With Industry. CAiSE Industrial Track 2013: 43-45 - [c26]Alessandra Bagnato, Andrey Sadovykh, Etienne Brosse, Tanja E. J. Vos:
The OMG UML Testing Profile in Use-An Industrial Case Study for the Future Internet Testing. CSMR 2013: 457-460 - [c25]Peter M. Kruse, Nelly Condori-Fernández, Tanja E. J. Vos, Alessandra Bagnato, Etienne Brosse:
Combinatorial Testing Tool Learnability in an Industrial Environment. ESEM 2013: 304-312 - [c24]Cu D. Nguyen, Bilha Mendelson, Daniel Citron, Onn Shehory, Tanja E. J. Vos, Nelly Condori-Fernández:
Evaluating the FITTEST Automated Testing Tools: An Industrial Case Study. ESEM 2013: 332-339 - [c23]Simon M. Poulding, Tanja E. J. Vos:
Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop Summary. ICST Workshops 2013: 404-405 - [c22]Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding, Nelly Condori-Fernández:
Unit Testing Tool Competition. ICST Workshops 2013: 414-420 - [c21]Elisa Puoskari, Tanja E. J. Vos, Nelly Condori-Fernández, Peter M. Kruse:
Evaluating applicability of combinatorial testing in an industrial environment: a case study. JAMAICA@ISSTA 2013: 7-12 - [c20]Tanja E. J. Vos, Paolo Tonella, I. S. Wishnu B. Prasetya, Peter M. Kruse, Onn Shehory, Alessandra Bagnato, Mark Harman:
The FITTEST Tool Suite for Testing Future Internet Applications. FITTEST@ICTSS 2013: 1-31 - [c19]Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia:
Unit Testing Tool Competitions - Lessons Learned. FITTEST@ICTSS 2013: 75-94 - [e2]Armin Biere, Amir Nahir, Tanja E. J. Vos:
Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7857, Springer 2013, ISBN 978-3-642-39610-6 [contents] - 2012
- [j4]Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Andreas Windisch, Benjamin Wilmes, Hamilton Gross, Peter M. Kruse, Joachim Wegener:
Industrial Case Studies for Evaluating Search Based Structural Testing. Int. J. Softw. Eng. Knowl. Eng. 22(8): 1123- (2012) - [c18]Sebastian Bauersfeld, Tanja E. J. Vos:
GUITest: a Java library for fully automated GUI robustness testing. ASE 2012: 330-333 - [c17]Tanja E. J. Vos, Beatriz Marín, María José Escalona, Alessandro Marchetto:
A Methodological Framework for Evaluating Software Testing Techniques and Tools. QSIC 2012: 230-239 - 2011
- [j3]José Ignacio Panach, Nelly Condori-Fernández, Tanja E. J. Vos, Nathalie Aquino, Francisco Valverde:
Early Usability Measurement in Model-Driven Development: Definition and Empirical Evaluation. Int. J. Softw. Eng. Knowl. Eng. 21(3): 339-365 (2011) - [c16]Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder:
Future Internet Testing with FITTEST. CSMR 2011: 355-358 - [c15]Arthur I. Baars, Kiran Lakhotia, Tanja E. J. Vos, Joachim Wegener:
Search-Based Testing, the Underlying Engine of Future Internet Testing. FedCSIS 2011: 917-923 - [c14]Alessandra Bagnato, Anna Esparcia-Alcázar, Tanja E. J. Vos, Beatriz Marín, José Oliver Murillo, Salvador I. Folgado, Auxiliadora Carlos Alberola:
Testing and Remote Maintenance of Real Future Internet Scenarios, Towards FITTEST and FastFix Advanced Software Engineering. FedCSIS 2011: 925-932 - [c13]José Ignacio Panach, Nelly Condori-Fernández, Arthur I. Baars, Tanja E. J. Vos, Ignacio Romeu, Oscar Pastor:
Towards an Experimental Framework for Measuring Usability of Model-Driven Tools. INTERACT (4) 2011: 640-643 - [c12]Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos:
Symbolic search-based testing. ASE 2011: 53-62 - [c11]Beatriz Marín, Tanja E. J. Vos, Giovanni Giachetti, Arthur I. Baars, Paolo Tonella:
Towards testing future Web applications. RCIS 2011: 1-12 - 2010
- [c10]Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos, Alain Abran:
Evaluating the usefulness of a functional size measurement procedure to detect defects in MDD models. ESEM 2010 - [c9]Arthur I. Baars, Tanja E. J. Vos, Dimitar M. Dimitrov:
Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce Faults. ICST Workshops 2010: 173-181 - [c8]Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Peter M. Kruse, Andreas Windisch, Joachim Wegener:
Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool. ICST 2010: 175-184 - [c7]Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos:
A Tool for Automatic Defect Detection in Models Used in Model-Driven Engineering. QUATIC 2010: 242-247 - [i4]Tanja E. J. Vos:
Continuous Evolutionary Automated Testing for the Future Internet. ERCIM News 2010(82): 50-51 (2010)
2000 – 2009
- 2009
- [c6]Hamilton Gross, Peter M. Kruse, Joachim Wegener, Tanja E. J. Vos:
Evolutionary White-Box Software Test with the EvoTest Framework: A Progress Report. ICST Workshops 2009: 111-120 - [i3]Tanja E. J. Vos:
Evolutionary Testing for Complex Systems. ERCIM News 2009(78) (2009) - 2008
- [c5]Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars:
Trace-based Reflexive Testing of OO Programs with T2. ICST 2008: 151-160 - [e1]Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener:
Evolutionary Test Generation, 24.08. - 29.08.2008. Dagstuhl Seminar Proceedings 08351, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i2]Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener:
08351 Abstracts Collection - Evolutionary Test Generation. Evolutionary Test Generation 2008 - [i1]Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener:
08351 Summary - Evolutionary Test Generation. Evolutionary Test Generation 2008 - 2006
- [j2]Ignatius Sri Wishnu Brata Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen:
Incremental Implementation of Syntax Driven Logics. J. Softw. 1(3): 1-13 (2006) - [c4]I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra:
Web Cube. FORTE 2006: 77-92 - 2005
- [j1]Tanja E. J. Vos, S. Doaitse Swierstra:
Facilitating the Verification of Diffusing Computations and Their Applications. CLEI Electron. J. 8(1) (2005) - [c3]I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen:
Building Verification Condition Generators by Compositional Extensions. SEFM 2005: 220-230 - 2004
- [c2]I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra:
A UNITY-Based Framework Towards Component Based Systems. OPODIS 2004: 52-66
1990 – 1999
- 1997
- [c1]Tanja E. J. Vos, S. Doaitse Swierstra:
Make your Enemies Transparent. WG 1997: 342-353
Coauthor Index
aka: I. S. Wishnu B. Prasetya
aka: Ignatius Sri Wishnu Brata Prasetya
aka: Wishnu Prasetya
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-04 20:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint