GitHub repository: stratosphr/_StraTest_
Primary language: Java
Created: 2016-11-23T21:46:01Z
Description: A software for automatic test generation from action systems abstraction.