|
Project Information
|
OCSEGen is used to close open components and systems with its execution context (environment), generated based on assumptions specified by a user or extracted from the code. OCSEGen can be used as a front end for analysis techniques such as testing, model checking and symbolic execution, which may require the system under test to be closed with its environment first. OCSEGen can be used as
To learn more about OCSEGen, please visit its wiki pages. |