Oxygen project (formerly PCTgen) - Experimental Model-Based Testing Environment

About the project

Oxygen (formerly PCTgen) in the nutshell

Key features

Research and development

PCTgen screenshot 1 PCTgen screenshot 2 Oxygen screenshot 3

Oxygen 2.0 beta: Added features

Creating the SUT model

Generation of test cases

Future development

Generation of test cases

Release 1.2: Added features

Creating the graph

Release 1.1: Features overview

Project structure

Creating the graph

Generation of test cases



Oxygen 2.0 beta

Literature about Oxygen

Feedback welcomed!


Research team

Oxygen designed and implemented by