Skip to content

embedded-software-laboratory/Summary-ETFA22

Repository files navigation

Summary-ETFA22

Source code and benchmarks for the ETFA22 submission.

Evaluation

Test Suite Generation on PLCopen Safety

  • Use "0" for Summarization vs No Summarization
  • Use "1" for MB vs NMB
  • Use "2" for NMB
$ docker build -f Dockerfile -t etfa22 .
$ docker run etfa22 <PARAMETER>