T3 @SBST2018 benchmark, and how much we can get from asemantical testing
Prasetya, I. S. W. B.
Published in 2018 IEEE/ACM 11th International Workshop on Search-Based Software Testing (SBST) (28.05.2018)
Published in 2018 IEEE/ACM 11th International Workshop on Search-Based Software Testing (SBST) (28.05.2018)
Get full text
Conference Proceeding
Model-based player experience testing with emotion pattern verification
Ansari, Saba Gholizadeh, Prasetya, I.S.W.B., Prandi, Davide, Kifetew, Fitsum Meshesha, Dastani, Mehdi, Dignum, Frank, Keller, Gabriele
Published in Fundamental approaches to software engineering (2023)
Published in Fundamental approaches to software engineering (2023)
Get full text
Conference Proceeding
An Appraisal Transition System for Event-Driven Emotions in Agent-Based Player Experience Testing
Ansari, Saba Gholizadeh, Prasetya, I. S. W. B., Dastani, Mehdi, Dignum, Frank, Keller, Gabriele
Published in Engineering Multi-Agent Systems (2022)
Published in Engineering Multi-Agent Systems (2022)
Get full text
Book Chapter
Conference Proceeding
The Analysis of Rank Fusion Techniques to Improve Query Relevance
Puspitaningrum, Diyah, Pagua, Jeri Apriansyah, Erlansari, Aan, Fauzi, Fauzi, Efendi, Rusdi, Andreswari, Desi, Prasetya, I.S.W.B.
Published in Telkomnika (01.12.2015)
Published in Telkomnika (01.12.2015)
Get full text
Journal Article
EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games
Ansari, Saba Gholizadeh, Prasetya, I. S. W. B., Dastani, Mehdi, Dignum, Frank, Keller, Gabriele
Published in 2024 IEEE Conference on Software Testing, Verification and Validation (ICST) (27.05.2024)
Published in 2024 IEEE Conference on Software Testing, Verification and Validation (ICST) (27.05.2024)
Get full text
Conference Proceeding
Having Fun in Learning Formal Specifications
Prasetya, Wishnu, Leek, Craig, Melkonian, Orestis, ten Tusscher, Joris, van Bergen, Jan, Everink, Jasper, van der Klis, Thomas, Meijerink, Rick, Oosenbrug, Roan, Oostveen, Jelle, van den Pol, Tijmen, van Zon, Wink
Published in 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) (01.05.2019)
Published in 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) (01.05.2019)
Get full text
Conference Proceeding
Unit Testing Tool Competition -- Round Three
Rueda, Urko, Vos, Tanja E. J., Prasetya, I. S. W. B.
Published in 2015 IEEE/ACM 8th International Workshop on Search-Based Software Testing (01.05.2015)
Published in 2015 IEEE/ACM 8th International Workshop on Search-Based Software Testing (01.05.2015)
Get full text
Conference Proceeding
Trace-based Reflexive Testing of OO Programs with T2
Prasetya, I.S.W.B., Vos, T.E.J., Baars, A.
Published in 2008 1st International Conference on Software Testing, Verification, and Validation (01.04.2008)
Published in 2008 1st International Conference on Software Testing, Verification, and Validation (01.04.2008)
Get full text
Conference Proceeding