Document Actions
Computing Transition Constraints for Java Programs
As team project assignment, a transition constraint generator for Java/JML source code is being developed, the currently supported features include:
- Simple / Field Assignments
- Exception Handling
- Conditional Expressions (if-statements)
- Dynamic object creation
- Method Invocations
- Unidimensional Arrays
The report paper can be found here.
The source code for the project can be found here at the Subversion repository.