Test Case Reasoning Assistant

The TCRA main screen.
TCRA Main Screen
Main screen after opening an exercise.
Open Test Case
TCRA tool displaying a specification for an alternative language.
Alternative language specification


TCRA Graph Tool.
Graph Tool Main Screen
Graph Tool with the form filled out.
Graph Tool in use