{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:17:23Z","timestamp":1759033043168,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"name":"MARCO"},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-1139138"],"award-info":[{"award-number":["CCF-1139138"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,12]]},"DOI":"10.1145\/2656045.2656053","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["CPSGrader"],"prefix":"10.1145","author":[{"given":"Garvit","family":"Juniwal","sequence":"first","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Donz\u00e9","sequence":"additional","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff C.","family":"Jensen","sequence":"additional","affiliation":[{"name":"National Instruments"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"volume-title":"Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI)","year":"2013","author":"Alur R.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1989.63473"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_12"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007730.1007735"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_9"},{"volume-title":"University of California","year":"2010","author":"Jensen J. C.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2011.5982785"},{"key":"e_1_3_2_1_9_1","unstructured":"J. C. Jensen E. A. Lee and S. A. Seshia. An Introductory Lab in Embedded and Cyber-Physical Systems. LeeSeshia.org Berkeley CA 2012.  J. C. Jensen E. A. Lee and S. A. Seshia. An Introductory Lab in Embedded and Cyber-Physical Systems . LeeSeshia.org Berkeley CA 2012."},{"volume-title":"Proc. First Workshop on CPS Education (CPS-Ed)","year":"2013","author":"Jensen J. C.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461337"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_13_1","unstructured":"E. A. Lee and S. A. Seshia. EECS 149 course website. http:\/\/chess.eecs.berkeley.edu\/eecs149.  E. A. Lee and S. A. Seshia. EECS 149 course website. http:\/\/chess.eecs.berkeley.edu\/eecs149."},{"key":"e_1_3_2_1_14_1","unstructured":"E. A. Lee and S. A. Seshia. Introduction to Embedded Systems - A Cyber-Physical Systems Approach. LeeSeshia.org Berkeley CA 2011.  E. A. Lee and S. A. Seshia. Introduction to Embedded Systems - A Cyber-Physical Systems Approach . LeeSeshia.org Berkeley CA 2011."},{"key":"e_1_3_2_1_15_1","unstructured":"E. A. Lee S. A. Seshia and J. C. Jensen. EECS149.1x Course Website on edX. https:\/\/www.edx.org\/course\/uc-berkeleyx\/uc-berkeleyx-eecs149-1x-cyber-physical-1629.  E. A. Lee S. A. Seshia and J. C. Jensen. EECS149.1x Course Website on edX. https:\/\/www.edx.org\/course\/uc-berkeleyx\/uc-berkeleyx-eecs149-1x-cyber-physical-1629."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837466"},{"volume-title":"Proceedings of the International Conference on Runtime Verification (RV)","year":"2012","author":"Li W.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(85)90020-3"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_2_1_20_1","unstructured":"Massachusetts Institute of Technology (MIT). The iLab Project. https:\/\/wikis.mit.edu\/confluence\/display\/ILAB2\/Home Last accessed: February 2014.  Massachusetts Institute of Technology (MIT). The iLab Project. https:\/\/wikis.mit.edu\/confluence\/display\/ILAB2\/Home Last accessed: February 2014."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2013.6572451"},{"key":"e_1_3_2_1_22_1","unstructured":"L. Pappano. The Year of the MOOC. http:\/\/www.nytimes.com\/2012\/11\/04\/education\/edlife\/massive-open-online-courses-are-multiplying-at-a-rapid-pace.html November 2012.  L. Pappano. The Year of the MOOC. http:\/\/www.nytimes.com\/2012\/11\/04\/education\/edlife\/massive-open-online-courses-are-multiplying-at-a-rapid-pace.html November 2012."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2530544.2530546"},{"volume-title":"Intl. Conf. of the Association for the Advancement of Artificial Intelligence (AAAI)","year":"2012","author":"Singh R.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462195"},{"key":"e_1_3_2_1_27_1","unstructured":"R. Smith. Open dynamics engine. http:\/\/ode.org.  R. Smith. Open dynamics engine. http:\/\/ode.org."}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"New Delhi India","acronym":"ESWEEK'14"},"container-title":["Proceedings of the 14th International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656053","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656045.2656053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:34Z","timestamp":1750231174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656053"}},"subtitle":["synthesizing temporal logic testers for auto-grading an embedded systems laboratory"],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":27,"alternative-id":["10.1145\/2656045.2656053","10.1145\/2656045"],"URL":"https:\/\/doi.org\/10.1145\/2656045.2656053","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}