I. S. W. B. Prasetya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
16
Active years
1997–2025
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EUMAS | Engineering Multi-agent Systems and Generative AI: Report from the Agent Toolkits 2025 Community Session. | Andrei Ciortea, Katharine Beaumont, Gianluca Aguzzi, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Giovanni Ciatto, Rem W. Collier, Mehdi Dastani, Angelo Ferrando, Andrea Gatti, nder Grcan, Timotheus Kampik, Jrmy Leme, Somsakun Maneerat, Elisa Marengo, Viviana Mascardi, Simon Mayer, Roberto Micalizio, Guillaume Muller, Vivek Nallur, Richard Niamke, Andrei Olaru, Heloise Pajot, Chlo Petridis, I. S. W. B. Prasetya, Alessandro Ricci, Alexandru Sorici, Stefano Tedeschi, Michael Winikoff |
| 2025 | ICST | Model-Based Testing Computer Games: Does It Work? | I. S. W. B. Prasetya |
| 2024 | ICST | 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 |
| 2024 | RCIS | An Industrial Experience Leveraging the iv4XR Framework for BDD Testing of a 3D Sandbox Game. | Fernando Pastor Rics, Beatriz Marn, I. S. W. B. Prasetya, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka |
| 2023 | FASE | 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 |
| 2021 | EMAS | 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 |
| 2021 | ICST | 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 |
| 2021 | SSBSE | 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 |
| 2020 | EMAS | 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 |
| 2020 | ICST | 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 |
| 2020 | ICST | 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 |
| 2019 | ICSE | Random testing with austere budgeting in T3: benchmarking at SBST2019 testing tool contest. | I. S. W. B. Prasetya |
| 2019 | ICSE | 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 |
| 2019 | PROFES | IMPRESS: Improving Engagement in Software Engineering Courses Through Gamification. | Tanja E. J. Vos, I. S. W. B. Prasetya, Gordon Fraser, Ivn Martnez-Ortiz, Ivn J. Prez-Colado, Rui Prada, Jos Bernardo Rocha, Antnio Rito Silva |
| 2019 | SEFM | Test Model Coverage Analysis Under Uncertainty. | I. S. W. B. Prasetya, Rick Klomp |
| 2018 | ICSE | T3 @SBST2018 benchmark, and how much we can get from asemantical testing. | I. S. W. B. Prasetya |
| 2018 | ISSRE | Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM. | Alexander Elyasov, I. S. W. B. Prasetya, Jurriaan Hage |
| 2017 | WoWMoM | Mirror: A computation-offloading framework for sophisticated mobile games. | M. H. Jiang, Otto W. Visser, I. S. W. B. Prasetya, Alexandru Iosup |
| 2016 | ICSE | Budget-aware random testing with T3: benchmarking at the SBST2016 testing tool contest. | I. S. W. B. Prasetya |
| 2016 | SIMULTECH | HLogo: A Parallel Haskell Variant of NetLogo. | Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou |
| 2016 | SIMULTECH | HLogo: A Haskell STM-Based Parallel Variant of NetLogo. | Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou |
| 2015 | APSEC | Exploiting Annotations to Test Break-off Branches. | I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov |
| 2015 | ICSE | T3: Benchmarking at Third Unit Testing Tool Contest. | I. S. W. B. Prasetya |
| 2015 | ICSE | Unit Testing Tool Competition - Round Three. | Urko Rueda, Tanja E. J. Vos, I. S. W. B. Prasetya |
| 2013 | ICST | Measuring T2 against SBST 2013 Benchmark Suite. | I. S. W. B. Prasetya |
| 2006 | FORTE | Web Cube. | I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra |
| 2005 | SEFM | Building Verification Condition Generators by Compositional Extensions. | I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen |
| 2004 | OPODIS | A UNITY-Based Framework Towards Component Based Systems. | I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra |
| 1997 | TACAS | Mechanically Verified Self-Stabilizing Hierarchical Algorithms. | I. S. W. B. Prasetya |