STAARIUM
by. 
Unintended software behavior can cause disasters that harm lives, property, and society.
We prevent them with automated SW error detection, SW testing, SW fault localization, SW patch generation,
and you can try each of these technologies yourself through the web interfaces below.