Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: I. S. W. B. Prasetya
@inproceedings{DBLP:conf/fase/AnsariPPKDDK23,
author = {Saba Gholizadeh Ansari and
I. S. W. B. Prasetya and
Davide Prandi and
Fitsum Meshesha Kifetew and
Mehdi Dastani and
Frank Dignum and
Gabriele Keller},
editor = {Leen Lambers and
Sebasti{\'{a}}n Uchitel},
title = {Model-based Player Experience Testing with Emotion Pattern Verification},
booktitle = {Fundamental Approaches to Software Engineering - 26th International
Conference, {FASE} 2023, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April
22-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13991},
pages = {151--172},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30826-0\_9},
doi = {10.1007/978-3-031-30826-0\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AnsariPPKDDK23.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}
}
@inproceedings{DBLP:conf/sigsoft/Shirzadehhajimahmood22,
author = {Samira Shirzadehhajimahmood and
I. S. W. B. Prasetya and
Frank Dignum and
Mehdi Dastani},
editor = {{\'{A}}kos Kiss and
Beatriz Mar{\'{\i}}n and
Mehrdad Saadatmand},
title = {An online agent-based search approach in automated computer game testing
with model construction},
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 = {45--52},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3548659.3561309},
doi = {10.1145/3548659.3561309},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Shirzadehhajimahmood22.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/corr/abs-2211-06936,
author = {Samira Shirzadehhajimahmood and
I. S. W. B. Prasetya and
Frank Dignum and
Mehdi Dastani},
title = {An Online Agent-Based Search Approach in Automated Computer Game Testing
with Model Construction},
journal = {CoRR},
volume = {abs/2211.06936},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.06936},
doi = {10.48550/ARXIV.2211.06936},
eprinttype = {arXiv},
eprint = {2211.06936},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-06936.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PrasetyaK21,
author = {I. S. W. B. Prasetya and
Rick Klomp},
title = {Test model coverage analysis under uncertainty: extended version},
journal = {Softw. Syst. Model.},
volume = {20},
number = {2},
pages = {383--403},
year = {2021},
url = {https://doi.org/10.1007/s10270-020-00848-9},
doi = {10.1007/S10270-020-00848-9},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PrasetyaK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/AnsariPDDK21,
author = {Saba Gholizadeh Ansari and
I. S. W. B. Prasetya and
Mehdi Dastani and
Frank Dignum and
Gabriele Keller},
editor = {Natasha Alechina and
Matteo Baldoni and
Brian Logan},
title = {An Appraisal Transition System for Event-Driven Emotions in Agent-Based
Player Experience Testing},
booktitle = {Engineering Multi-Agent Systems - 9th International Workshop, {EMAS}
2021, Virtual Event, May 3-4, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13190},
pages = {156--174},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-97457-2\_9},
doi = {10.1007/978-3-030-97457-2\_9},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emas/AnsariPDDK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PrasetyaSAFP21,
author = {I. S. W. B. Prasetya and
Samira Shirzadehhajimahmood and
Saba Gholizadeh Ansari and
Pedro M. Fernandes and
Rui Prada},
title = {An Agent-based Architecture for AI-Enhanced Automated Testing for
{XR} Systems, a Short Paper},
booktitle = {14th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2021, Porto de Galinhas,
Brazil, April 12-16, 2021},
pages = {213--217},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSTW52544.2021.00044},
doi = {10.1109/ICSTW52544.2021.00044},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/PrasetyaSAFP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Shirzadehhajimahmood21,
author = {Samira Shirzadehhajimahmood and
I. S. W. B. Prasetya and
Frank Dignum and
Mehdi Dastani and
Gabriele Keller},
editor = {Sinem Getir Yaman and
Rui Prada and
Fitsum Meshesha Kifetew and
Nicol{\'{a}}s Cardozo},
title = {Using an agent-based approach for robust automated testing of computer
games},
booktitle = {{A-TEST} 2021: Proceedings of the 12th International Workshop on Automating
{TEST} Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT
{FSE} 2021, Athens, Greece, August 23-24, 2021},
pages = {1--8},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3472672.3473952},
doi = {10.1145/3472672.3473952},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Shirzadehhajimahmood21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/FerdousKPPSS21,
author = {Raihana Ferdous and
Fitsum Meshesha Kifetew and
Davide Prandi and
I. S. W. B. Prasetya and
Samira Shirzadehhajimahmood and
Angelo Susi},
editor = {Una{-}May O'Reilly and
Xavier Devroey},
title = {Search-Based Automated Play Testing of Computer Games: {A} Model-Based
Approach},
booktitle = {Search-Based Software Engineering - 13th International Symposium,
{SSBSE} 2021, Bari, Italy, October 11-12, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12914},
pages = {56--71},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88106-1\_5},
doi = {10.1007/978-3-030-88106-1\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/FerdousKPPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-06132,
author = {I. S. W. B. Prasetya and
Samira Shirzadehhajimahmood and
Saba Gholizadeh Ansari and
Pedro M. Fernandes and
Rui Prada},
title = {An Agent-based Architecture for AI-Enhanced Automated Testing for
{XR} Systems, a Short Paper},
journal = {CoRR},
volume = {abs/2104.06132},
year = {2021},
url = {https://arxiv.org/abs/2104.06132},
eprinttype = {arXiv},
eprint = {2104.06132},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-06132.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-05589,
author = {Saba Gholizadeh Ansari and
I. S. W. B. Prasetya and
Mehdi Dastani and
Frank Dignum and
Gabriele Keller},
title = {An Appraisal Transition System for Event-driven Emotions in Agent-based
Player Experience Testing},
journal = {CoRR},
volume = {abs/2105.05589},
year = {2021},
url = {https://arxiv.org/abs/2105.05589},
eprinttype = {arXiv},
eprint = {2105.05589},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-05589.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/atal/PrasetyaD20,
author = {I. S. W. B. Prasetya and
Mehdi Dastani},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {Aplib: An Agent Programming Library for Testing Games},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {1972--1974},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3399045},
doi = {10.5555/3398761.3399045},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/PrasetyaD20.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/icst/PrasetyaLOKV20,
author = {I. S. W. B. Prasetya and
Craig Q. H. D. Leek and
Roan Oosenbrug and
Petar Kostic and
Mike de Vries},
title = {Can Learning Formal Specification Be Fun? - Experience and Perspective},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {437--440},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00078},
doi = {10.1109/ICSTW50294.2020.00078},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/PrasetyaLOKV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PrasetyaVTSSMKH20,
author = {I. S. W. B. Prasetya and
Maurin Voshol and
Tom Tanis and
Adam Smits and
Bram Smit and
Jacco van Mourik and
Menno Klunder and
Frank Hoogmoed and
Stijn Hinlopen and
August van Casteren and
Jesse van de Berg and
Naraenda G. W. Y. Prasetya and
Samira Shirzadehhajimahmood and
Saba Gholizadeh Ansari},
editor = {Sinem Getir and
Phu Nguyen},
title = {Navigation and exploration in 3D-game automated play testing},
booktitle = {{A-TEST} 2020: Proceedings of the 11th {ACM} {SIGSOFT} International
Workshop on Automating {TEST} Case Design, Selection, and Evaluation,
A-TEST@ESEC/SIGSOFT {FSE} 2020, Virtual Event, USA, November 8-9,
2020},
pages = {3--9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3412452.3423570},
doi = {10.1145/3412452.3423570},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/PrasetyaVTSSMKH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-07015,
author = {I. S. W. B. Prasetya and
Maurin Voshol and
Tom Tanis and
Adam Smits and
Bram Smit and
Jacco van Mourik and
Menno Klunder and
Frank Hoogmoed and
Stijn Hinlopen and
August van Casteren and
Jesse van de Berg and
Naraenda G. W. Y. Prasetya and
Samira Shirzadehhajimahmood and
Saba Gholizadeh Ansari},
title = {Navigation and Exploration in 3D-Game Automated Play Testing},
journal = {CoRR},
volume = {abs/2009.07015},
year = {2020},
url = {https://arxiv.org/abs/2009.07015},
eprinttype = {arXiv},
eprint = {2009.07015},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Prasetya19,
author = {I. S. W. B. Prasetya},
editor = {Alessandra Gorla and
Jos{\'{e}} Miguel Rojas},
title = {Random testing with austere budgeting in {T3:} benchmarking at {SBST2019}
testing tool contest},
booktitle = {Proceedings of the 12th International Workshop on Search-Based Software
Testing, SBST@ICSE 2019, Montreal, QC, Canada, May 27, 2019},
pages = {21--24},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/SBST.2019.00015},
doi = {10.1109/SBST.2019.00015},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Prasetya19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PrasetyaLMTBEKM19,
author = {I. S. W. B. Prasetya and
Craig Q. H. D. Leek and
Orestis Melkonian and
Joris ten Tusscher and
Jan van Bergen and
J. M. Everink and
Thomas van der Klis and
Rick Meijerink and
Roan Oosenbrug and
Jelle J. Oostveen and
Tijmen van den Pol and
Wink M. van Zon},
editor = {Sarah Beecham and
Daniela E. Damian},
title = {Having fun in learning formal specifications},
booktitle = {Proceedings of the 41st International Conference on Software Engineering:
Software Engineering Education and Training, {ICSE} {(SEET)} 2019,
Montreal, QC, Canada, May 25-31, 2019},
pages = {192--196},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE-SEET.2019.00028},
doi = {10.1109/ICSE-SEET.2019.00028},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PrasetyaLMTBEKM19.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/sefm/PrasetyaK19,
author = {I. S. W. B. Prasetya and
Rick Klomp},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {Test Model Coverage Analysis Under Uncertainty},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {222--239},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_12},
doi = {10.1007/978-3-030-30446-1\_12},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/PrasetyaK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LangP19,
author = {John L{\aa}ng and
I. S. W. B. Prasetya},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Model checking a {C++} software framework: a case study},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {1026--1036},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3340453},
doi = {10.1145/3338906.3340453},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LangP19.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-1903-00334,
author = {I. S. W. B. Prasetya and
Craig Q. H. D. Leek and
Orestis Melkonian and
Joris ten Tusscher and
Jan van Bergen and
J. M. Everink and
Thomas van der Klis and
Petar Kostic and
Rick Meijerink and
Roan Oosenbrug and
Jelle J. Oostveen and
Tijmen van den Pol and
Mike de Vries and
Wink M. van Zon},
title = {Having Fun in Learning Formal Specifications},
journal = {CoRR},
volume = {abs/1903.00334},
year = {2019},
url = {http://arxiv.org/abs/1903.00334},
eprinttype = {arXiv},
eprint = {1903.00334},
timestamp = {Sat, 30 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-00334.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00172,
author = {John L{\aa}ng and
I. S. W. B. Prasetya},
title = {Model Checking a {C++} Software Framework, a Case Study},
journal = {CoRR},
volume = {abs/1907.00172},
year = {2019},
url = {http://arxiv.org/abs/1907.00172},
eprinttype = {arXiv},
eprint = {1907.00172},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05293,
author = {I. S. W. B. Prasetya and
Rick Klomp},
title = {Test Model Coverage Analysis under Uncertainty},
journal = {CoRR},
volume = {abs/1909.05293},
year = {2019},
url = {http://arxiv.org/abs/1909.05293},
eprinttype = {arXiv},
eprint = {1909.05293},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05293.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04710,
author = {I. S. W. B. Prasetya},
title = {Aplib: Tactical Programming of Intelligent Agents},
journal = {CoRR},
volume = {abs/1911.04710},
year = {2019},
url = {http://arxiv.org/abs/1911.04710},
eprinttype = {arXiv},
eprint = {1911.04710},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04710.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/concurrency/JiangVPI18,
author = {M. H. Jiang and
Otto W. Visser and
I. S. W. B. Prasetya and
Alexandru Iosup},
title = {A mirroring architecture for sophisticated mobile games using computation-offloading},
journal = {Concurr. Comput. Pract. Exp.},
volume = {30},
number = {17},
year = {2018},
url = {https://doi.org/10.1002/cpe.4494},
doi = {10.1002/CPE.4494},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/JiangVPI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Prasetya18,
author = {I. S. W. B. Prasetya},
title = {Temporal algebraic query of test sequences},
journal = {J. Syst. Softw.},
volume = {136},
pages = {223--236},
year = {2018},
url = {https://doi.org/10.1016/j.jss.2017.07.014},
doi = {10.1016/J.JSS.2017.07.014},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/Prasetya18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Prasetya18,
author = {I. S. W. B. Prasetya},
editor = {Juan Pablo Galeotti and
Alessandra Gorla},
title = {{T3} @SBST2018 benchmark, and how much we can get from asemantical
testing},
booktitle = {Proceedings of the 11th International Workshop on Search-Based Software
Testing, {ICSE} 2018, Gothenburg, Sweden, May 28-29, 2018},
pages = {30--33},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194718.3194727},
doi = {10.1145/3194718.3194727},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Prasetya18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ElyasovPH18,
author = {Alexander Elyasov and
I. S. W. B. Prasetya and
Jurriaan Hage},
editor = {Sudipto Ghosh and
Roberto Natella and
Bojan Cukic and
Robin S. Poston and
Nuno Laranjeiro},
title = {Search-Based Test Data Generation for JavaScript Functions that Interact
with the {DOM}},
booktitle = {29th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2018, Memphis, TN, USA, October 15-18, 2018},
pages = {88--99},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISSRE.2018.00020},
doi = {10.1109/ISSRE.2018.00020},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/ElyasovPH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PrasetyaT18,
author = {I. S. Wishnu B. Prasetya and
Minh An Tran},
editor = {Inmaculada Medina{-}Bulo and
Mercedes G. Merayo and
Robert M. Hierons},
title = {Neural Networks as Artificial Specifications},
booktitle = {Testing Software and Systems - 30th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2018, C{\'{a}}diz, Spain, October 1-3, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11146},
pages = {135--141},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99927-2\_11},
doi = {10.1007/978-3-319-99927-2\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/PrasetyaT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/EilersHPB18,
author = {Renate Eilers and
Jurriaan Hage and
Wishnu Prasetya and
Joost Bosman},
title = {[Research Paper] Fine-Grained Model Slicing for Rebel},
booktitle = {18th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2018, Madrid, Spain, September 23-24, 2018},
pages = {235--244},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SCAM.2018.00035},
doi = {10.1109/SCAM.2018.00035},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/EilersHPB18.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}
}
@article{DBLP:journals/corr/abs-1804-03927,
author = {Tom Tervoort and
I. S. W. B. Prasetya},
title = {Modeling and Testing Implementations of Protocols with Complex Messages},
journal = {CoRR},
volume = {abs/1804.03927},
year = {2018},
url = {http://arxiv.org/abs/1804.03927},
eprinttype = {arXiv},
eprint = {1804.03927},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-03927.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06905,
author = {Diyah Puspitaningrum and
I. S. W. B. Prasetya and
P. A. Wicaksono},
title = {Highly Relevant Routing Recommendation Systems for Handling Few Data
Using {MDL} Principle},
journal = {CoRR},
volume = {abs/1804.06905},
year = {2018},
url = {http://arxiv.org/abs/1804.06905},
eprinttype = {arXiv},
eprint = {1804.06905},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-06905.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-05701,
author = {I. S. W. B. Prasetya and
Minh An Tran},
title = {Neural Networks as Artificial Specifications},
journal = {CoRR},
volume = {abs/1809.05701},
year = {2018},
url = {http://arxiv.org/abs/1809.05701},
eprinttype = {arXiv},
eprint = {1809.05701},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-05701.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/TervoortP17,
author = {Tom Tervoort and
I. S. W. B. Prasetya},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {{APSL:} {A} Light Weight Testing Tool for Protocols with Complex Messages},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {241--244},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_20},
doi = {10.1007/978-3-319-70389-3\_20},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/TervoortP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/JiangVPI17,
author = {M. H. Jiang and
Otto W. Visser and
I. S. W. B. Prasetya and
Alexandru Iosup},
title = {Mirror: {A} computation-offloading framework for sophisticated mobile
games},
booktitle = {18th {IEEE} International Symposium on {A} World of Wireless, Mobile
and Multimedia Networks, WoWMoM 2017, Macau, China, June 12-15, 2017},
pages = {1--3},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/WoWMoM.2017.7974351},
doi = {10.1109/WOWMOM.2017.7974351},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wowmom/JiangVPI17.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}
}
@article{DBLP:journals/corr/abs-1711-08730,
author = {Diyah Puspitaningrum and
G. Yulianti and
I. S. W. B. Prasetya},
title = {Wiki-MetaSemantik: {A} Wikipedia-derived Query Expansion Approach
based on Network Properties},
journal = {CoRR},
volume = {abs/1711.08730},
year = {2017},
url = {http://arxiv.org/abs/1711.08730},
eprinttype = {arXiv},
eprint = {1711.08730},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08730.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Prasetya16,
author = {I. S. W. B. Prasetya},
title = {Budget-aware random testing with {T3:} benchmarking at the {SBST2016}
testing tool contest},
booktitle = {Proceedings of the 9th International Workshop on Search-Based Software
Testing, SBST@ICSE 2016, Austin, Texas, USA, May 14-22, 2016},
pages = {29--32},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897010.2897019},
doi = {10.1145/2897010.2897019},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Prasetya16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simultech/BezirgiannisPS16a,
author = {Nikolaos Bezirgiannis and
I. S. W. B. Prasetya and
Ilias Sakellariou},
editor = {Mohammad S. Obaidat and
Tuncer I. {\"{O}}ren and
Yuri Merkuryev},
title = {HLogo: {A} Haskell STM-Based Parallel Variant of NetLogo},
booktitle = {Simulation and Modeling Methodologies, Technologies and Applications
- International Conference, {SIMULTECH} 2016, Lisbon, Portugal, July
29-31, 2016, Revised Selected Papers},
series = {Advances in Intelligent Systems and Computing},
volume = {676},
pages = {97--119},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-69832-8\_7},
doi = {10.1007/978-3-319-69832-8\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/simultech/BezirgiannisPS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simultech/BezirgiannisPS16,
author = {Nikolaos Bezirgiannis and
I. S. W. B. Prasetya and
Ilias Sakellariou},
editor = {Yuri Merkuryev and
Tuncer I. {\"{O}}ren and
Mohammad S. Obaidat},
title = {HLogo: {A} Parallel Haskell Variant of NetLogo},
booktitle = {Proceedings of the 6th International Conference on Simulation and
Modeling Methodologies, Technologies and Applications {(SIMULTECH}
2016), Lisbon, Portugal, July 29-31, 2016},
pages = {119--128},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005983501190128},
doi = {10.5220/0005983501190128},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/simultech/BezirgiannisPS16.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}
}
@inproceedings{DBLP:conf/airs/PuspitaningrumF15,
author = {Diyah Puspitaningrum and
Fauzi and
Boko Susilo and
Jeri Apriansyah Pagua and
Aan Erlansari and
Desi Andreswari and
Rusdi Efendi and
I. S. W. B. Prasetya},
editor = {Guido Zuccon and
Shlomo Geva and
Hideo Joho and
Falk Scholer and
Aixin Sun and
Peng Zhang},
title = {An MDL-Based Frequent Itemset Hierarchical Clustering Technique to
Improve Query Search Results of an Individual Search Engine},
booktitle = {Information Retrieval Technology - 11th Asia Information Retrieval
Societies Conference, {AIRS} 2015, Brisbane, QLD, Australia, December
2-4, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9460},
pages = {279--291},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28940-3\_22},
doi = {10.1007/978-3-319-28940-3\_22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/airs/PuspitaningrumF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/PrasetyaHE15,
author = {I. S. W. B. Prasetya and
Jurriaan Hage and
Alexander Elyasov},
editor = {Jing Sun and
Y. Raghu Reddy and
Arun Bahulkar and
Anjaneyulu Pasala},
title = {Exploiting Annotations to Test Break-off Branches},
booktitle = {2015 Asia-Pacific Software Engineering Conference, {APSEC} 2015, New
Delhi, India, December 1-4, 2015},
pages = {80--87},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/APSEC.2015.25},
doi = {10.1109/APSEC.2015.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/PrasetyaHE15.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/icse/Prasetya15,
author = {I. S. W. B. Prasetya},
editor = {Gregory Gay and
Giuliano Antoniol},
title = {{T3:} Benchmarking at Third Unit Testing Tool Contest},
booktitle = {8th {IEEE/ACM} International Workshop on Search-Based Software Testing,
{SBST} 2015, Florence, Italy, May 18-19, 2015},
pages = {44--47},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SBST.2015.18},
doi = {10.1109/SBST.2015.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Prasetya15.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}
}
@inproceedings{DBLP:conf/sigsoft/Prasetya15,
author = {I. S. Wishnu B. Prasetya},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {T3i: a tool for generating and querying test suites for Java},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {950--953},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2803182},
doi = {10.1145/2786805.2803182},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Prasetya15.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/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/icse/ElyasovPHN14,
author = {Alexander Elyasov and
Wishnu Prasetya and
Jurriaan Hage and
Andreas Nikas},
editor = {Hong Zhu and
Jerry Gao and
Saurabh Sinha and
Lu Zhang},
title = {Reduce first, debug later},
booktitle = {9th International Workshop on Automation of Software Test, {AST} 2014,
Hyderabad, India, May 31 - June 1, 2014},
pages = {57--63},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593501.2593510},
doi = {10.1145/2593501.2593510},
timestamp = {Wed, 21 Jun 2023 16:54:55 +0200},
biburl = {https://dblp.org/rec/conf/icse/ElyasovPHN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Prasetya13,
author = {I. S. W. B. Prasetya},
title = {Measuring {T2} against {SBST} 2013 Benchmark Suite},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {410--413},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.54},
doi = {10.1109/ICSTW.2013.54},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Prasetya13.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/KrusePHE13,
author = {Peter M. Kruse and
I. S. Wishnu B. Prasetya and
Jurriaan Hage and
Alexander Elyasov},
editor = {Tanja E. J. Vos and
Kiran Lakhotia and
Sebastian Bauersfeld},
title = {Logging to Facilitate Combinatorial System Testing},
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 = {48--58},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-07785-7\_3},
doi = {10.1007/978-3-319-07785-7\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/KrusePHE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Prasetya13,
author = {I. S. Wishnu B. Prasetya},
editor = {Tanja E. J. Vos and
Kiran Lakhotia and
Sebastian Bauersfeld},
title = {T3, a Combinator-Based Random Testing Tool for Java: Benchmarking},
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 = {101--110},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-07785-7\_7},
doi = {10.1007/978-3-319-07785-7\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Prasetya13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ElyasovPH13,
author = {Alexander Elyasov and
I. S. Wishnu B. Prasetya and
Jurriaan Hage},
editor = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
Cemal Yilmaz and
Andreas Ulrich},
title = {Guided Algebraic Specification Mining for Failure Simplification},
booktitle = {Testing Software and Systems - 25th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2013, Istanbul, Turkey, November 13-15, 2013,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8254},
pages = {223--238},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41707-8\_15},
doi = {10.1007/978-3-642-41707-8\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/ElyasovPH13.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/ifl/MiddelkoopEP11,
author = {Arie Middelkoop and
Alexander B. Elyasov and
Wishnu Prasetya},
editor = {Andy Gill and
Jurriaan Hage},
title = {Functional Instrumentation of ActionScript Programs with Asil},
booktitle = {Implementation and Application of Functional Languages - 23rd International
Symposium, {IFL} 2011, Lawrence, KS, USA, October 3-5, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7257},
pages = {1--16},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34407-7\_1},
doi = {10.1007/978-3-642-34407-7\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/MiddelkoopEP11.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}
}
@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/jhsn/PrasetyaS05,
author = {I. S. W. B. Prasetya and
S. Doaitse Swierstra},
title = {Formal design of self-stabilizing programs},
journal = {J. High Speed Networks},
volume = {14},
number = {1},
pages = {59--83},
year = {2005},
url = {http://content.iospress.com/articles/journal-of-high-speed-networks/jhs259},
timestamp = {Mon, 18 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jhsn/PrasetyaS05.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}
}
@article{DBLP:journals/tcs/PrasetyaS03,
author = {I. S. W. B. Prasetya and
S. Doaitse Swierstra},
title = {Factorizing fault tolerance},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {2},
pages = {1201--1222},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00202-X},
doi = {10.1016/S0304-3975(01)00202-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/PrasetyaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Prasetya97,
author = {I. S. W. B. Prasetya},
editor = {Ed Brinksma},
title = {Mechanically Verified Self-Stabilizing Hierarchical Algorithms},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third
International Workshop, {TACAS} '97, Enschede, The Netherlands, April
2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1217},
pages = {399--415},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035402},
doi = {10.1007/BFB0035402},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Prasetya97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Prasetya94,
author = {I. S. W. B. Prasetya},
title = {Error in the {UNITY} Rule for Subscripted Operators (Short Communication)},
journal = {Formal Aspects Comput.},
volume = {6},
number = {4},
pages = {466--470},
year = {1994},
url = {https://doi.org/10.1007/BF01211309},
doi = {10.1007/BF01211309},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Prasetya94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Prasetya94,
author = {I. S. W. B. Prasetya},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Towards a Mechanically Supported and Compositional Calculus to Design
Destributed Algorithms},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {362--377},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_54},
doi = {10.1007/3-540-58450-1\_54},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Prasetya94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Prasetya93,
author = {I. S. W. B. Prasetya},
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {Formalization of Variables Access Constraints to Support Compositionality
of Liveness Properties},
booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
pages = {324--337},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57826-9\_145},
doi = {10.1007/3-540-57826-9\_145},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Prasetya93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Prasetya93a,
author = {I. S. W. B. Prasetya},
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {On the Style of Mechanical Proving},
booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
pages = {475--488},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57826-9\_157},
doi = {10.1007/3-540-57826-9\_157},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Prasetya93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2023-10-02 01:28 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:
