research
∙
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...
share
research
∙
11/11/2022
An Agent-based Approach to Automated Game Testing: an Experience Report
Computer games are very challenging to handle for traditional automated ...
research
∙
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 ...
research
∙
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...
research
∙
09/15/2020
Navigation and Exploration in 3D-Game Automated Play Testing
To enable automated software testing, the ability to automatically navig...
research
∙
12/14/2019
IMPRESS: Improving Engagement in Software Engineering Courses through Gamification
Software Engineering courses play an important role for preparing studen...
research
∙
11/12/2019
Aplib: Tactical Programming of Intelligent Agents
This paper presents aplib, a Java library for programming intelligent ag...
research
∙
09/11/2019
Test Model Coverage Analysis under Uncertainty
In model-based testing (MBT) we may have to deal with a non-deterministi...
research
∙
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...
research
∙
03/01/2019
Having Fun in Learning Formal Specifications
There are many benefits in providing formal specifications for our softw...
research
∙
09/15/2018
Neural Networks as Artificial Specifications
In theory, a neural network can be trained to act as an artificial speci...
research
∙
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...
research
∙
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...
research
∙
04/11/2018
Modeling and Testing Implementations of Protocols with Complex Messages
This paper presents a new language called APSL for formally describing p...
research
∙
11/23/2017