I. S. W. B. Prasetya | DeepAI

AI Chat

Featured Co-authors

Gordon Fraser
39 publications
Frank Dignum
18 publications
Mehdi Dastani
14 publications
Rui Prada
8 publications
Jelle J. Oostveen
7 publications
Diyah Puspitaningrum
7 publications
Antonio Rito Silva
6 publications
Samira Shirzadehhajimahmood
3 publications
Saba Gholizadeh Ansari
3 publications
Gabriele Keller
3 publications
Angelo Susi
3 publications

∙ 11/13/2022

An Online Agent-Based Search Approach in Automated Computer Game Testing with Model Construction

The complexity of computer games is ever increasing. In this setup, guid...

0 Samira Shirzadehhajimahmood, et al. ∙

∙ 11/11/2022

An Agent-based Approach to Automated Game Testing: an Experience Report

Computer games are very challenging to handle for traditional automated ...

0 I. S. W. B. Prasetya, et al. ∙

∙ 05/12/2021

An Appraisal Transition System for Event-driven Emotions in Agent-based Player Experience Testing

Player experience (PX) evaluation has become a field of interest in the ...

0 Saba Gholizadeh Ansari, et al. ∙

∙ 04/13/2021

An Agent-based Architecture for AI-Enhanced Automated Testing for XR Systems, a Short Paper

This short paper presents an architectural overview of an agent-based fr...

0 I. S. W. B. Prasetya, et al. ∙

∙ 09/15/2020

Navigation and Exploration in 3D-Game Automated Play Testing

To enable automated software testing, the ability to automatically navig...

0 I. S. W. B. Prasetya, et al. ∙

∙ 12/14/2019

IMPRESS: Improving Engagement in Software Engineering Courses through Gamification

Software Engineering courses play an important role for preparing studen...

0 Tanja E. J. Vos, et al. ∙

∙ 11/12/2019

Aplib: Tactical Programming of Intelligent Agents

This paper presents aplib, a Java library for programming intelligent ag...

0 I. S. W. B. Prasetya, et al. ∙

∙ 09/11/2019

Test Model Coverage Analysis under Uncertainty

In model-based testing (MBT) we may have to deal with a non-deterministi...

0 I. S. W. B. Prasetya, et al. ∙

∙ 06/29/2019

Model Checking a C++ Software Framework, a Case Study

This paper presents a case study on applying two model checkers, SPIN an...

0 John Lång, et al. ∙

∙ 03/01/2019

Having Fun in Learning Formal Specifications

There are many benefits in providing formal specifications for our softw...

0 I. S. W. B. Prasetya, et al. ∙

∙ 09/15/2018

Neural Networks as Artificial Specifications

In theory, a neural network can be trained to act as an artificial speci...

0 I. S. W. B. Prasetya, et al. ∙

∙ 04/18/2018

Highly Relevant Routing Recommendation Systems for Handling Few Data Using MDL Principle and Embedded Relevance Boosting Factors

A route recommendation system can provide better recommendation if it al...

0 Diyah Puspitaningrum, et al. ∙

∙ 04/18/2018

Highly Relevant Routing Recommendation Systems for Handling Few Data Using MDL Principle

Many classification algorithms existing today suffer in handling many so...

0 Diyah Puspitaningrum, et al. ∙

∙ 04/11/2018

Modeling and Testing Implementations of Protocols with Complex Messages

This paper presents a new language called APSL for formally describing p...

0 Tom Tervoort, et al. ∙

∙ 11/23/2017

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

This paper discusses the use of Wikipedia for building semantic ontologi...

0 D. Puspitaningrum, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world