I. S. W. B. Prasetya

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 50

Top Topics

Engineering Courses

Top Venues

A-TEST@ESEC/SIGSOFT FSE

Publications

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 (2024)
Samira Shirzadehhajimahmood, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum
Cooperative Multi-agent Approach for Automated Computer Game Testing. CoRR (2024)
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)
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)
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)
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)
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 (2022)
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 (2022)
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 (2021)
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)
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)
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 (2021)
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)
I. S. W. B. Prasetya, Rick Klomp
Test model coverage analysis under uncertainty: extended version. Softw. Syst. Model. 20 (2) (2021)
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)
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)
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) (2020)
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)
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 (2020)
I. S. W. B. Prasetya, Mehdi Dastani
Aplib: An Agent Programming Library for Testing Games. AAMAS (2020)
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)
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)
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)
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 (2019)
John Lång, I. S. W. B. Prasetya
Model Checking a C++ Software Framework, a Case Study. CoRR (2019)
I. S. W. B. Prasetya
Aplib: Tactical Programming of Intelligent Agents. CoRR (2019)
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 (2019)
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)
I. S. W. B. Prasetya, Rick Klomp
Test Model Coverage Analysis Under Uncertainty. SEFM (2019)
John Lång, I. S. W. B. Prasetya
Model checking a C++ software framework: a case study. ESEC/SIGSOFT FSE (2019)
I. S. W. B. Prasetya, Rick Klomp
Test Model Coverage Analysis under Uncertainty. CoRR (2019)
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)
I. S. W. B. Prasetya
Random testing with austere budgeting in T3: benchmarking at SBST2019 testing tool contest. SBST@ICSE (2019)
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)
Tom Tervoort, I. S. W. B. Prasetya
Modeling and Testing Implementations of Protocols with Complex Messages. CoRR (2018)
Alexander Elyasov, I. S. W. B. Prasetya, Jurriaan Hage
Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM. ISSRE (2018)
I. S. W. B. Prasetya, Minh An Tran
Neural Networks as Artificial Specifications. CoRR (2018)
Diyah Puspitaningrum, I. S. W. B. Prasetya, P. A. Wicaksono
Highly Relevant Routing Recommendation Systems for Handling Few Data Using MDL Principle. CoRR (2018)
I. S. W. B. Prasetya
T3 @SBST2018 benchmark, and how much we can get from asemantical testing. SBST@ICSE (2018)
I. S. W. B. Prasetya
Temporal algebraic query of test sequences. J. Syst. Softw. 136 (2018)
Diyah Puspitaningrum, G. Yulianti, I. S. W. B. Prasetya
Wiki-MetaSemantik: A Wikipedia-derived Query Expansion Approach based on Network Properties. CoRR (2017)
Tom Tervoort, I. S. W. B. Prasetya
APSL: A Light Weight Testing Tool for Protocols with Complex Messages. Haifa Verification Conference (2017)
M. H. Jiang, Otto W. Visser, I. S. W. B. Prasetya, Alexandru Iosup
Mirror: A computation-offloading framework for sophisticated mobile games. WoWMoM (2017)
I. S. W. B. Prasetya
Budget-aware random testing with T3: benchmarking at the SBST2016 testing tool contest. SBST@ICSE (2016)
Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou
HLogo: A Haskell STM-Based Parallel Variant of NetLogo. SIMULTECH (Selected Papers) (2016)
Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou
HLogo: A Parallel Haskell Variant of NetLogo. SIMULTECH (2016)
Urko Rueda, Tanja E. J. Vos, I. S. W. B. Prasetya
Unit Testing Tool Competition - Round Three. SBST@ICSE (2015)
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)
I. S. W. B. Prasetya
T3: Benchmarking at Third Unit Testing Tool Contest. SBST@ICSE (2015)
I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov
Exploiting Annotations to Test Break-off Branches. APSEC (2015)
I. S. W. B. Prasetya
Measuring T2 against SBST 2013 Benchmark Suite. ICST Workshops (2013)
I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra
Web Cube. FORTE (2006)
I. S. W. B. Prasetya, S. Doaitse Swierstra
Formal design of self-stabilizing programs. J. High Speed Networks 14 (1) (2005)
I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen
Building Verification Condition Generators by Compositional Extensions. SEFM (2005)
I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra
A UNITY-Based Framework Towards Component Based Systems. OPODIS (2004)
I. S. W. B. Prasetya, S. Doaitse Swierstra
Factorizing fault tolerance. Theor. Comput. Sci. 290 (2) (2003)
I. S. W. B. Prasetya
Mechanically Verified Self-Stabilizing Hierarchical Algorithms. TACAS (1997)
I. S. W. B. Prasetya
Error in the UNITY Rule for Subscripted Operators (Short Communication). Formal Aspects Comput. 6 (4) (1994)
I. S. W. B. Prasetya
Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms. TPHOLs (1994)
I. S. W. B. Prasetya
Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties. HUG (1993)
I. S. W. B. Prasetya
On the Style of Mechanical Proving. HUG (1993)