default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tanja E. J. Vos
@inproceedings{DBLP:conf/ast/HufkensRMV24,
author = {Lianne V. Hufkens and
Fernando Pastor Ric{\'{o}}s and
Beatriz Mar{\'{\i}}n and
Tanja E. J. Vos},
editor = {Francesca Lonetti and
Antonio Guerriero and
Mehrdad Saadatmand and
Christof J. Budnik and
Jenny Li},
title = {Grammar-Based Action Selection Rules for Scriptless Testing},
booktitle = {Proceedings of the 5th {ACM/IEEE} International Conference on Automation
of Software Test {(AST} 2024), Lisbon, Portugal, April 15-16, 2024},
pages = {56--65},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3644032.3644446},
doi = {10.1145/3644032.3644446},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/ast/HufkensRMV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/DoornVM24,
author = {Niels Doorn and
Tanja E. J. Vos and
Beatriz Mar{\'{\i}}n},
title = {Towards Understanding Students' Sensemaking of Test Case Design: {A}
One-Page Summary},
booktitle = {36th International Conference on Software Engineering Education and
Training, CSEE{\&}T 2024, W{\"{u}}rzburg, Germany, July 29
- Aug. 1, 2024},
pages = {1},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/CSEET62301.2024.10663026},
doi = {10.1109/CSEET62301.2024.10663026},
timestamp = {Sat, 21 Sep 2024 14:04:18 +0200},
biburl = {https://dblp.org/rec/conf/csee/DoornVM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/RicosMVDH24,
author = {Fernando Pastor Ric{\'{o}}s and
Beatriz Mar{\'{\i}}n and
Tanja E. J. Vos and
Joseph Davidson and
Karel Hovorka},
editor = {Hermann Kaindl and
Mike Mannion and
Leszek A. Maciaszek},
title = {Scriptless Testing for an Industrial 3D Sandbox Game},
booktitle = {Proceedings of the 19th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2024, Angers, France,
April 28-29, 2024},
pages = {51--62},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012599400003687},
doi = {10.5220/0012599400003687},
timestamp = {Sun, 04 Aug 2024 19:41:21 +0200},
biburl = {https://dblp.org/rec/conf/enase/RicosMVDH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TramontanaMPMVACSF24,
author = {Porfirio Tramontana and
Beatriz Mar{\'{\i}}n and
Ana C. R. Paiva and
Alexandra Mendes and
Tanja E. J. Vos and
Domenico Amalfitano and
Felix Cammaerts and
Monique Snoeck and
Anna Rita Fasolino},
title = {State of the Practice in Software Testing Teaching in Four European
Countries},
booktitle = {{IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2024, Toronto, ON, Canada, May 27-31, 2024},
pages = {59--69},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICST60714.2024.00015},
doi = {10.1109/ICST60714.2024.00015},
timestamp = {Thu, 05 Sep 2024 16:02:12 +0200},
biburl = {https://dblp.org/rec/conf/icst/TramontanaMPMVACSF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/ValdesVDMV24,
author = {Olivia Rodriguez Vald{\'{e}}s and
Kevin van der Vlist and
Robbert van Dalen and
Beatriz Mar{\'{\i}}n and
Tanja E. J. Vos},
editor = {Jo{\~{a}}o Ara{\'{u}}jo and
Jose Luis de la Vara and
Maribel Yasmina Santos and
Sa{\"{\i}}d Assar},
title = {Scriptless and Seamless: Leveraging Probabilistic Models for Enhanced
{GUI} Testing in Native Android Applications},
booktitle = {Research Challenges in Information Science - 18th International Conference,
{RCIS} 2024, Guimar{\~{a}}es, Portugal, May 14-17, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Business Information Processing},
volume = {514},
pages = {83--91},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-59468-7\_10},
doi = {10.1007/978-3-031-59468-7\_10},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/ValdesVDMV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/HufkensVM24,
author = {Lianne V. Hufkens and
Tanja E. J. Vos and
Beatriz Mar{\'{\i}}n},
editor = {Jo{\~{a}}o Ara{\'{u}}jo and
Jose Luis de la Vara and
Maribel Yasmina Santos and
Sa{\"{\i}}d Assar},
title = {Novelty-Driven Evolutionary Scriptless Testing},
booktitle = {Research Challenges in Information Science - 18th International Conference,
{RCIS} 2024, Guimar{\~{a}}es, Portugal, May 14-17, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Business Information Processing},
volume = {514},
pages = {100--108},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-59468-7\_12},
doi = {10.1007/978-3-031-59468-7\_12},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/HufkensVM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/RicosMPVDH24,
author = {Fernando Pastor Ric{\'{o}}s and
Beatriz Mar{\'{\i}}n and
I. S. W. B. Prasetya and
Tanja E. J. Vos and
Joseph Davidson and
Karel Hovorka},
editor = {Jo{\~{a}}o Ara{\'{u}}jo and
Jose Luis de la Vara and
Maribel Yasmina Santos and
Sa{\"{\i}}d Assar},
title = {An Industrial Experience Leveraging the iv4XR Framework for {BDD}
Testing of a 3D Sandbox Game},
booktitle = {Research Challenges in Information Science - 18th International Conference,
{RCIS} 2024, Guimar{\~{a}}es, Portugal, May 14-17, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Business Information Processing},
volume = {513},
pages = {393--409},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-59465-6\_24},
doi = {10.1007/978-3-031-59465-6\_24},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/RicosMPVDH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/DoornVM23,
author = {Niels Doorn and
Tanja E. J. Vos and
Beatriz Mar{\'{\i}}n},
title = {Towards understanding students' sensemaking of test case design},
journal = {Data Knowl. Eng.},
volume = {146},
pages = {102199},
year = {2023},
url = {https://doi.org/10.1016/j.datak.2023.102199},
doi = {10.1016/J.DATAK.2023.102199},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/DoornVM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BonsMAV23,
author = {Axel Bons and
Beatriz Mar{\'{\i}}n and
Pekka Aho and
Tanja E. J. Vos},
title = {Scripted and scriptless {GUI} testing for web applications: An industrial
case},
journal = {Inf. Softw. Technol.},
volume = {158},
pages = {107172},
year = {2023},
url = {https://doi.org/10.1016/j.infsof.2023.107172},
doi = {10.1016/J.INFSOF.2023.107172},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/BonsMAV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/RicosSMAV23,
author = {Fernando Pastor Ric{\'{o}}s and
Arend Slomp and
Beatriz Mar{\'{\i}}n and
Pekka Aho and
Tanja E. J. Vos},
title = {Distributed state model inference for scriptless {GUI} testing},
journal = {J. Syst. Softw.},
volume = {200},
pages = {111645},
year = {2023},
url = {https://doi.org/10.1016/j.jss.2023.111645},
doi = {10.1016/J.JSS.2023.111645},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/RicosSMAV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MarinVSPF23,
author = {Beatriz Mar{\'{\i}}n and
Tanja E. J. Vos and
Monique Snoeck and
Ana C. R. Paiva and
Anna Rita Fasolino},
editor = {Jaime Font and
Lorena Arcega and
Jos{\'{e}} Fabi{\'{a}}n Reyes Rom{\'{a}}n and
Giovanni Giachetti},
title = {{ENACTEST} project - European Innovation Alliance for Testing Education},
booktitle = {Proceedings of the Research Projects Exhibition Papers Presented at
the 35th International Conference on Advanced Information Systems
Engineering (CAiSE 2023), Zaragoza, Spain, June 12-16, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3413},
pages = {91--96},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3413/paper13.pdf},
timestamp = {Thu, 16 Nov 2023 09:03:12 +0100},
biburl = {https://dblp.org/rec/conf/caise/MarinVSPF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DoornVMB23,
author = {Niels Doorn and
Tanja E. J. Vos and
Beatriz Mar{\'{\i}}n and
Erik Barendsen},
title = {Set the right example when teaching programming: Test Informed Learning
with Examples {(TILE)}},
booktitle = {{IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2023, Dublin, Ireland, April 16-20, 2023},
pages = {269--280},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICST57152.2023.00033},
doi = {10.1109/ICST57152.2023.00033},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/DoornVMB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/ValdesVMA23,
author = {Olivia Rodriguez Vald{\'{e}}s and
Tanja E. J. Vos and
Beatriz Mar{\'{\i}}n and
Pekka Aho},
editor = {Selmin Nurcan and
Andreas L. Opdahl and
Haralambos Mouratidis and
Aggeliki Tsohou},
title = {Reinforcement Learning for Scriptless Testing: An Empirical Investigation
of Reward Functions},
booktitle = {Research Challenges in Information Science: Information Science and
the Connected World - 17th International Conference, {RCIS} 2023,
Corfu, Greece, May 23-26, 2023, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {476},
pages = {136--153},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33080-3\_9},
doi = {10.1007/978-3-031-33080-3\_9},
timestamp = {Thu, 25 May 2023 17:46:38 +0200},
biburl = {https://dblp.org/rec/conf/rcis/ValdesVMA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/DoornVMBDB23,
author = {Niels Doorn and
Tanja E. J. Vos and
Beatriz Mar{\'{\i}}n and
Christoph Bockisch and
Steffen Dick and
Erik Barendsen},
editor = {Selmin Nurcan and
Andreas L. Opdahl and
Haralambos Mouratidis and
Aggeliki Tsohou},
title = {Domain TILEs: Test Informed Learning with Examples from the Testing
Domain},
booktitle = {Research Challenges in Information Science: Information Science and
the Connected World - 17th International Conference, {RCIS} 2023,
Corfu, Greece, May 23-26, 2023, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {476},
pages = {501--508},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33080-3\_31},
doi = {10.1007/978-3-031-33080-3\_31},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/DoornVMBDB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/RicosNMVA23,
author = {Fernando Pastor Ric{\'{o}}s and
Rick Neeft and
Beatriz Mar{\'{\i}}n and
Tanja E. J. Vos and
Pekka Aho},
editor = {Selmin Nurcan and
Andreas L. Opdahl and
Haralambos Mouratidis and
Aggeliki Tsohou},
title = {Using {GUI} Change Detection for Delta Testing},
booktitle = {Research Challenges in Information Science: Information Science and
the Connected World - 17th International Conference, {RCIS} 2023,
Corfu, Greece, May 23-26, 2023, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {476},
pages = {509--517},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33080-3\_32},
doi = {10.1007/978-3-031-33080-3\_32},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/RicosNMVA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/JansenRLVDAV22,
author = {Thorn Jansen and
Fernando Pastor Ric{\'{o}}s and
Yaping Luo and
Kevin van der Vlist and
Robbert van Dalen and
Pekka Aho and
Tanja E. J. Vos},
title = {Scriptless {GUI} Testing on Mobile Applications},
booktitle = {22nd {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2022, Guangzhou, China, December 5-9, 2022},
pages = {1103--1112},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/QRS57517.2022.00113},
doi = {10.1109/QRS57517.2022.00113},
timestamp = {Tue, 28 Mar 2023 19:49:47 +0200},
biburl = {https://dblp.org/rec/conf/qrs/JansenRLVDAV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/AhoVSPOVH22,
author = {Pekka Aho and
Tanja E. J. Vos and
Otto Sybrandi and
Sorin Patrasoiu and
Joona Oikarinen and
Olivia Rodriguez Valdes and
Lianne V. Hufkens},
editor = {Jo{\~{a}}o Ara{\'{u}}jo and
Jose Luis de la Vara and
Isabel Sofia Brito and
Nelly Condori{-}Fern{\'{a}}ndez and
Leticia Duboc and
Giovanni Giachetti and
Beatriz Mar{\'{\i}}n and
Estefan{\'{\i}}a Serral and
Alessandra Bagnato and
Lidia L{\'{o}}pez},
title = {{IVVES} (Industrial-Grade Verification and Validation of Evolving
Systems)},
booktitle = {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), Barcelona, Spain, May 17-20,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3144},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3144/RP-paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:16 +0100},
biburl = {https://dblp.org/rec/conf/rcis/AhoVSPOVH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/MarinVPFS22,
author = {Beatriz Mar{\'{\i}}n and
Tanja E. J. Vos and
Ana C. R. Paiva and
Anna Rita Fasolino and
Monique Snoeck},
editor = {Jo{\~{a}}o Ara{\'{u}}jo and
Jose Luis de la Vara and
Isabel Sofia Brito and
Nelly Condori{-}Fern{\'{a}}ndez and
Leticia Duboc and
Giovanni Giachetti and
Beatriz Mar{\'{\i}}n and
Estefan{\'{\i}}a Serral and
Alessandra Bagnato and
Lidia L{\'{o}}pez},
title = {{ENACTEST} - European Innovation Alliance for Testing Education},
booktitle = {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), Barcelona, Spain, May 17-20,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3144},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3144/RP-paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcis/MarinVPFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/MuldersVRAMV22,
author = {Ad Mulders and
Olivia Rodriguez Valdes and
Fernando Pastor Ric{\'{o}}s and
Pekka Aho and
Beatriz Mar{\'{\i}}n and
Tanja E. J. Vos},
editor = {Renata S. S. Guizzardi and
Jolita Ralyt{\'{e}} and
Xavier Franch},
title = {State Model Inference Through the {GUI} Using Run-Time Test Generation},
booktitle = {Research Challenges in Information Science - 16th International Conference,
{RCIS} 2022, Barcelona, Spain, May 17-20, 2022, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {446},
pages = {546--563},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05760-1\_32},
doi = {10.1007/978-3-031-05760-1\_32},
timestamp = {Mon, 16 May 2022 13:37:10 +0200},
biburl = {https://dblp.org/rec/conf/rcis/MuldersVRAMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PrasetyaRKPSVPH22,
author = {I. S. W. B. Prasetya and
Fernando Pastor Ric{\'{o}}s and
Fitsum Meshesha Kifetew and
Davide Prandi and
Samira Shirzadehhajimahmood and
Tanja E. J. Vos and
Premysl Paska and
Karel Hovorka and
Raihana Ferdous and
Angelo Susi and
Joseph Davidson},
editor = {{\'{A}}kos Kiss and
Beatriz Mar{\'{\i}}n and
Mehrdad Saadatmand},
title = {An agent-based approach to automated game testing: an experience report},
booktitle = {Proceedings of the 13th International Workshop on Automating Test
Case Design, Selection and Evaluation, {A-TEST} 2022, Singapore, Singapore,
November 17-18, 2022},
pages = {1--8},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3548659.3561305},
doi = {10.1145/3548659.3561305},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/PrasetyaRKPSVPH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-06386,
author = {I. S. W. B. Prasetya and
Fernando Pastor Ric{\'{o}}s and
Fitsum Meshesha Kifetew and
Davide Prandi and
Samira Shirzadehhajimahmood and
Tanja E. J. Vos and
Premysl Paska and
Karel Hovorka and
Raihana Ferdous and
Angelo Susi and
Joseph Davidson},
title = {An Agent-based Approach to Automated Game Testing: an Experience Report},
journal = {CoRR},
volume = {abs/2211.06386},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.06386},
doi = {10.48550/ARXIV.2211.06386},
eprinttype = {arXiv},
eprint = {2211.06386},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-06386.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/VosARVM21,
author = {Tanja E. J. Vos and
Pekka Aho and
Fernando Pastor Ric{\'{o}}s and
Olivia Rodriguez Valdes and
Ad Mulders},
title = {testar - scriptless testing through graphical user interface},
journal = {Softw. Test. Verification Reliab.},
volume = {31},
number = {3},
year = {2021},
url = {https://doi.org/10.1002/stvr.1771},
doi = {10.1002/STVR.1771},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/VosARVM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/VosDMMD21,
author = {Tanja E. J. Vos and
Niels Doorn and
Beatriz Mar{\'{\i}}n},
title = {Test Informed Learning with Examples},
booktitle = {{CSERC} '21: The 10th Computer Science Education Research Conference,
Virtual Event, The Netherlands, November 22 - 23, 2021},
pages = {1--2},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3507923.3507924},
doi = {10.1145/3507923.3507924},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cserc/VosDMMD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/PassierHKKBSSV21,
author = {Harrie Passier and
Cornelis Huizing and
Arjan J. F. Kok and
Ruurd Kuiper and
Lex Bijlsma and
Erik Scheffers and
Stefano Schivo and
Tanja E. J. Vos},
title = {A Structured (Java) Exercise Repository with Automated Feedback {(SERF)}},
booktitle = {{CSERC} '21: The 10th Computer Science Education Research Conference,
Virtual Event, The Netherlands, November 22 - 23, 2021},
pages = {68--69},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3507923.3507942},
doi = {10.1145/3507923.3507942},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cserc/PassierHKKBSSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/DoornVMPBC21,
author = {Niels Doorn and
Tanja E. J. Vos and
Beatriz Mar{\'{\i}}n and
Harrie Passier and
Lex Bijlsma and
Silvio Cacace},
title = {Exploring students' sensemaking of test case design. An initial study},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021 - Companion, Hainan, China, December 6-10,
2021},
pages = {1069--1078},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS-C55045.2021.00161},
doi = {10.1109/QRS-C55045.2021.00161},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/DoornVMPBC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/ValdesVAM21,
author = {Olivia Rodriguez Vald{\'{e}}s and
Tanja E. J. Vos and
Pekka Aho and
Beatriz Mar{\'{\i}}n},
editor = {Ana C. R. Paiva and
Ana Rosa Cavalli and
Paula Ventura Martins and
Ricardo P{\'{e}}rez{-}Castillo},
title = {30 Years of Automated {GUI} Testing: {A} Bibliometric Analysis},
booktitle = {Quality of Information and Communications Technology - 14th International
Conference, {QUATIC} 2021, Algarve, Portugal, September 8-11, 2021,
Proceedings},
series = {Communications in Computer and Information Science},
volume = {1439},
pages = {473--488},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85347-1\_34},
doi = {10.1007/978-3-030-85347-1\_34},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/quatic/ValdesVAM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/VosPEGPA20,
author = {Tanja E. J. Vos and
I. S. W. B. Prasetya and
Sigrid Eldh and
Sinem Getir and
Ali Parsai and
Pekka Aho},
title = {Automating {TEST} Case Design, Selection and Evaluation Report on
10 Editions of A-TESTWorkshop},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {1},
pages = {21--24},
year = {2020},
url = {https://doi.org/10.1145/3375572.3375578},
doi = {10.1145/3375572.3375578},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/VosPEGPA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/Vos0MPSP20,
author = {Tanja E. J. Vos and
Gordon Fraser and
Iv{\'{a}}n Mart{\'{\i}}nez{-}Ortiz and
Rui Prada and
Ant{\'{o}}nio Rito Silva and
I. S. W. B. Prasetya},
editor = {Marian Daun and
Elke Hochm{\"{u}}ller and
Stephan Krusche and
Bernd Br{\"{u}}gge and
Bastian Tenbergen},
title = {Tutorial on a Gamification Toolset for Improving Engagement of Students
in Software Engineering Courses},
booktitle = {32nd {IEEE} Conference on Software Engineering Education and Training,
CSEE{\&}T 2020, Virtual Conference, Germany, November 9-12, 2020},
pages = {1--3},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CSEET49119.2020.9206212},
doi = {10.1109/CSEET49119.2020.9206212},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csee/Vos0MPSP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/PrasetyaDPVDK20,
author = {I. S. W. B. Prasetya and
Mehdi Dastani and
Rui Prada and
Tanja E. J. Vos and
Frank Dignum and
Fitsum Meshesha Kifetew},
editor = {Cristina Baroglio and
Jomi Fred H{\"{u}}bner and
Michael Winikoff},
title = {Aplib: Tactical Agents for Testing Computer Games},
booktitle = {Engineering Multi-Agent Systems - 8th International Workshop, {EMAS}
2020, Auckland, New Zealand, May 8-9, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12589},
pages = {21--41},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-66534-0\_2},
doi = {10.1007/978-3-030-66534-0\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emas/PrasetyaDPVDK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PradaPKDVLDKDF20,
author = {Rui Prada and
I. S. W. B. Prasetya and
Fitsum Meshesha Kifetew and
Frank Dignum and
Tanja E. J. Vos and
Jason Lander and
Jean{-}Yves Donnart and
Alexandre Kazmierowski and
Joseph Davidson and
Pedro M. Fernandes},
title = {Agent-based Testing of Extended Reality Systems},
booktitle = {13th {IEEE} International Conference on Software Testing, Validation
and Verification, {ICST} 2020, Porto, Portugal, October 24-28, 2020},
pages = {414--417},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICST46399.2020.00051},
doi = {10.1109/ICST46399.2020.00051},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/PradaPKDVLDKDF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RicosAVBBM20,
author = {Fernando Pastor Ric{\'{o}}s and
Pekka Aho and
Tanja E. J. Vos and
Ismael Torres Boigues and
Ernesto Cal{\'{a}}s Blasco and
H{\'{e}}ctor Mart{\'{\i}}nez Mart{\'{\i}}nez},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Deploying {TESTAR} to Enable Remote Testing in an Industrial {CI}
Pipeline: {A} Case-Based Evaluation},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {543--557},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_31},
doi = {10.1007/978-3-030-61362-4\_31},
timestamp = {Thu, 29 Oct 2020 15:56:14 +0100},
biburl = {https://dblp.org/rec/conf/isola/RicosAVBBM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/ChahimDVAC20,
author = {Hatim Chahim and
Mehmet Duran and
Tanja E. J. Vos and
Pekka Aho and
Nelly Condori{-}Fern{\'{a}}ndez},
editor = {Fabiano Dalpiaz and
Jelena Zdravkovic and
Pericles Loucopoulos},
title = {Scriptless Testing at the {GUI} Level in an Industrial Setting},
booktitle = {Research Challenges in Information Science - 14th International Conference,
{RCIS} 2020, Limassol, Cyprus, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {385},
pages = {267--284},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50316-1\_16},
doi = {10.1007/978-3-030-50316-1\_16},
timestamp = {Mon, 29 Jun 2020 14:24:35 +0200},
biburl = {https://dblp.org/rec/conf/rcis/ChahimDVAC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/VosPFMPPRS19,
author = {Tanja E. J. Vos and
I. S. W. B. Prasetya and
Gordon Fraser and
Iv{\'{a}}n Mart{\'{\i}}nez{-}Ortiz and
Iv{\'{a}}n J. P{\'{e}}rez{-}Colado and
Rui Prada and
Jos{\'{e}} Bernardo Rocha and
Ant{\'{o}}nio Rito Silva},
editor = {Xavier Franch and
Tomi M{\"{a}}nnist{\"{o}} and
Silverio Mart{\'{\i}}nez{-}Fern{\'{a}}ndez},
title = {{IMPRESS:} Improving Engagement in Software Engineering Courses Through
Gamification},
booktitle = {Product-Focused Software Process Improvement - 20th International
Conference, {PROFES} 2019, Barcelona, Spain, November 27-29, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11915},
pages = {613--619},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35333-9\_47},
doi = {10.1007/978-3-030-35333-9\_47},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/profes/VosPFMPPRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/GierKGV19,
author = {Floren de Gier and
Davy Kager and
Stijn de Gouw and
Tanja E. J. Vos},
editor = {Manuel Kolp and
Jean Vanderdonckt and
Monique Snoeck and
Yves Wautelet},
title = {Offline Oracles for Accessibility Evaluation with the {TESTAR} Tool},
booktitle = {13th International Conference on Research Challenges in Information
Science, {RCIS} 2019, Brussels, Belgium, May 29-31, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RCIS.2019.8877081},
doi = {10.1109/RCIS.2019.8877081},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcis/GierKGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2019atest,
editor = {Tanja E. J. Vos and
Wishnu Prasetya and
Sinem Getir},
title = {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},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340433},
doi = {10.1145/3340433},
isbn = {978-1-4503-6850-6},
timestamp = {Tue, 27 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/2019atest.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-06850,
author = {Tanja E. J. Vos and
I. S. W. B. Prasetya and
Gordon Fraser and
Iv{\'{a}}n Mart{\'{\i}}nez{-}Ortiz and
Iv{\'{a}}n J. P{\'{e}}rez{-}Colado and
Rui Prada and
Jos{\'{e}} Bernardo Rocha and
Ant{\'{o}}nio Rito Silva},
title = {{IMPRESS:} Improving Engagement in Software Engineering Courses through
Gamification},
journal = {CoRR},
volume = {abs/1912.06850},
year = {2019},
url = {http://arxiv.org/abs/1912.06850},
eprinttype = {arXiv},
eprint = {1912.06850},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-06850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/memetic/Esparcia-Alcazar18,
author = {Anna Isabel Esparcia{-}Alc{\'{a}}zar and
Francisco Almenar and
Tanja E. J. Vos and
Urko Rueda},
title = {Using genetic programming to evolve action selection rules in traversal-based
automated software testing: results obtained with the {TESTAR} tool},
journal = {Memetic Comput.},
volume = {10},
number = {3},
pages = {257--265},
year = {2018},
url = {https://doi.org/10.1007/s12293-018-0263-8},
doi = {10.1007/S12293-018-0263-8},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/memetic/Esparcia-Alcazar18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Condori-Fernandez18a,
author = {Nelly Condori{-}Fern{\'{a}}ndez and
Mar{\'{\i}}a Fernanda Granda and
Tanja E. J. Vos},
editor = {Michael Unterkalmsteiner and
Gregory Gay and
Tingting Yu},
title = {Towards a functional requirements prioritization with early mutation
testing},
booktitle = {Proceedings of the 5th International Workshop on Requirements Engineering
and Testing, RET@ICSE 2018, Gothenburg, Sweden, June 2, 2018},
pages = {21--24},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3195538.3195539},
doi = {10.1145/3195538.3195539},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Condori-Fernandez18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AhoV18,
author = {Pekka Aho and
Tanja E. J. Vos},
title = {Challenges in Automated Testing Through Graphical User Interface},
booktitle = {2018 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops, V{\"{a}}ster{\aa}s,
Sweden, April 9-13, 2018},
pages = {118--121},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ICSTW.2018.00038},
doi = {10.1109/ICSTW.2018.00038},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AhoV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MartinezEVAC18,
author = {Mirella Mart{\'{\i}}nez and
Anna Isabel Esparcia{-}Alc{\'{a}}zar and
Tanja E. J. Vos and
Pekka Aho and
Joan Fons i Cors},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Automated Testing of the Internet of Things: Results Obtained
with the {TESTAR} Tool},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {375--385},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_25},
doi = {10.1007/978-3-030-03424-5\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/MartinezEVAC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2018atest,
editor = {Wishnu Prasetya and
Tanja E. J. Vos and
Sinem Getir},
title = {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},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3278186},
doi = {10.1145/3278186},
isbn = {978-1-4503-6053-1},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2018atest.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ease/GrandaCVP17,
author = {Mar{\'{\i}}a Fernanda Granda and
Nelly Condori{-}Fern{\'{a}}ndez and
Tanja E. J. Vos and
Oscar Pastor},
editor = {Emilia Mendes and
Steve Counsell and
Kai Petersen},
title = {Effectiveness Assessment of an Early Testing Technique using Model-Level
Mutants},
booktitle = {Proceedings of the 21st International Conference on Evaluation and
Assessment in Software Engineering, {EASE} 2017, Karlskrona, Sweden,
June 15-16, 2017},
pages = {98--107},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3084226.3084257},
doi = {10.1145/3084226.3084257},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ease/GrandaCVP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/GrandaCV17,
author = {Mar{\'{\i}}a Fernanda Granda and
Nelly Condori{-}Fern{\'{a}}ndez and
Tanja E. J. Vos},
editor = {Cristina Cabanillas and
Sergio Espa{\~{n}}a and
Siamak Farshidi},
title = {Using {ALF} within the CoSTest process for Validation of UML-based
Conceptual Schemas},
booktitle = {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, - November 6-9, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1979},
pages = {257--270},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1979/paper-10.pdf},
timestamp = {Thu, 04 Jul 2024 21:53:07 +0200},
biburl = {https://dblp.org/rec/conf/er/GrandaCV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/Esparcia-Alcazar17,
author = {Anna Isabel Esparcia{-}Alc{\'{a}}zar and
Francisco Almenar and
Urko Rueda and
Tanja E. J. Vos},
editor = {Giovanni Squillero and
Kevin Sim},
title = {Evolving Rules for Action Selection in Automated Testing via Genetic
Programming - {A} First Approach},
booktitle = {Applications of Evolutionary Computation - 20th European Conference,
EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10200},
pages = {82--95},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-55792-2\_6},
doi = {10.1007/978-3-319-55792-2\_6},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/evoW/Esparcia-Alcazar17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VosA17,
author = {Tanja E. J. Vos and
Pekka Aho},
title = {Searching for the Best Test},
booktitle = {10th {IEEE/ACM} International Workshop on Search-Based Software Testing,
SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017},
pages = {3--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SBST.2017.11},
doi = {10.1109/SBST.2017.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/VosA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AlegrothMVA17,
author = {Emil Al{\'{e}}groth and
Shinsuke Matsuki and
Tanja E. J. Vos and
Kinji Akemine},
title = {Overview of the {ICST} International Software Testing Contest},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {550--551},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.67},
doi = {10.1109/ICST.2017.67},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/AlegrothMVA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BeierleKV17,
author = {Nico Beierle and
Peter M. Kruse and
Tanja E. J. Vos},
title = {GUI-Profiling for Performance and Coverage Analysis},
booktitle = {2017 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
pages = {28--31},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSREW.2017.78},
doi = {10.1109/ISSREW.2017.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BeierleKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/GrandaCVP17,
author = {Mar{\'{\i}}a Fernanda Granda and
Nelly Condori{-}Fern{\'{a}}ndez and
Tanja E. J. Vos and
Oscar Pastor},
editor = {Ana Moreira and
Jo{\~{a}}o Ara{\'{u}}jo and
Jane Hayes and
Barbara Paech},
title = {CoSTest: {A} Tool for Validation of Requirements at Model Level},
booktitle = {25th {IEEE} International Requirements Engineering Conference, {RE}
2017, Lisbon, Portugal, September 4-8, 2017},
pages = {464--467},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RE.2017.69},
doi = {10.1109/RE.2017.69},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/GrandaCVP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2017atest,
editor = {Tanja E. J. Vos and
Sigrid Eldh and
Wishnu Prasetya},
title = {Proceedings of the 8th {ACM} {SIGSOFT} International Workshop on Automated
Software Testing, A-TEST@ESEC/SIGSOFT {FSE} 2017, Paderborn, Germany,
September 4-5, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3121245},
doi = {10.1145/3121245},
isbn = {978-1-4503-5155-3},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2017atest.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/GrandaCVP16,
author = {Mar{\'{\i}}a Fernanda Granda and
Nelly Condori{-}Fern{\'{a}}ndez and
Tanja E. J. Vos and
Oscar Pastor},
editor = {Selmin Nurcan and
Pnina Soffer and
Marko Bajec and
Johann Eder},
title = {Mutation Operators for {UML} Class Diagrams},
booktitle = {Advanced Information Systems Engineering - 28th International Conference,
CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9694},
pages = {325--341},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39696-5\_20},
doi = {10.1007/978-3-319-39696-5\_20},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/GrandaCVP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibse/RuedaEV16,
author = {Urko Rueda and
Anna Esparcia{-}Alc{\'{a}}zar and
Tanja E. J. Vos},
editor = {Efra{\'{\i}}n R. Fonseca C. and
Cecilia Hinojosa and
Juan Pablo Carvallo and
Gleison Santos and
Mart{\'{\i}}n Solari and
Marcos Kalinowski and
Tayana Conte and
Jos{\'{e}} Ignacio Panach and
Lidia L{\'{o}}pez and
Eduardo Kinder Almentero and
Omar S. G{\'{o}}mez and
Carlos Cares and
Sabrina Marczak},
title = {Visualization of automated test results obtained by the {TESTAR} tool},
booktitle = {Proceedings of {XIX} Ibero-American Conference on Software Engineering,
CIbSE 2016, Quito, Ecuador, April 27-29, 2016},
pages = {53--66},
publisher = {Universidad de las Fuerzas Armadas {ESPE}},
year = {2016},
timestamp = {Sat, 14 Sep 2019 14:06:05 +0200},
biburl = {https://dblp.org/rec/conf/cibse/RuedaEV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RuedaJGV16,
author = {Urko Rueda and
Ren{\'{e}} Just and
Juan P. Galeotti and
Tanja E. J. Vos},
title = {Unit testing tool competition: round four},
booktitle = {Proceedings of the 9th International Workshop on Search-Based Software
Testing, SBST@ICSE 2016, Austin, Texas, USA, May 14-22, 2016},
pages = {19--28},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897010.2897018},
doi = {10.1145/2897010.2897018},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RuedaJGV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isdevel/GrandaCVP16,
author = {Mar{\'{\i}}a Fernanda Granda and
Nelly Condori{-}Fern{\'{a}}ndez and
Tanja E. J. Vos and
Oscar Pastor},
editor = {Jerzy Goluchowski and
Malgorzata Pankowska and
Chris Barry and
Michael Lang and
Henry Linger and
Christoph Schneider},
title = {A Model-level Mutation Tool to Support the Assessment of the Test
Case Quality},
booktitle = {Information Systems Development: Complexity in Information Systems
Development - Proceedings of the 25th International Conference on
Information Systems Development, {ISD} 2016, Katowice, Poland, August
24-26, 2016},
publisher = {University of Economics in Katowice / Association for Information
Systems},
year = {2016},
url = {http://aisel.aisnet.org/isd2014/proceedings2016/ISDMethodologies/1},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isdevel/GrandaCVP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/MartinezERVO16,
author = {Mireilla Mart{\'{\i}}nez and
Anna Esparcia{-}Alc{\'{a}}zar and
Urko Rueda and
Tanja E. J. Vos and
Carlos Ortega},
editor = {Franz Wotawa and
Mihai Nica and
Natalia Kushik},
title = {Automated Localisation Testing in Industry with Test {\^{}}* {\({_\ast}\)}},
booktitle = {Testing Software and Systems - 28th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2016, Graz, Austria, October 17-19, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9976},
pages = {241--248},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47443-4\_17},
doi = {10.1007/978-3-319-47443-4\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/MartinezERVO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/VosE16,
author = {Tanja E. J. Vos and
Anna Esparcia{-}Alc{\'{a}}zar},
editor = {Catherine Dubois and
Francesco Parisi{-}Presicce and
Dimitris S. Kolovos and
Nicholas Matragkas},
title = {Software Testing Innovation Alliance - the {SHIP} project -},
booktitle = {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), Vienna, Austria, July
4-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1675},
pages = {65--71},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1675/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/VosE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2016intuitest,
editor = {Pekka Aho and
Tanja E. J. Vos},
title = {Proceedings of the 2nd International Workshop on User Interface Test
Automation, INTUITEST@ISSTA 2016, Saarbr{\"{u}}cken, Germany,
July 21, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2945404},
doi = {10.1145/2945404},
isbn = {978-1-4503-4412-8},
timestamp = {Mon, 27 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2016intuitest.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2016atest,
editor = {Tanja E. J. Vos and
Sigrid Eldh and
Wishnu Prasetya},
title = {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},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2994291},
doi = {10.1145/2994291},
isbn = {978-1-4503-4401-2},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2016atest.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijismd/VosKCBW15,
author = {Tanja E. J. Vos and
Peter M. Kruse and
Nelly Condori{-}Fern{\'{a}}ndez and
Sebastian Bauersfeld and
Joachim Wegener},
title = {{TESTAR:} Tool Support for Test Automation at the User Interface Level},
journal = {Int. J. Inf. Syst. Model. Des.},
volume = {6},
number = {3},
pages = {46--83},
year = {2015},
url = {https://doi.org/10.4018/IJISMD.2015070103},
doi = {10.4018/IJISMD.2015070103},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijismd/VosKCBW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RuedaVP15,
author = {Urko Rueda and
Tanja E. J. Vos and
I. S. W. B. Prasetya},
editor = {Gregory Gay and
Giuliano Antoniol},
title = {Unit Testing Tool Competition - Round Three},
booktitle = {8th {IEEE/ACM} International Workshop on Search-Based Software Testing,
{SBST} 2015, Florence, Italy, May 18-19, 2015},
pages = {19--24},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SBST.2015.12},
doi = {10.1109/SBST.2015.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RuedaVP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/GrandaCVP15,
author = {Mar{\'{\i}}a Fernanda Granda and
Nelly Condori{-}Fern{\'{a}}ndez and
Tanja E. J. Vos and
Oscar Pastor},
title = {What do we know about the defect types detected in conceptual models?},
booktitle = {9th {IEEE} International Conference on Research Challenges in Information
Science, {RCIS} 2015, Athens, Greece, May 13-15, 2015},
pages = {88--99},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/RCIS.2015.7128867},
doi = {10.1109/RCIS.2015.7128867},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/GrandaCVP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ElyasovPHRVC15,
author = {Alexander Elyasov and
Wishnu Prasetya and
Jurriaan Hage and
Urko Rueda and
Tanja E. J. Vos and
Nelly Condori{-}Fern{\'{a}}ndez},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {AB={\unicode{5626}}A: execution equivalence as a new type of testing
oracle},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1559--1566},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695877},
doi = {10.1145/2695664.2695877},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/ElyasovPHRVC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2015atest,
editor = {Tanja E. J. Vos and
Sigrid Eldh and
Wishnu Prasetya},
title = {Proceedings of the 6th International Workshop on Automating Test Case
Design, Selection and Evaluation, {A-TEST} 2015, Bergamo, Italy, August
30-31, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804322},
doi = {10.1145/2804322},
isbn = {978-1-4503-3813-4},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2015atest.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibse/ShehoryCKCVM14,
author = {Onn Shehory and
Daniel Citron and
Peter M. Kruse and
Nelly Condori{-}Fern{\'{a}}ndez and
Tanja E. J. Vos and
Bilha Mendelson},
editor = {Jaelson Castro and
Claudia P. Ayala and
Giovanni Giachetti and
M{\'{a}}rcia Lucena and
Carlos Cares and
Xavier Franch and
Monalessa Perini Barcellos and
Maria Lencastre and
Beatriz Mar{\'{\i}}n and
Ricardo Gacit{\'{u}}a},
title = {Assessing the Applicability of a Combinatorial Testing tool within
an Industrial Environment},
booktitle = {Proceedings of the {XVII} Iberoamerican Conference on Software Engineering,
CIbSE 2014, Pucon, Chile, April 23-25, 2014},
pages = {405--418},
publisher = {Curran Associates},
year = {2014},
timestamp = {Mon, 26 Sep 2022 12:22:10 +0200},
biburl = {https://dblp.org/rec/conf/cibse/ShehoryCKCVM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/VosTPKBHS14,
author = {Tanja E. J. Vos and
Paolo Tonella and
Wishnu Prasetya and
Peter M. Kruse and
Alessandra Bagnato and
Mark Harman and
Onn Shehory},
editor = {Serge Demeyer and
Dave W. Binkley and
Filippo Ricca},
title = {{FITTEST:} {A} new continuous and automated testing process for future
Internet applications},
booktitle = {2014 Software Evolution Week - {IEEE} Conference on Software Maintenance,
Reengineering, and Reverse Engineering, {CSMR-WCRE} 2014, Antwerp,
Belgium, February 3-6, 2014},
pages = {407--410},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CSMR-WCRE.2014.6747206},
doi = {10.1109/CSMR-WCRE.2014.6747206},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/VosTPKBHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/BauersfeldVCBB14,
author = {Sebastian Bauersfeld and
Tanja E. J. Vos and
Nelly Condori{-}Fern{\'{a}}ndez and
Alessandra Bagnato and
Etienne Brosse},
editor = {Maurizio Morisio and
Tore Dyb{\aa} and
Marco Torchiano},
title = {Evaluating the {TESTAR} tool in an industrial case study},
booktitle = {2014 {ACM-IEEE} International Symposium on Empirical Software Engineering
and Measurement, {ESEM} '14, Torino, Italy, September 18-19, 2014},
pages = {4:1--4:9},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2652524.2652588},
doi = {10.1145/2652524.2652588},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/BauersfeldVCBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/Condori-FernandezKVBB14,
author = {Nelly Condori{-}Fern{\'{a}}ndez and
Peter M. Kruse and
Tanja E. J. Vos and
Etienne Brosse and
Alessandra Bagnato},
title = {Combinatorial Testing in an Industrial Environment - Analyzing the
Applicability of a Tool},
booktitle = {9th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2014, Guimaraes, Portugal, September 23-26, 2014},
pages = {210--215},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/QUATIC.2014.36},
doi = {10.1109/QUATIC.2014.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/quatic/Condori-FernandezKVBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/BauersfeldRV14,
author = {Sebastian Bauersfeld and
Antonio de Rojas and
Tanja E. J. Vos},
editor = {Marko Bajec and
Martine Collard and
R{\'{e}}becca Deneck{\`{e}}re},
title = {Evaluating rogue user testing in industry: An experience report},
booktitle = {{IEEE} 8th International Conference on Research Challenges in Information
Science, {RCIS} 2014, Marrakech, Morocco, May 28-30, 2014},
pages = {1--10},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/RCIS.2014.6861051},
doi = {10.1109/RCIS.2014.6861051},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/rcis/BauersfeldRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/GrandaCVP14,
author = {Mar{\'{\i}}a Fernanda Granda and
Nelly Condori{-}Fern{\'{a}}ndez and
Tanja E. J. Vos and
Oscar Pastor},
editor = {Michael Felderer and
Elizabeth Bjarnason and
Matt Staats and
Mirko Morandini and
Markus Borg and
Michael Unterkalmsteiner},
title = {Towards the automated generation of abstract test cases from requirements
models},
booktitle = {1st {IEEE} International Workshop on Requirements Engineering and
Testing, {RET} 2014, Karlskrona, Sweden, August 26, 2014},
pages = {39--46},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/RET.2014.6908678},
doi = {10.1109/RET.2014.6908678},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/GrandaCVP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sattose/BauersfeldV14,
author = {Sebastian Bauersfeld and
Tanja E. J. Vos},
editor = {Davide Di Ruscio and
Vadim Zaytsev},
title = {User Interface Level Testing with TESTAR; What about More Sophisticated
Action Specification and Selection?},
booktitle = {Post-proceedings of the Seventh Seminar on Advanced Techniques and
Tools for Software Evolution, SATToSE 2014, L'Aquila, Italy, 9-11
July 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1354},
pages = {60--78},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1354/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/sattose/BauersfeldV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2013fittest,
editor = {Tanja E. J. Vos and
Kiran Lakhotia and
Sebastian Bauersfeld},
title = {Future Internet Testing - First International Workshop, {FITTEST}
2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8432},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07785-7},
doi = {10.1007/978-3-319-07785-7},
isbn = {978-3-319-07784-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/2013fittest.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Condori-FernandezPBVP13,
author = {Nelly Condori{-}Fern{\'{a}}ndez and
Jos{\'{e}} Ignacio Panach and
Arthur Iwan Baars and
Tanja E. J. Vos and
Oscar Pastor},
title = {An empirical approach for evaluating the usability of model-driven
tools},
journal = {Sci. Comput. Program.},
volume = {78},
number = {11},
pages = {2245--2258},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.07.017},
doi = {10.1016/J.SCICO.2012.07.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Condori-FernandezPBVP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/VosLWWBKGW13,
author = {Tanja E. J. Vos and
Felix F. Lindlar and
Benjamin Wilmes and
Andreas Windisch and
Arthur I. Baars and
Peter M. Kruse and
Hamilton Gross and
Joachim Wegener},
title = {Evolutionary functional black-box testing in an industrial setting},
journal = {Softw. Qual. J.},
volume = {21},
number = {2},
pages = {259--288},
year = {2013},
url = {https://doi.org/10.1007/s11219-012-9174-y},
doi = {10.1007/S11219-012-9174-Y},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/VosLWWBKGW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/MarinGPVA13,
author = {Beatriz Mar{\'{\i}}n and
Giovanni Giachetti and
Oscar Pastor and
Tanja E. J. Vos and
Alain Abran},
title = {Using a functional size measurement procedure to evaluate the quality
of models in {MDD} environments},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {22},
number = {3},
pages = {26:1--26:31},
year = {2013},
url = {https://doi.org/10.1145/2491509.2491520},
doi = {10.1145/2491509.2491520},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/MarinGPVA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/Condori-FernandezV13,
author = {Nelly Condori{-}Fern{\'{a}}ndez and
Tanja E. J. Vos},
editor = {Vicente Pelechano and
Gil Regev and
Yves Pigneur},
title = {Successful Empirical Research in Software Testing With Industry},
booktitle = {Proceedings of the Industrial Track of the Conference on Advanced
Information Systems Engineering 2013 (CAiSE'13), Val{\`{e}}ncia, Spain,
June 21, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1017},
pages = {43--45},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1017/Panel2CAiSE\_IT2013.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:35 +0100},
biburl = {https://dblp.org/rec/conf/caise/Condori-FernandezV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/BagnatoSBV13,
author = {Alessandra Bagnato and
Andrey Sadovykh and
Etienne Brosse and
Tanja E. J. Vos},
editor = {Anthony Cleve and
Filippo Ricca and
Maura Cerioli},
title = {The {OMG} {UML} Testing Profile in Use-An Industrial Case Study for
the Future Internet Testing},
booktitle = {17th European Conference on Software Maintenance and Reengineering,
{CSMR} 2013, Genova, Italy, March 5-8, 2013},
pages = {457--460},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSMR.2013.71},
doi = {10.1109/CSMR.2013.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/BagnatoSBV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/KruseCVBB13,
author = {Peter M. Kruse and
Nelly Condori{-}Fern{\'{a}}ndez and
Tanja E. J. Vos and
Alessandra Bagnato and
Etienne Brosse},
title = {Combinatorial Testing Tool Learnability in an Industrial Environment},
booktitle = {2013 {ACM} / {IEEE} International Symposium on Empirical Software
Engineering and Measurement, Baltimore, Maryland, USA, October 10-11,
2013},
pages = {304--312},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ESEM.2013.49},
doi = {10.1109/ESEM.2013.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/KruseCVBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/NguyenMCSVC13,
author = {Cu D. Nguyen and
Bilha Mendelson and
Daniel Citron and
Onn Shehory and
Tanja E. J. Vos and
Nelly Condori{-}Fern{\'{a}}ndez},
title = {Evaluating the {FITTEST} Automated Testing Tools: An Industrial Case
Study},
booktitle = {2013 {ACM} / {IEEE} International Symposium on Empirical Software
Engineering and Measurement, Baltimore, Maryland, USA, October 10-11,
2013},
pages = {332--339},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ESEM.2013.61},
doi = {10.1109/ESEM.2013.61},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/NguyenMCSVC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PouldingV13,
author = {Simon M. Poulding and
Tanja E. J. Vos},
title = {Sixth International Workshop on Search-Based Software Testing {(SBST}
2013): Workshop Summary},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {404--405},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.68},
doi = {10.1109/ICSTW.2013.68},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PouldingV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BauersfeldVLPC13,
author = {Sebastian Bauersfeld and
Tanja E. J. Vos and
Kiran Lakhotia and
Simon M. Poulding and
Nelly Condori{-}Fern{\'{a}}ndez},
title = {Unit Testing Tool Competition},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {414--420},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.55},
doi = {10.1109/ICSTW.2013.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BauersfeldVLPC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PuoskariVCK13,
author = {Elisa Puoskari and
Tanja E. J. Vos and
Nelly Condori{-}Fern{\'{a}}ndez and
Peter M. Kruse},
editor = {Gabriella Carrozza and
Roberto Pietrantuono and
Vittorio Manetti},
title = {Evaluating applicability of combinatorial testing in an industrial
environment: a case study},
booktitle = {Proceedings of the 2013 International Workshop on Joining AcadeMiA
and Industry Contributions to testing Automation, {JAMAICA} 2013,
Lugano, Switzerland, July 15, 2013},
pages = {7--12},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489280.2489287},
doi = {10.1145/2489280.2489287},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/PuoskariVCK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/VosTPKSBH13,
author = {Tanja E. J. Vos and
Paolo Tonella and
I. S. Wishnu B. Prasetya and
Peter M. Kruse and
Onn Shehory and
Alessandra Bagnato and
Mark Harman},
editor = {Tanja E. J. Vos and
Kiran Lakhotia and
Sebastian Bauersfeld},
title = {The {FITTEST} Tool Suite for Testing Future Internet Applications},
booktitle = {Future Internet Testing - First International Workshop, {FITTEST}
2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8432},
pages = {1--31},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-07785-7\_1},
doi = {10.1007/978-3-319-07785-7\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/VosTPKSBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BauersfeldVL13,
author = {Sebastian Bauersfeld and
Tanja E. J. Vos and
Kiran Lakhotia},
editor = {Tanja E. J. Vos and
Kiran Lakhotia and
Sebastian Bauersfeld},
title = {Unit Testing Tool Competitions - Lessons Learned},
booktitle = {Future Internet Testing - First International Workshop, {FITTEST}
2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8432},
pages = {75--94},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-07785-7\_5},
doi = {10.1007/978-3-319-07785-7\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BauersfeldVL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2012,
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39611-3},
doi = {10.1007/978-3-642-39611-3},
isbn = {978-3-642-39610-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/VosBLWWGKW12,
author = {Tanja E. J. Vos and
Arthur I. Baars and
Felix F. Lindlar and
Andreas Windisch and
Benjamin Wilmes and
Hamilton Gross and
Peter M. Kruse and
Joachim Wegener},
title = {Industrial Case Studies for Evaluating Search Based Structural Testing},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {22},
number = {8},
pages = {1123},
year = {2012},
url = {https://doi.org/10.1142/S0218194012500313},
doi = {10.1142/S0218194012500313},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/VosBLWWGKW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BauersfeldV12,
author = {Sebastian Bauersfeld and
Tanja E. J. Vos},
editor = {Michael Goedicke and
Tim Menzies and
Motoshi Saeki},
title = {GUITest: a Java library for fully automated {GUI} robustness testing},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
ASE'12, Essen, Germany, September 3-7, 2012},
pages = {330--333},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2351676.2351739},
doi = {10.1145/2351676.2351739},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BauersfeldV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/VosMEM12,
author = {Tanja E. J. Vos and
Beatriz Mar{\'{\i}}n and
Mar{\'{\i}}a Jos{\'{e}} Escalona and
Alessandro Marchetto},
editor = {Antony Tang and
Henry Muccini},
title = {A Methodological Framework for Evaluating Software Testing Techniques
and Tools},
booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi,
China, August 27-29, 2012},
pages = {230--239},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/QSIC.2012.16},
doi = {10.1109/QSIC.2012.16},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qsic/VosMEM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/PanachCVAV11,
author = {Jos{\'{e}} Ignacio Panach and
Nelly Condori{-}Fern{\'{a}}ndez and
Tanja E. J. Vos and
Nathalie Aquino and
Francisco Valverde},
title = {Early Usability Measurement in Model-Driven Development: Definition
and Empirical Evaluation},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {21},
number = {3},
pages = {339--365},
year = {2011},
url = {https://doi.org/10.1142/S0218194011005311},
doi = {10.1142/S0218194011005311},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijseke/PanachCVAV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/VosTWHPPN11,
author = {Tanja E. J. Vos and
Paolo Tonella and
Joachim Wegener and
Mark Harman and
Wishnu Prasetya and
Elisa Puoskari and
Yarden Nir{-}Buchbinder},
editor = {Tom Mens and
Yiannis Kanellopoulos and
Andreas Winter},
title = {Future Internet Testing with {FITTEST}},
booktitle = {15th European Conference on Software Maintenance and Reengineering,
{CSMR} 2011, 1-4 March 2011, Oldenburg, Germany},
pages = {355--358},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CSMR.2011.51},
doi = {10.1109/CSMR.2011.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/VosTWHPPN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/BaarsLVW11,
author = {Arthur I. Baars and
Kiran Lakhotia and
Tanja E. J. Vos and
Joachim Wegener},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Search-Based Testing, the Underlying Engine of Future Internet Testing},
booktitle = {Federated Conference on Computer Science and Information Systems,
FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings},
pages = {917--923},
year = {2011},
url = {https://ieeexplore.ieee.org/document/6078178/},
timestamp = {Mon, 09 Aug 2021 14:54:05 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/BaarsLVW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/BagnatoAVMMFA11,
author = {Alessandra Bagnato and
Anna Esparcia{-}Alc{\'{a}}zar and
Tanja E. J. Vos and
Beatriz Mar{\'{\i}}n and
Jos{\'{e}} Oliver Murillo and
Salvador I. Folgado and
Auxiliadora Carlos Alberola},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Testing and Remote Maintenance of Real Future Internet Scenarios,
Towards {FITTEST} and FastFix Advanced Software Engineering},
booktitle = {Federated Conference on Computer Science and Information Systems,
FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings},
pages = {925--932},
year = {2011},
url = {https://ieeexplore.ieee.org/document/6078312/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/BagnatoAVMMFA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/PanachCBVRP11,
author = {Jos{\'{e}} Ignacio Panach and
Nelly Condori{-}Fern{\'{a}}ndez and
Arthur I. Baars and
Tanja E. J. Vos and
Ignacio Romeu and
Oscar Pastor},
editor = {Pedro F. Campos and
T. C. Nicholas Graham and
Joaquim A. Jorge and
Nuno Jardim Nunes and
Philippe A. Palanque and
Marco Winckler},
title = {Towards an Experimental Framework for Measuring Usability of Model-Driven
Tools},
booktitle = {Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13
International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {6949},
pages = {640--643},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23768-3\_102},
doi = {10.1007/978-3-642-23768-3\_102},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/interact/PanachCBVRP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BaarsHHLMTV11,
author = {Arthur I. Baars and
Mark Harman and
Youssef Hassoun and
Kiran Lakhotia and
Phil McMinn and
Paolo Tonella and
Tanja E. J. Vos},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Symbolic search-based testing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {53--62},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100119},
doi = {10.1109/ASE.2011.6100119},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BaarsHHLMTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/MarinVGBT11,
author = {Beatriz Mar{\'{\i}}n and
Tanja E. J. Vos and
Giovanni Giachetti and
Arthur I. Baars and
Paolo Tonella},
title = {Towards testing future Web applications},
booktitle = {Proceedings of the Fifth {IEEE} International Conference on Research
Challenges in Information Science, {RCIS} 2011, Gosier, Guadeloupe,
France, 19-21 May, 2011},
pages = {1--12},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/RCIS.2011.6006859},
doi = {10.1109/RCIS.2011.6006859},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/MarinVGBT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/MarinGPVA10,
author = {Beatriz Mar{\'{\i}}n and
Giovanni Giachetti and
Oscar Pastor and
Tanja E. J. Vos and
Alain Abran},
editor = {Giancarlo Succi and
Maurizio Morisio and
Nachiappan Nagappan},
title = {Evaluating the usefulness of a functional size measurement procedure
to detect defects in {MDD} models},
booktitle = {Proceedings of the International Symposium on Empirical Software Engineering
and Measurement, {ESEM} 2010, 16-17 September 2010, Bolzano/Bozen,
Italy},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1852786.1852849},
doi = {10.1145/1852786.1852849},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/MarinGPVA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BaarsVD10,
author = {Arthur I. Baars and
Tanja E. J. Vos and
Dimitar M. Dimitrov},
title = {Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce
Faults},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
Proceedings},
pages = {173--181},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSTW.2010.30},
doi = {10.1109/ICSTW.2010.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BaarsVD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/VosBLKWW10,
author = {Tanja E. J. Vos and
Arthur I. Baars and
Felix F. Lindlar and
Peter M. Kruse and
Andreas Windisch and
Joachim Wegener},
title = {Industrial Scaled Automated Structural Testing with the Evolutionary
Testing Tool},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {175--184},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.24},
doi = {10.1109/ICST.2010.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/VosBLKWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/MarinGPV10,
author = {Beatriz Mar{\'{\i}}n and
Giovanni Giachetti and
Oscar Pastor and
Tanja E. J. Vos},
editor = {Fernando Brito e Abreu and
Jo{\~{a}}o Pascoal Faria and
Ricardo Jorge Machado},
title = {A Tool for Automatic Defect Detection in Models Used in Model-Driven
Engineering},
booktitle = {Quality of Information and Communications Technology, 7th International
Conference on the Quality of Information and Communications Technology,
{QUATIC} 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings},
pages = {242--247},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QUATIC.2010.45},
doi = {10.1109/QUATIC.2010.45},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/quatic/MarinGPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/Vos10,
author = {Tanja E. J. Vos},
title = {Continuous Evolutionary Automated Testing for the Future Internet},
journal = {{ERCIM} News},
volume = {2010},
number = {82},
pages = {50--51},
year = {2010},
url = {http://ercim-news.ercim.eu/en82/rd/continuous-evolutionary-automated-testing-for-the-future-internet},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/Vos10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GrossKWV09,
author = {Hamilton Gross and
Peter M. Kruse and
Joachim Wegener and
Tanja E. J. Vos},
title = {Evolutionary White-Box Software Test with the EvoTest Framework: {A}
Progress Report},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops
Proceedings},
pages = {111--120},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICSTW.2009.38},
doi = {10.1109/ICSTW.2009.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GrossKWV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/Vos09,
author = {Tanja E. J. Vos},
title = {Evolutionary Testing for Complex Systems},
journal = {{ERCIM} News},
volume = {2009},
number = {78},
year = {2009},
url = {http://ercim-news.ercim.eu/en78/rd/evolutionary-testing-for-complex-systems},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/Vos09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PrasetyaVB08,
author = {Wishnu Prasetya and
Tanja E. J. Vos and
Arthur I. Baars},
title = {Trace-based Reflexive Testing of {OO} Programs with {T2}},
booktitle = {First International Conference on Software Testing, Verification,
and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
pages = {151--160},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICST.2008.12},
doi = {10.1109/ICST.2008.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PrasetyaVB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8351,
editor = {Holger Schlingloff and
Tanja E. J. Vos and
Joachim Wegener},
title = {Evolutionary Test Generation, 24.08. - 29.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08351/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SchlingloffVW08,
author = {Holger Schlingloff and
Tanja E. J. Vos and
Joachim Wegener},
editor = {Holger Schlingloff and
Tanja E. J. Vos and
Joachim Wegener},
title = {08351 Abstracts Collection - Evolutionary Test Generation},
booktitle = {Evolutionary Test Generation, 24.08. - 29.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2023/},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SchlingloffVW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SchlingloffVW08a,
author = {Holger Schlingloff and
Tanja E. J. Vos and
Joachim Wegener},
editor = {Holger Schlingloff and
Tanja E. J. Vos and
Joachim Wegener},
title = {08351 Summary - Evolutionary Test Generation},
booktitle = {Evolutionary Test Generation, 24.08. - 29.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2022/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SchlingloffVW08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/PrasetyaAVL06,
author = {Ignatius Sri Wishnu Brata Prasetya and
A. Azurat and
Tanja E. J. Vos and
Arthur van Leeuwen},
title = {Incremental Implementation of Syntax Driven Logics},
journal = {J. Softw.},
volume = {1},
number = {3},
pages = {1--13},
year = {2006},
url = {https://doi.org/10.4304/jsw.1.3.1-13},
doi = {10.4304/JSW.1.3.1-13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/PrasetyaAVL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PrasetyaVS06,
author = {I. S. W. B. Prasetya and
Tanja E. J. Vos and
S. Doaitse Swierstra},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {Web Cube},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {77--92},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_6},
doi = {10.1007/11888116\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/PrasetyaVS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cleiej/VosS05,
author = {Tanja E. J. Vos and
S. Doaitse Swierstra},
title = {Facilitating the Verification of Diffusing Computations and Their
Applications},
journal = {{CLEI} Electron. J.},
volume = {8},
number = {1},
year = {2005},
url = {https://doi.org/10.19153/cleiej.8.1.2},
doi = {10.19153/CLEIEJ.8.1.2},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cleiej/VosS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PrasetyaAVL05,
author = {I. S. W. B. Prasetya and
A. Azurat and
Tanja E. J. Vos and
Arthur van Leeuwen},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Building Verification Condition Generators by Compositional Extensions},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {220--230},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.11},
doi = {10.1109/SEFM.2005.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/PrasetyaAVL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/PrasetyaVAS04,
author = {I. S. W. B. Prasetya and
Tanja E. J. Vos and
A. Azurat and
S. Doaitse Swierstra},
editor = {Teruo Higashino},
title = {A UNITY-Based Framework Towards Component Based Systems},
booktitle = {Principles of Distributed Systems, 8th International Conference, {OPODIS}
2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3544},
pages = {52--66},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11516798\_4},
doi = {10.1007/11516798\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/PrasetyaVAS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/VosS97,
author = {Tanja E. J. Vos and
S. Doaitse Swierstra},
editor = {Rolf H. M{\"{o}}hring},
title = {Make your Enemies Transparent},
booktitle = {Graph-Theoretic Concepts in Computer Science, 23rd International Workshop,
{WG} '97, Berlin, Germany, June 18-20, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1335},
pages = {342--353},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0024509},
doi = {10.1007/BFB0024509},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/VosS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-23 00:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
