ICST 2021
Mon 12 - Fri 16 April 2021
Tue 13 Apr 2021 13:00 - 13:30 at Boa Viagem - Tools Demo I

The iv4XR Framework is an open source agent-based Java framework for automated testing. Currently the main use case is for testing computer games. The main novelty of iv4XR is in its choice for an agent-based approach. Agents are inherently reactive programs, and hence a good match to test highly interactive systems such as computer games. Iv4XR uses BDI based agency, which allows an agent to have belief and desire. Desires are formulated as goals, e.g. to test a certain state in the SUT. Goal solvers can be composed from reasoning rules and rule combinators, and complex goals can be formulated through goal combinators. This approach combines a proactive dimension, that together with the reactive nature of agents provides more versatility and strength for automated testing.

Tue 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

13:00 - 14:30
13:00
30m
Demonstration
Tool Demonstration: iv4XR Agent-based Testing Framework
Tool Demos Track
Wishnu Prasetya Utrecht University, Samira Shirzadehhajimahmood , Saba Gholizadeh Ansari Utrecht University
DOI Media Attached
13:30
30m
Demonstration
Gamekins: Gamifying Software Testing in Jenkins
Tool Demos Track
Philipp Straubinger University of Passau, Gordon Fraser University of Passau
14:00
30m
Demonstration
StackFul: Inter-Process Concolic Testing for Full-stack Web Applications
Tool Demos Track
Maarten Vandercammen Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel