default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDI. S. W. B. Prasetya
I. S. Wishnu B. Prasetya – Ignatius Sri Wishnu Brata Prasetya – Wishnu Prasetya
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2025
[j10]Fernando Pastor Ricós
, Beatriz Marín, I. S. W. B. Prasetya, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka:
Behavior Driven Development for 3D games. Data Knowl. Eng. 160: 102486 (2025)- 2024
- [j9]Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Gabriele Keller, Davide Prandi, Fitsum Meshesha Kifetew, Frank Dignum:
PX-MBT: A framework for model-based player experience testing. Sci. Comput. Program. 236: 103108 (2024) - 2021
- [j8]I. S. W. B. Prasetya, Rick Klomp:
Test model coverage analysis under uncertainty: extended version. Softw. Syst. Model. 20(2): 383-403 (2021) - 2020
- [j7]Tanja E. J. Vos, I. S. W. B. Prasetya, Sigrid Eldh, Sinem Getir, Ali Parsai, Pekka Aho:
Automating TEST Case Design, Selection and Evaluation Report on 10 Editions of A-TESTWorkshop. ACM SIGSOFT Softw. Eng. Notes 45(1): 21-24 (2020) - 2018
- [j6]M. H. Jiang, Otto W. Visser, I. S. W. B. Prasetya, Alexandru Iosup:
A mirroring architecture for sophisticated mobile games using computation-offloading. Concurr. Comput. Pract. Exp. 30(17) (2018) - [j5]I. S. W. B. Prasetya:
Temporal algebraic query of test sequences. J. Syst. Softw. 136: 223-236 (2018) - 2006
- [j4]Ignatius Sri Wishnu Brata Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen:
Incremental Implementation of Syntax Driven Logics. J. Softw. 1(3): 1-13 (2006) - 2005
- [j3]I. S. W. B. Prasetya, S. Doaitse Swierstra:
Formal design of self-stabilizing programs. J. High Speed Networks 14(1): 59-83 (2005) - 2003
- [j2]I. S. W. B. Prasetya, S. Doaitse Swierstra:
Factorizing fault tolerance. Theor. Comput. Sci. 290(2): 1201-1222 (2003) - 1994
- [j1]I. S. W. B. Prasetya:
Error in the UNITY Rule for Subscripted Operators (Short Communication). Formal Aspects Comput. 6(4): 466-470 (1994)
Conference and Workshop Papers
- 2025
- [c54]I. S. W. B. Prasetya:
Model-Based Testing Computer Games: Does It Work? ICSTW 2025: 85-92 - 2024
- [c53]Samira Shirzadehhajimahmood, I. S. Wishnu B. Prasetya, Mehdi Dastani, Frank Dignum:
Cooperative Multi-agent Approach for Automated Computer Game Testing. EMAS 2024: 23-41 - [c52]Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum, Gabriele Keller:
EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games. ICST 2024: 13-24 - [c51]Fernando Pastor Ricós, Beatriz Marín, I. S. W. B. Prasetya, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka:
An Industrial Experience Leveraging the iv4XR Framework for BDD Testing of a 3D Sandbox Game. RCIS (1) 2024: 393-409 - 2023
- [c50]Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Davide Prandi, Fitsum Meshesha Kifetew, Mehdi Dastani, Frank Dignum, Gabriele Keller:
Model-based Player Experience Testing with Emotion Pattern Verification. FASE 2023: 151-172 - 2022
- [c49]I. S. W. B. Prasetya, Fernando Pastor Ricós, Fitsum Meshesha Kifetew, Davide Prandi, Samira Shirzadehhajimahmood, Tanja E. J. Vos, Premysl Paska, Karel Hovorka, Raihana Ferdous, Angelo Susi, Joseph Davidson:
An agent-based approach to automated game testing: an experience report. A-TEST@ESEC/SIGSOFT FSE 2022: 1-8 - [c48]Samira Shirzadehhajimahmood, I. S. W. B. Prasetya, Frank Dignum, Mehdi Dastani:
An online agent-based search approach in automated computer game testing with model construction. A-TEST@ESEC/SIGSOFT FSE 2022: 45-52 - 2021
- [c47]Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum, Gabriele Keller:
An Appraisal Transition System for Event-Driven Emotions in Agent-Based Player Experience Testing. EMAS@AAMAS 2021: 156-174 - [c46]I. S. W. B. Prasetya, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari, Pedro M. Fernandes, Rui Prada:
An Agent-based Architecture for AI-Enhanced Automated Testing for XR Systems, a Short Paper. ICST Workshops 2021: 213-217 - [c45]Samira Shirzadehhajimahmood, I. S. W. B. Prasetya, Frank Dignum, Mehdi Dastani, Gabriele Keller:
Using an agent-based approach for robust automated testing of computer games. A-TEST@ESEC/SIGSOFT FSE 2021: 1-8 - [c44]Raihana Ferdous, Fitsum Meshesha Kifetew, Davide Prandi, I. S. W. B. Prasetya, Samira Shirzadehhajimahmood, Angelo Susi:
Search-Based Automated Play Testing of Computer Games: A Model-Based Approach. SSBSE 2021: 56-71 - 2020
- [c43]I. S. W. B. Prasetya, Mehdi Dastani:
Aplib: An Agent Programming Library for Testing Games. AAMAS 2020: 1972-1974 - [c42]Tanja E. J. Vos, Gordon Fraser, Iván Martínez-Ortiz, Rui Prada, António Rito Silva, I. S. W. B. Prasetya:
Tutorial on a Gamification Toolset for Improving Engagement of Students in Software Engineering Courses. CSEE&T 2020: 1-3 - [c41]I. S. W. B. Prasetya, Mehdi Dastani, Rui Prada, Tanja E. J. Vos, Frank Dignum, Fitsum Meshesha Kifetew:
Aplib: Tactical Agents for Testing Computer Games. EMAS@AAMAS 2020: 21-41 - [c40]Rui Prada, I. S. W. B. Prasetya, Fitsum Meshesha Kifetew, Frank Dignum, Tanja E. J. Vos, Jason Lander, Jean-Yves Donnart, Alexandre Kazmierowski, Joseph Davidson, Pedro M. Fernandes:
Agent-based Testing of Extended Reality Systems. ICST 2020: 414-417 - [c39]I. S. W. B. Prasetya, Craig Q. H. D. Leek, Roan Oosenbrug, Petar Kostic, Mike de Vries:
Can Learning Formal Specification Be Fun? - Experience and Perspective. ICST Workshops 2020: 437-440 - [c38]I. S. W. B. Prasetya, Maurin Voshol, Tom Tanis, Adam Smits, Bram Smit, Jacco van Mourik, Menno Klunder, Frank Hoogmoed, Stijn Hinlopen, August van Casteren, Jesse van de Berg, Naraenda G. W. Y. Prasetya, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari:
Navigation and exploration in 3D-game automated play testing. A-TEST@ESEC/SIGSOFT FSE 2020: 3-9 - 2019
- [c37]I. S. W. B. Prasetya:
Random testing with austere budgeting in T3: benchmarking at SBST2019 testing tool contest. SBST@ICSE 2019: 21-24 - [c36]I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian, Joris ten Tusscher, Jan van Bergen, J. M. Everink, Thomas van der Klis, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Wink M. van Zon:
Having fun in learning formal specifications. ICSE (SEET) 2019: 192-196 - [c35]Tanja E. J. Vos, I. S. W. B. Prasetya, Gordon Fraser, Iván Martínez-Ortiz, Iván J. Pérez-Colado, Rui Prada, José Bernardo Rocha, António Rito Silva:
IMPRESS: Improving Engagement in Software Engineering Courses Through Gamification. PROFES 2019: 613-619 - [c34]I. S. W. B. Prasetya, Rick Klomp:
Test Model Coverage Analysis Under Uncertainty. SEFM 2019: 222-239 - [c33]John Lång, I. S. W. B. Prasetya:
Model checking a C++ software framework: a case study. ESEC/SIGSOFT FSE 2019: 1026-1036 - 2018
- [c32]I. S. W. B. Prasetya:
T3 @SBST2018 benchmark, and how much we can get from asemantical testing. SBST@ICSE 2018: 30-33 - [c31]Alexander Elyasov, I. S. W. B. Prasetya, Jurriaan Hage:
Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM. ISSRE 2018: 88-99 - [c30]I. S. Wishnu B. Prasetya, Minh An Tran:
Neural Networks as Artificial Specifications. ICTSS 2018: 135-141 - [c29]Renate Eilers, Jurriaan Hage, Wishnu Prasetya, Joost Bosman:
[Research Paper] Fine-Grained Model Slicing for Rebel. SCAM 2018: 235-244 - 2017
- [c28]Tom Tervoort, I. S. W. B. Prasetya:
APSL: A Light Weight Testing Tool for Protocols with Complex Messages. Haifa Verification Conference 2017: 241-244 - [c27]M. H. Jiang, Otto W. Visser, I. S. W. B. Prasetya, Alexandru Iosup:
Mirror: A computation-offloading framework for sophisticated mobile games. WoWMoM 2017: 1-3 - 2016
- [c26]I. S. W. B. Prasetya:
Budget-aware random testing with T3: benchmarking at the SBST2016 testing tool contest. SBST@ICSE 2016: 29-32 - [c25]Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou:
HLogo: A Haskell STM-Based Parallel Variant of NetLogo. SIMULTECH (Selected Papers) 2016: 97-119 - [c24]Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou:
HLogo: A Parallel Haskell Variant of NetLogo. SIMULTECH 2016: 119-128 - 2015
- [c23]Diyah Puspitaningrum, Fauzi, Boko Susilo, Jeri Apriansyah Pagua, Aan Erlansari, Desi Andreswari, Rusdi Efendi, I. S. W. B. Prasetya:
An MDL-Based Frequent Itemset Hierarchical Clustering Technique to Improve Query Search Results of an Individual Search Engine. AIRS 2015: 279-291 - [c22]I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov:
Exploiting Annotations to Test Break-off Branches. APSEC 2015: 80-87 - [c21]Urko Rueda, Tanja E. J. Vos, I. S. W. B. Prasetya:
Unit Testing Tool Competition - Round Three. SBST@ICSE 2015: 19-24 - [c20]I. S. W. B. Prasetya:
T3: Benchmarking at Third Unit Testing Tool Contest. SBST@ICSE 2015: 44-47 - [c19]Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Urko Rueda, Tanja E. J. Vos, Nelly Condori-Fernández:
AB=ᗺA: execution equivalence as a new type of testing oracle. SAC 2015: 1559-1566 - [c18]I. S. Wishnu B. Prasetya:
T3i: a tool for generating and querying test suites for Java. ESEC/SIGSOFT FSE 2015: 950-953 - 2014
- [c17]Tanja E. J. Vos, Paolo Tonella, Wishnu Prasetya, Peter M. Kruse, Alessandra Bagnato, Mark Harman, Onn Shehory:
FITTEST: A new continuous and automated testing process for future Internet applications. CSMR-WCRE 2014: 407-410 - [c16]Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Andreas Nikas:
Reduce first, debug later. AST 2014: 57-63 - 2013
- [c15]I. S. W. B. Prasetya:
Measuring T2 against SBST 2013 Benchmark Suite. ICST Workshops 2013: 410-413 - [c14]Tanja E. J. Vos, Paolo Tonella, I. S. Wishnu B. Prasetya, Peter M. Kruse, Onn Shehory, Alessandra Bagnato, Mark Harman:
The FITTEST Tool Suite for Testing Future Internet Applications. FITTEST@ICTSS 2013: 1-31 - [c13]Peter M. Kruse, I. S. Wishnu B. Prasetya, Jurriaan Hage, Alexander Elyasov:
Logging to Facilitate Combinatorial System Testing. FITTEST@ICTSS 2013: 48-58 - [c12]I. S. Wishnu B. Prasetya:
T3, a Combinator-Based Random Testing Tool for Java: Benchmarking. FITTEST@ICTSS 2013: 101-110 - [c11]Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage:
Guided Algebraic Specification Mining for Failure Simplification. ICTSS 2013: 223-238 - 2011
- [c10]Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder:
Future Internet Testing with FITTEST. CSMR 2011: 355-358 - [c9]Arie Middelkoop, Alexander B. Elyasov, Wishnu Prasetya:
Functional Instrumentation of ActionScript Programs with Asil. IFL 2011: 1-16 - 2008
- [c8]Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars:
Trace-based Reflexive Testing of OO Programs with T2. ICST 2008: 151-160 - 2006
- [c7]I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra:
Web Cube. FORTE 2006: 77-92 - 2005
- [c6]I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen:
Building Verification Condition Generators by Compositional Extensions. SEFM 2005: 220-230 - 2004
- [c5]I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra:
A UNITY-Based Framework Towards Component Based Systems. OPODIS 2004: 52-66 - 1997
- [c4]I. S. W. B. Prasetya:
Mechanically Verified Self-Stabilizing Hierarchical Algorithms. TACAS 1997: 399-415 - 1994
- [c3]I. S. W. B. Prasetya:
Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms. TPHOLs 1994: 362-377 - 1993
- [c2]I. S. W. B. Prasetya:
Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties. HUG 1993: 324-337 - [c1]I. S. W. B. Prasetya:
On the Style of Mechanical Proving. HUG 1993: 475-488
Editorship
- 2024
- [e6]Wishnu Prasetya, Tanja E. J. Vos, Tijs van der Storm:
Proceedings of the 15th ACM International Workshop on Automating Test Case Design, Selection and Evaluation, A-TEST 2024, Vienna, Austria, 19 September 2024. ACM 2024, ISBN 979-8-4007-1109-1 [contents] - 2019
- [e5]Tanja E. J. Vos, Wishnu Prasetya, Sinem Getir:
Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 16-17, 2019. ACM 2019, ISBN 978-1-4503-6850-6 [contents] - 2018
- [e4]Wishnu Prasetya, Tanja E. J. Vos, Sinem Getir:
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 05, 2018. ACM 2018, ISBN 978-1-4503-6053-1 [contents] - 2017
- [e3]Tanja E. J. Vos, Sigrid Eldh, Wishnu Prasetya:
Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, A-TEST@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4-5, 2017. ACM 2017, ISBN 978-1-4503-5155-3 [contents] - 2016
- [e2]Tanja E. J. Vos, Sigrid Eldh, Wishnu Prasetya:
Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016. ACM 2016, ISBN 978-1-4503-4401-2 [contents] - 2015
- [e1]Tanja E. J. Vos, Sigrid Eldh, Wishnu Prasetya:
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation, A-TEST 2015, Bergamo, Italy, August 30-31, 2015. ACM 2015, ISBN 978-1-4503-3813-4 [contents]
Informal and Other Publications
- 2025
- [i16]Fernando Pastor Ricós, Beatriz Marín, I. S. W. B. Prasetya, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka:
Behavior Driven Development for 3D Games. CoRR abs/2506.17057 (2025) - 2024
- [i15]Samira Shirzadehhajimahmood, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum:
Cooperative Multi-agent Approach for Automated Computer Game Testing. CoRR abs/2405.11347 (2024) - 2022
- [i14]I. S. W. B. Prasetya, Fernando Pastor Ricós, Fitsum Meshesha Kifetew, Davide Prandi, Samira Shirzadehhajimahmood, Tanja E. J. Vos, Premysl Paska, Karel Hovorka, Raihana Ferdous, Angelo Susi, Joseph Davidson:
An Agent-based Approach to Automated Game Testing: an Experience Report. CoRR abs/2211.06386 (2022) - [i13]Samira Shirzadehhajimahmood, I. S. W. B. Prasetya, Frank Dignum, Mehdi Dastani:
An Online Agent-Based Search Approach in Automated Computer Game Testing with Model Construction. CoRR abs/2211.06936 (2022) - 2021
- [i12]I. S. W. B. Prasetya, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari, Pedro M. Fernandes, Rui Prada:
An Agent-based Architecture for AI-Enhanced Automated Testing for XR Systems, a Short Paper. CoRR abs/2104.06132 (2021) - [i11]Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum, Gabriele Keller:
An Appraisal Transition System for Event-driven Emotions in Agent-based Player Experience Testing. CoRR abs/2105.05589 (2021) - 2020
- [i10]I. S. W. B. Prasetya, Maurin Voshol, Tom Tanis, Adam Smits, Bram Smit, Jacco van Mourik, Menno Klunder, Frank Hoogmoed, Stijn Hinlopen, August van Casteren, Jesse van de Berg, Naraenda G. W. Y. Prasetya, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari:
Navigation and Exploration in 3D-Game Automated Play Testing. CoRR abs/2009.07015 (2020) - 2019
- [i9]I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian, Joris ten Tusscher, Jan van Bergen, J. M. Everink, Thomas van der Klis, Petar Kostic, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Mike de Vries, Wink M. van Zon:
Having Fun in Learning Formal Specifications. CoRR abs/1903.00334 (2019) - [i8]John Lång, I. S. W. B. Prasetya:
Model Checking a C++ Software Framework, a Case Study. CoRR abs/1907.00172 (2019) - [i7]I. S. W. B. Prasetya, Rick Klomp:
Test Model Coverage Analysis under Uncertainty. CoRR abs/1909.05293 (2019) - [i6]I. S. W. B. Prasetya:
Aplib: Tactical Programming of Intelligent Agents. CoRR abs/1911.04710 (2019) - [i5]Tanja E. J. Vos, I. S. W. B. Prasetya, Gordon Fraser, Iván Martínez-Ortiz, Iván J. Pérez-Colado, Rui Prada, José Bernardo Rocha, António Rito Silva:
IMPRESS: Improving Engagement in Software Engineering Courses through Gamification. CoRR abs/1912.06850 (2019) - 2018
- [i4]Tom Tervoort, I. S. W. B. Prasetya:
Modeling and Testing Implementations of Protocols with Complex Messages. CoRR abs/1804.03927 (2018) - [i3]Diyah Puspitaningrum, I. S. W. B. Prasetya, P. A. Wicaksono:
Highly Relevant Routing Recommendation Systems for Handling Few Data Using MDL Principle. CoRR abs/1804.06905 (2018) - [i2]I. S. W. B. Prasetya, Minh An Tran:
Neural Networks as Artificial Specifications. CoRR abs/1809.05701 (2018) - 2017
- [i1]Diyah Puspitaningrum, G. Yulianti, I. S. W. B. Prasetya:
Wiki-MetaSemantik: A Wikipedia-derived Query Expansion Approach based on Network Properties. CoRR abs/1711.08730 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-08-07 00:23 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:
