README.md

GASP

About

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.