Research

Software

AC3R	Automatic Crash Constructor from Crash Report (A3CR) Demo of constructing simulations from crash reports. GitHub Repository
AsFault	Evolutionary test case generation for simulation testing of autonomous vehicles. GitHub Repository
Code Defenders	Code Defenders is a testing game. Players either "attack" a Java class under test by creating code mutants, or "defend" the class by writing unit tests. Webseite GitHub Repository
Evosuite	EvoSuite is a search-based tool to automatically generate JUnit tests for Java classes. Webseite GitHub Repository
LitterBox	Static code analysis tool for detecting recurring bug patterns in Scratch projects. GitHub Repository
MATE	MATE (Mobile Accessibility Testing) is a search-based test generation tool for Android. Server GitHub Repository
Pynguin	Pynguin is a framework to automatically generate unit tests for Python programs. Webpage GitHub Repository
Whisker	Whisker is a framework for testing Scratch programs automatically, either by writing Selenium-style automated tests, or by using automated property-driven testing. Web-GUI GitHub Repository

Current Projects

DFG-Funded Project TYPES4STRINGS: Searching for Errors in Character Strings

A team from the University of Passau, led by Professor Gordon Fraser, is developing tools for checking strings in programming languages. String-related errors are to be detected during testing and in the production of programs with, among other things, the help of generative language models.

DeepMBT: New paths to software quality with model-based testing and artificial intelligence

In the Bavarian-Czech project ‘DeepMBT’, led by Professor Gordon Fraser, researchers from the Universities of Passau and Prague are investigating how artificial intelligence methods can be used to find software errors more effectively and automatically.

INTERREG Project: Cross-border InnovationSpace³

In an effort to make businesses based in the rural border region around the cities of Passau; Ried and Schärding fit for the future, INN.KUBATOR Gründerzentrum Passau, Techno-Z Ried and TGZ Technologie- und Gründerzentrum Schärding have joined forces to set up a multi-polar cross-border InnovationSpace3.