Dorsa Sadigh, Sanjit A. Seshia, Mona Gupta. Automating exercise generation: a step towards meeting the MOOC challenge for embedded systems. In Peter Marwedel, editor, Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, WESE 2012, Tampere, Finland, October 12, 2012. pages 2, ACM, 2012. [doi]
Abstract is missing.