{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:04:28Z","timestamp":1725563068198},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155840"},{"type":"electronic","value":"9783642155857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15585-7_18","type":"book-chapter","created":{"date-parts":[[2010,8,25]],"date-time":"2010-08-25T01:58:59Z","timestamp":1282701539000},"page":"181-188","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Discovery of Unspecified Behaviors in Automotive Control Software"],"prefix":"10.1007","author":[{"given":"Muzammil","family":"Shahbaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Eschbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Cui, W.: Discoverer: Automatic protocol reverse engineering from network traces. In: Proceedings of the 16th USENIX Security Symposium (2007)"},{"key":"18_CR2","unstructured":"dSPACE, \n                    \n                      http:\/\/www.dspaceinc.com"},{"key":"18_CR3","unstructured":"Houdek, F., Paech, B.: Das t\u00fcrsteuerger\u00e4t. eine beispielspezifikation. Technical Report 002.02\/D, Fraunhofer IESE (2002)"},{"key":"18_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","volume-title":"An introduction to computational learning theory","author":"M.J. Kearns","year":"1994","unstructured":"Kearns, M.J., Vazirani, U.V.: An introduction to computational learning theory. MIT Press, Cambridge (1994)"},{"key":"18_CR5","unstructured":"Lehman, E., Shelat, A.: Approximation algorithms for grammar-based compression. In: Proceedings of the 13th annual ACM-SIAM symposium on Discrete algorithms, pp. 205\u2013212 (2002)"},{"key":"18_CR6","unstructured":"MBtech: Provetech:ta, \n                    \n                      http:\/\/www.mbtech-group.com"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-24774-6_15","volume-title":"Component-Based Software Engineering","author":"A. M\u00f6ller","year":"2004","unstructured":"M\u00f6ller, A., Fr\u00f6berg, J., Nolin, M.: Industrial requirements on component technologies for embedded systems. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 146\u2013161. Springer, Heidelberg (2004)"},{"issue":"2","key":"18_CR8","first-page":"225","volume":"7","author":"D. Peled","year":"2002","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. Journal of Automata, Languages and Combinatorics\u00a07(2), 225\u2013246 (2002)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"issue":"5","key":"18_CR9","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.2003.1199071","volume":"29","author":"S.J. Prowell","year":"2003","unstructured":"Prowell, S.J., Poore, J.H.: Foundations of sequence-based software specification. IEEE Trans. Softw. Eng.\u00a029(5), 417\u2013429 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"18_CR10","volume-title":"Classical and Object-Oriented Software Engineering","author":"S.R. Schach","year":"1995","unstructured":"Schach, S.R.: Classical and Object-Oriented Software Engineering. McGraw-Hill Professional, New York (1995)"},{"key":"18_CR11","unstructured":"Shahbaz, M.: Reverse Engineering Enhanced State Models of Black Box Components to support Integration Testing. PhD thesis, Grenoble Institute of Technology (2008)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-05089-3_14","volume-title":"FM 2009: Formal Methods","author":"M. Shahbaz","year":"2009","unstructured":"Shahbaz, M., Groz, R.: Inferring mealy machines. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 207\u2013222. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Testing \u2013 Practice and Research Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15585-7_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:10:26Z","timestamp":1606187426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15585-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155840","9783642155857"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15585-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}