Milestones

  • ICT4S
    sustainable-software / eca-symbolic-execution
    Jan 15, 2020–Feb 5, 2020
    Closed
    18/18 complete
    100%
  • FMICS
    sustainable-software / eca-symbolic-execution
    expired on May 15, 2020
    Closed
    14/14 complete
    100%
  • STTT
    sustainable-software / eca-symbolic-execution
    Open
    1/2 complete
    50%