Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties. - I. S. W. B. Prasetya (HUG, 1993)

On the Style of Mechanical Proving. - I. S. W. B. Prasetya (HUG, 1993)

Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms. - I. S. W. B. Prasetya (TPHOLs, 1994)

Error in the UNITY Rule for Subscripted Operators (Short Communication). - I. S. W. B. Prasetya (Formal Aspects Comput., 1994)

Mechanically Verified Self-Stabilizing Hierarchical Algorithms. - I. S. W. B. Prasetya (TACAS, 1997)

Factorizing fault tolerance. - I. S. W. B. Prasetya; S. Doaitse Swierstra (Theor. Comput. Sci., 2003)

A UNITY-Based Framework Towards Component Based Systems. - I. S. W. B. Prasetya; Tanja E. J. Vos; A. Azurat; S. Doaitse Swierstra (OPODIS, 2004)

Building Verification Condition Generators by Compositional Extensions. - I. S. W. B. Prasetya; A. Azurat; Tanja E. J. Vos; Arthur van Leeuwen (SEFM, 2005)

Formal design of self-stabilizing programs. - I. S. W. B. Prasetya; S. Doaitse Swierstra (J. High Speed Networks, 2005)

Web Cube. - I. S. W. B. Prasetya; Tanja E. J. Vos; S. Doaitse Swierstra (FORTE, 2006)

Incremental Implementation of Syntax Driven Logics. - Ignatius Sri Wishnu Brata Prasetya; A. Azurat; Tanja E. J. Vos; Arthur van Leeuwen (J. Softw., 2006)

Trace-based Reflexive Testing of OO Programs with T2. - Wishnu Prasetya; Tanja E. J. Vos; Arthur I. Baars (ICST, 2008)

Future Internet Testing with FITTEST. - Tanja E. J. Vos; Paolo Tonella; Joachim Wegener; Mark Harman; Wishnu Prasetya; Elisa Puoskari; Yarden Nir-Buchbinder (CSMR, 2011)

Functional Instrumentation of ActionScript Programs with Asil. - Arie Middelkoop; Alexander B. Elyasov; Wishnu Prasetya (IFL, 2011)

Measuring T2 against SBST 2013 Benchmark Suite. - I. S. W. B. Prasetya (ICST Workshops, 2013)

Guided Algebraic Specification Mining for Failure Simplification. - Alexander Elyasov; I. S. Wishnu B. Prasetya; Jurriaan Hage (ICTSS, 2013)

Logging to Facilitate Combinatorial System Testing. - Peter M. Kruse; I. S. Wishnu B. Prasetya; Jurriaan Hage; Alexander Elyasov (FITTEST@ICTSS, 2013)

T3, a Combinator-Based Random Testing Tool for Java: Benchmarking. - I. S. Wishnu B. Prasetya (FITTEST@ICTSS, 2013)

The FITTEST Tool Suite for Testing Future Internet Applications. - Tanja E. J. Vos; Paolo Tonella; I. S. Wishnu B. Prasetya; Peter M. Kruse; Onn Shehory; Alessandra Bagnato; Mark Harman (FITTEST@ICTSS, 2013)

FITTEST: A new continuous and automated testing process for future Internet applications. - Tanja E. J. Vos; Paolo Tonella; Wishnu Prasetya; Peter M. Kruse; Alessandra Bagnato; Mark Harman; Onn Shehory (CSMR-WCRE, 2014)

Reduce first, debug later. - Alexander Elyasov; Wishnu Prasetya; Jurriaan Hage; Andreas Nikas (AST, 2014)

An MDL-Based Frequent Itemset Hierarchical Clustering Technique to Improve Query Search Results of an Individual Search Engine. - Diyah Puspitaningrum; Fauzi; Boko Susilo; Jeri Apriansyah Pagua; Aan Erlansari; Desi Andreswari; Rusdi Efendi; I. S. W. B. Prasetya (AIRS, 2015)

Exploiting Annotations to Test Break-off Branches. - I. S. W. B. Prasetya; Jurriaan Hage; Alexander Elyasov (APSEC, 2015)

T3: Benchmarking at Third Unit Testing Tool Contest. - I. S. W. B. Prasetya (SBST@ICSE, 2015)

Unit Testing Tool Competition - Round Three. - Urko Rueda; Tanja E. J. Vos; I. S. W. B. Prasetya (SBST@ICSE, 2015)

AB=ᗺA: execution equivalence as a new type of testing oracle. - Alexander Elyasov; Wishnu Prasetya; Jurriaan Hage; Urko Rueda; Tanja E. J. Vos; Nelly Condori-Fernández (SAC, 2015)

T3i: a tool for generating and querying test suites for Java. - I. S. Wishnu B. Prasetya (ESEC/SIGSOFT FSE, 2015)

Budget-aware random testing with T3: benchmarking at the SBST2016 testing tool contest. - I. S. W. B. Prasetya (SBST@ICSE, 2016)

HLogo: A Parallel Haskell Variant of NetLogo. - Nikolaos Bezirgiannis; I. S. W. B. Prasetya; Ilias Sakellariou (SIMULTECH, 2016)

HLogo: A Haskell STM-Based Parallel Variant of NetLogo. - Nikolaos Bezirgiannis; I. S. W. B. Prasetya; Ilias Sakellariou (SIMULTECH (Selected Papers), 2016)

APSL: A Light Weight Testing Tool for Protocols with Complex Messages. - Tom Tervoort; I. S. W. B. Prasetya (Haifa Verification Conference, 2017)

Mirror: A computation-offloading framework for sophisticated mobile games. - M. H. Jiang; Otto W. Visser; I. S. W. B. Prasetya; Alexandru Iosup (WoWMoM, 2017)

Wiki-MetaSemantik: A Wikipedia-derived Query Expansion Approach based on Network Properties. - Diyah Puspitaningrum; G. Yulianti; I. S. W. B. Prasetya (CoRR, 2017)

T3 @SBST2018 benchmark, and how much we can get from asemantical testing. - I. S. W. B. Prasetya (SBST@ICSE, 2018)

Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM. - Alexander Elyasov; I. S. W. B. Prasetya; Jurriaan Hage (ISSRE, 2018)

Neural Networks as Artificial Specifications. - I. S. Wishnu B. Prasetya; Minh An Tran (ICTSS, 2018)

[Research Paper] Fine-Grained Model Slicing for Rebel. - Renate Eilers; Jurriaan Hage; Wishnu Prasetya; Joost Bosman 001 (SCAM, 2018)

A mirroring architecture for sophisticated mobile games using computation-offloading. - M. H. Jiang; Otto W. Visser; I. S. W. B. Prasetya; Alexandru Iosup (Concurr. Comput. Pract. Exp., 2018)

Modeling and Testing Implementations of Protocols with Complex Messages. - Tom Tervoort; I. S. W. B. Prasetya (CoRR, 2018)

Highly Relevant Routing Recommendation Systems for Handling Few Data Using MDL Principle. - Diyah Puspitaningrum; I. S. W. B. Prasetya; P. A. Wicaksono (CoRR, 2018)

Temporal algebraic query of test sequences. - I. S. W. B. Prasetya (J. Syst. Softw., 2018)

Random testing with austere budgeting in T3: benchmarking at SBST2019 testing tool contest. - I. S. W. B. Prasetya (SBST@ICSE, 2019)

Having fun in learning formal specifications. - 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 (ICSE (SEET), 2019)

IMPRESS: Improving Engagement in Software Engineering Courses Through Gamification. - Tanja E. J. Vos; I. S. W. B. Prasetya; Gordon Fraser 001; Iván Martínez-Ortiz; Iván J. Pérez-Colado; Rui Prada; José Bernardo Rocha; António Rito Silva (PROFES, 2019)

Test Model Coverage Analysis Under Uncertainty. - I. S. W. B. Prasetya; Rick Klomp (SEFM, 2019)

Model checking a C++ software framework: a case study. - John Lång; I. S. W. B. Prasetya (ESEC/SIGSOFT FSE, 2019)

Having Fun in Learning Formal Specifications. - 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; et al. (CoRR, 2019)

Aplib: Tactical Programming of Intelligent Agents. - I. S. W. B. Prasetya (CoRR, 2019)

Aplib: An Agent Programming Library for Testing Games. - I. S. W. B. Prasetya; Mehdi Dastani (AAMAS, 2020)

Tutorial on a Gamification Toolset for Improving Engagement of Students in Software Engineering Courses. - Tanja E. J. Vos; Gordon Fraser 001; Iván Martínez-Ortiz; Rui Prada; António Rito Silva; I. S. W. B. Prasetya (CSEE&T, 2020)

Aplib: Tactical Agents for Testing Computer Games. - I. S. W. B. Prasetya; Mehdi Dastani; Rui Prada; Tanja E. J. Vos; Frank Dignum; Fitsum Meshesha Kifetew (EMAS@AAMAS, 2020)

Agent-based Testing of Extended Reality Systems. - 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 (ICST, 2020)

Can Learning Formal Specification Be Fun? - Experience and Perspective. - I. S. W. B. Prasetya; Craig Q. H. D. Leek; Roan Oosenbrug; Petar Kostic; Mike de Vries (ICST Workshops, 2020)

Navigation and exploration in 3D-game automated play testing. - 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; et al. (A-TEST@ESEC/SIGSOFT FSE, 2020)

Automating TEST Case Design, Selection and Evaluation Report on 10 Editions of A-TESTWorkshop. - Tanja E. J. Vos; I. S. W. B. Prasetya; Sigrid Eldh; Sinem Getir; Ali Parsai; Pekka Aho (ACM SIGSOFT Softw. Eng. Notes, 2020)

An Appraisal Transition System for Event-Driven Emotions in Agent-Based Player Experience Testing. - Saba Gholizadeh Ansari; I. S. W. B. Prasetya; Mehdi Dastani; Frank Dignum; Gabriele Keller (EMAS@AAMAS, 2021)

An Agent-based Architecture for AI-Enhanced Automated Testing for XR Systems, a Short Paper. - I. S. W. B. Prasetya; Samira Shirzadehhajimahmood; Saba Gholizadeh Ansari; Pedro M. Fernandes; Rui Prada (ICST Workshops, 2021)

Using an agent-based approach for robust automated testing of computer games. - Samira Shirzadehhajimahmood; I. S. W. B. Prasetya; Frank Dignum; Mehdi Dastani; Gabriele Keller (A-TEST@ESEC/SIGSOFT FSE, 2021)

Search-Based Automated Play Testing of Computer Games: A Model-Based Approach. - Raihana Ferdous; Fitsum Meshesha Kifetew; Davide Prandi; I. S. W. B. Prasetya; Samira Shirzadehhajimahmood; Angelo Susi (SSBSE, 2021)

Test model coverage analysis under uncertainty: extended version. - I. S. W. B. Prasetya; Rick Klomp (Softw. Syst. Model., 2021)

An agent-based approach to automated game testing: an experience report. - 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 (A-TEST@ESEC/SIGSOFT FSE, 2022)

An online agent-based search approach in automated computer game testing with model construction. - Samira Shirzadehhajimahmood; I. S. W. B. Prasetya; Frank Dignum; Mehdi Dastani (A-TEST@ESEC/SIGSOFT FSE, 2022)

Model-based Player Experience Testing with Emotion Pattern Verification. - Saba Gholizadeh Ansari; I. S. W. B. Prasetya; Davide Prandi; Fitsum Meshesha Kifetew; Mehdi Dastani; Frank Dignum; Gabriele Keller (FASE, 2023)

Cooperative Multi-agent Approach for Automated Computer Game Testing. - Samira Shirzadehhajimahmood; I. S. Wishnu B. Prasetya; Mehdi Dastani; Frank Dignum (EMAS, 2024)

EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games. - Saba Gholizadeh Ansari; I. S. W. B. Prasetya; Mehdi Dastani; Frank Dignum; Gabriele Keller (ICST, 2024)

An Industrial Experience Leveraging the iv4XR Framework for BDD Testing of a 3D Sandbox Game. - Fernando Pastor Ricós; Beatriz Marín; I. S. W. B. Prasetya; Tanja E. J. Vos; Joseph Davidson; Karel Hovorka (RCIS (1), 2024)

PX-MBT: A framework for model-based player experience testing. - Saba Gholizadeh Ansari; I. S. W. B. Prasetya; Mehdi Dastani; Gabriele Keller; Davide Prandi; Fitsum Meshesha Kifetew; Frank Dignum (Sci. Comput. Program., 2024)

Concept Type Prompt Patterns for Automated Medical Reporting in Healthcare. - Chayenne van de Graaf; Tom Huibers; Wishnu Prasetya; Sjaak Brinkkemper (AIiH (1), 2025)

Model-Based Testing Computer Games: Does It Work? - I. S. W. B. Prasetya (ICSTW, 2025)

Behavior Driven Development for 3D games. - Fernando Pastor Ricós; Beatriz Marín; I. S. W. B. Prasetya; Tanja E. J. Vos; Joseph Davidson; Karel Hovorka (Data Knowl. Eng., 2025)