GASP (Genetic And Symbolic Performance analyzer) is a tool that performs a WCET (Worst-Case Execution Time) analysis of Java programs, and emits a test case that maximizes the execution time of the program under analysis.
pietrobraione/gasp
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|