%0 Conference Paper %1 conf/emsoft/JuniwalDJS14 %A Juniwal, Garvit %A Donzé, Alexandre %A Jensen, Jeff C. %A Seshia, Sanjit A. %B EMSOFT %D 2014 %E Mitra, Tulika %E Reineke, Jan %I ACM %K %P 24:1-24:10 %T CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2014.html#JuniwalDJS14

@inproceedings{conf/emsoft/JuniwalDJS14, added-at = {2023-12-13T07:53:31.000+0100}, author = {Juniwal, Garvit and Donzé, Alexandre and Jensen, Jeff C. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/2a6189cc27157dec09ea0e286058d759f/admin}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2014}, editor = {Mitra, Tulika and Reineke, Jan}, ee = {https://doi.org/10.1145/2656045.2656053}, interhash = {be84f186447bd8cdc9f0779a613038e1}, intrahash = {a6189cc27157dec09ea0e286058d759f}, keywords = {}, pages = {24:1-24:10}, publisher = {ACM}, timestamp = {2023-12-13T07:53:31.000+0100}, title = {CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2014.html#JuniwalDJS14}, year = 2014 }