Wishnu Prasetya

Dr. Wishnu Prasetya is an Assistant Professor at Utrecht University's Faculty of Science, Department of Software Technology. His research focuses on automated software testing, artificial intelligence applications in testing, program verification, and game technology. He leads projects including iv4XR (AI-enhanced automated testing) and IMPRESS (gamification in software engineering education), with demonstrated applications in computer game testing and extended reality systems.

Research Interests:
Prasetya's work spans automated testing methodologies enhanced by AI, formal verification techniques, and gamification. Key domains include:

• Agent-based testing frameworks for complex systems
• Model-based verification under uncertainty
• Player experience modeling in games
• Automated test generation for Java and XR systems
• Gamification of software engineering education

Publication Trends:
His recent articles (2020-2025) show strong focus on AI-driven testing approaches for games and extended reality, with innovations in agent-based test automation, formal verification of player experiences, and industrial applications of testing frameworks. Over 80% of recent publications involve multi-agent architectures or model-based validation techniques.

Educational Contributions:

• Teaches courses on Program semantics and verification and Software testing and verification
• Developed gamification tools to improve student engagement in software engineering courses

Tools & Frameworks:

• iv4XR/Aplib: Agent-programming testing framework
• T3: Automated testing tool for Java
• APSL: Protocol testing tool for complex systems