embedded-software-laboratory/Summary-ETFA22

Source code and benchmarks for the ETFA22 submission.

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>