I. S. W. B. Prasetya

According to our database, I. S. W. B. Prasetya authored at least 67 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

Proceedings of the Research Challenges in Information Science, 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

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Cooperative Multi-agent Approach for Automated Computer Game Testing.

Samira Shirzadehhajimahmood, I. S. Wishnu B. Prasetya, Mehdi Dastani, Frank Dignum

Proceedings of the Engineering Multi-Agent Systems - 12th International Workshop, 2024

2023

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

Proceedings of the Fundamental Approaches to Software Engineering, 2023

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

Proceedings of the 13th International Workshop on Automating Test Case Design, 2022

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

Proceedings of the 13th International Workshop on Automating Test Case Design, 2022

2021

Test model coverage analysis under uncertainty: extended version.

I. S. W. B. Prasetya, Rick Klomp

Softw. Syst. Model., 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

Proceedings of the Search-Based Software Engineering - 13th International Symposium, 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

Proceedings of the A-TEST 2021: Proceedings of the 12th International Workshop on Automating TEST Case Design, 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

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

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

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

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

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, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari

Proceedings of the A-TEST 2020: Proceedings of the 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, 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

Proceedings of the 13th IEEE International Conference on Software Testing, 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

Proceedings of the 13th IEEE International Conference on Software Testing, 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

Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020

Tutorial on a Gamification Toolset for Improving Engagement of Students in Software Engineering Courses.

Tanja E. J. Vos, Gordon Fraser, Iván Martínez-Ortiz, Rui Prada, António Rito Silva, I. S. W. B. Prasetya

Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020

Aplib: An Agent Programming Library for Testing Games.

I. S. W. B. Prasetya, Mehdi Dastani

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Aplib: Tactical Programming of Intelligent Agents.

I. S. W. B. Prasetya

CoRR, 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, Mike de Vries, Wink M. van Zon

CoRR, 2019

Model checking a C++ software framework: a case study.

John Lång, I. S. W. B. Prasetya

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Test Model Coverage Analysis Under Uncertainty.

I. S. W. B. Prasetya, Rick Klomp

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

IMPRESS: Improving Engagement in Software Engineering Courses Through Gamification.

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

Proceedings of the Product-Focused Software Process Improvement, 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

Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019

Random testing with austere budgeting in T3: benchmarking at SBST2019 testing tool contest.

I. S. W. B. Prasetya

Proceedings of the 12th International Workshop on Search-Based Software Testing, 2019

2018

Temporal algebraic query of test sequences.

I. S. W. B. Prasetya

J. Syst. Softw., 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

Modeling and Testing Implementations of Protocols with Complex Messages.

Tom Tervoort, I. S. W. B. Prasetya

CoRR, 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

[Research Paper] Fine-Grained Model Slicing for Rebel.

Renate Eilers, Jurriaan Hage, Wishnu Prasetya, Joost Bosman

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Neural Networks as Artificial Specifications.

I. S. Wishnu B. Prasetya, Minh An Tran

Proceedings of the Testing Software and Systems, 2018

Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM.

Alexander Elyasov, I. S. W. B. Prasetya, Jurriaan Hage

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

T3 @SBST2018 benchmark, and how much we can get from asemantical testing.

I. S. W. B. Prasetya

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

2017

Wiki-MetaSemantik: A Wikipedia-derived Query Expansion Approach based on Network Properties.

Diyah Puspitaningrum, G. Yulianti, I. S. W. B. Prasetya

CoRR, 2017

Mirror: A computation-offloading framework for sophisticated mobile games.

M. H. Jiang, Otto W. Visser, I. S. W. B. Prasetya, Alexandru Iosup

Proceedings of the 18th IEEE International Symposium on A World of Wireless, 2017

APSL: A Light Weight Testing Tool for Protocols with Complex Messages.

Tom Tervoort, I. S. W. B. Prasetya

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

HLogo: A Haskell STM-Based Parallel Variant of NetLogo.

Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2016

HLogo: A Parallel Haskell Variant of NetLogo.

Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou

Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, 2016

Budget-aware random testing with T3: benchmarking at the SBST2016 testing tool contest.

I. S. W. B. Prasetya

Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016

2015

T3i: a tool for generating and querying test suites for Java.

I. S. Wishnu B. Prasetya

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 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

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Unit Testing Tool Competition - Round Three.

Urko Rueda, Tanja E. J. Vos, I. S. W. B. Prasetya

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

T3: Benchmarking at Third Unit Testing Tool Contest.

I. S. W. B. Prasetya

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Exploiting Annotations to Test Break-off Branches.

I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

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

Proceedings of the Information Retrieval Technology, 2015

2014

Reduce first, debug later.

Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Andreas Nikas

Proceedings of the 9th International Workshop on Automation of Software Test, 2014

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

Proceedings of the 2014 Software Evolution Week, 2014

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

Proceedings of the Future Internet Testing - First International Workshop, 2013

T3, a Combinator-Based Random Testing Tool for Java: Benchmarking.

I. S. Wishnu B. Prasetya

Proceedings of the Future Internet Testing - First International Workshop, 2013

Logging to Facilitate Combinatorial System Testing.

Peter M. Kruse, I. S. Wishnu B. Prasetya, Jurriaan Hage, Alexander Elyasov

Proceedings of the Future Internet Testing - First International Workshop, 2013

Guided Algebraic Specification Mining for Failure Simplification.

Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage

Proceedings of the Testing Software and Systems, 2013

Measuring T2 against SBST 2013 Benchmark Suite.

I. S. W. B. Prasetya

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2011

Functional Instrumentation of ActionScript Programs with Asil.

Arie Middelkoop, Alexander B. Elyasov, Wishnu Prasetya

Proceedings of the Implementation and Application of Functional Languages, 2011

Future Internet Testing with FITTEST.

Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder

Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2008

Trace-based Reflexive Testing of OO Programs with T2.

Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars

Proceedings of the First International Conference on Software Testing, 2008

2006

Incremental Implementation of Syntax Driven Logics.

Ignatius Sri Wishnu Brata Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen

J. Softw., 2006

Web Cube.

I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Formal design of self-stabilizing programs.

I. S. W. B. Prasetya, S. Doaitse Swierstra

J. High Speed Networks, 2005

Building Verification Condition Generators by Compositional Extensions.

I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

A UNITY-Based Framework Towards Component Based Systems.

I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra

Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

2003

Factorizing fault tolerance.

I. S. W. B. Prasetya, S. Doaitse Swierstra

Theor. Comput. Sci., 2003

1997

Mechanically Verified Self-Stabilizing Hierarchical Algorithms.

I. S. W. B. Prasetya

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1994

Error in the UNITY Rule for Subscripted Operators (Short Communication).

I. S. W. B. Prasetya

Formal Aspects Comput., 1994

Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms.

I. S. W. B. Prasetya

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

On the Style of Mechanical Proving.

I. S. W. B. Prasetya

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties.

I. S. W. B. Prasetya

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993