default search action
I. 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
2020 – today
- 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) - [c53]Samira Shirzadehhajimahmood
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
An Industrial Experience Leveraging the iv4XR Framework for BDD Testing of a 3D Sandbox Game. RCIS (1) 2024: 393-409 - [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] - [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) - 2023
- [c50]Saba Gholizadeh Ansari
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
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 - [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
- [j8]I. S. W. B. Prasetya
Test model coverage analysis under uncertainty: extended version. Softw. Syst. Model. 20(2): 383-403 (2021) - [c47]Saba Gholizadeh Ansari
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
An Agent-based Architecture for AI-Enhanced Automated Testing for XR Systems, a Short Paper. ICST Workshops 2021: 213-217 - [c45]Samira Shirzadehhajimahmood
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
Search-Based Automated Play Testing of Computer Games: A Model-Based Approach. SSBSE 2021: 56-71 - [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
- [j7]Tanja E. J. Vos, I. S. W. B. Prasetya, Sigrid Eldh, Sinem Getir, Ali Parsai
Automating TEST Case Design, Selection and Evaluation Report on 10 Editions of A-TESTWorkshop. ACM SIGSOFT Softw. Eng. Notes 45(1): 21-24 (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
Aplib: Tactical Agents for Testing Computer Games. EMAS@AAMAS 2020: 21-41 - [c40]Rui Prada, I. S. W. B. Prasetya
Agent-based Testing of Extended Reality Systems. ICST 2020: 414-417 - [c39]I. S. W. B. Prasetya
Can Learning Formal Specification Be Fun? - Experience and Perspective. ICST Workshops 2020: 437-440 - [c38]I. S. W. B. Prasetya
Navigation and exploration in 3D-game automated play testing. A-TEST@ESEC/SIGSOFT FSE 2020: 3-9 - [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)
2010 – 2019
- 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
Having fun in learning formal specifications. ICSE (SEET) 2019: 192-196 - [c35]Tanja E. J. Vos, I. S. W. B. Prasetya
IMPRESS: Improving Engagement in Software Engineering Courses Through Gamification. PROFES 2019: 613-619 - [c34]I. S. W. B. Prasetya
Test Model Coverage Analysis Under Uncertainty. SEFM 2019: 222-239 - [c33]John Lång
Model checking a C++ software framework: a case study. ESEC/SIGSOFT FSE 2019: 1026-1036 - [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] - [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
- [j6]M. H. Jiang, Otto W. Visser, I. S. W. B. Prasetya
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) - [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
Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM. ISSRE 2018: 88-99 - [c30]I. S. Wishnu B. Prasetya
Neural Networks as Artificial Specifications. ICTSS 2018: 135-141 - [c29]Renate Eilers, Jurriaan Hage, Wishnu Prasetya
[Research Paper] Fine-Grained Model Slicing for Rebel. SCAM 2018: 235-244 - [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] - [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
- [c28]Tom Tervoort
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
Mirror: A computation-offloading framework for sophisticated mobile games. WoWMoM 2017: 1-3 - [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] - [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) - 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
HLogo: A Haskell STM-Based Parallel Variant of NetLogo. SIMULTECH (Selected Papers) 2016: 97-119 - [c24]Nikolaos Bezirgiannis, I. S. W. B. Prasetya
HLogo: A Parallel Haskell Variant of NetLogo. SIMULTECH 2016: 119-128 - [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
- [c23]Diyah Puspitaningrum
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
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
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 - [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] - 2014
- [c17]Tanja E. J. Vos, Paolo Tonella
FITTEST: A new continuous and automated testing process for future Internet applications. CSMR-WCRE 2014: 407-410 - [c16]Alexander Elyasov, Wishnu Prasetya
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
The FITTEST Tool Suite for Testing Future Internet Applications. FITTEST@ICTSS 2013: 1-31 - [c13]Peter M. Kruse, I. S. Wishnu B. Prasetya
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
Guided Algebraic Specification Mining for Failure Simplification. ICTSS 2013: 223-238 - 2011
- [c10]Tanja E. J. Vos, Paolo Tonella
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
2000 – 2009
- 2008
- [c8]Wishnu Prasetya
Trace-based Reflexive Testing of OO Programs with T2. ICST 2008: 151-160 - 2006
- [j4]Ignatius Sri Wishnu Brata Prasetya
Incremental Implementation of Syntax Driven Logics. J. Softw. 1(3): 1-13 (2006) - [c7]I. S. W. B. Prasetya
Web Cube. FORTE 2006: 77-92 - 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) - [c6]I. S. W. B. Prasetya
Building Verification Condition Generators by Compositional Extensions. SEFM 2005: 220-230 - 2004
- [c5]I. S. W. B. Prasetya
A UNITY-Based Framework Towards Component Based Systems. OPODIS 2004: 52-66 - 2003
- [j2]I. S. W. B. Prasetya
Factorizing fault tolerance. Theor. Comput. Sci. 290(2): 1201-1222 (2003)
1990 – 1999
- 1997
- [c4]I. S. W. B. Prasetya
Mechanically Verified Self-Stabilizing Hierarchical Algorithms. TACAS 1997: 399-415 - 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) - [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
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 2024-11-14 00:56 CET 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: