| emsoft | participants

Jeff C. Jensen

EMSOFT 2014: 14th International Conference on Embedded Software

CPSGrader: Synthesizing Temporal Logic Testers for Auto-Grading an Embedded Systems Laboratory

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