CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory.

Garvit Juniwal, Alexandre Donz, Jeff C. Jensen, Sanjit A. Seshia

Browse the full EMSOFT paper archive.