{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T05:28:56Z","timestamp":1738992536292,"version":"3.37.0"},"publisher-location":"Dordrecht","reference-count":11,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402098222"},{"type":"electronic","value":"9781402098239"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-9823-9_6","type":"book-chapter","created":{"date-parts":[[2009,2,17]],"date-time":"2009-02-17T10:58:58Z","timestamp":1234868338000},"page":"75-88","source":"Crossref","is-referenced-by-count":0,"title":["Rule-Set Extraction from C-Code"],"prefix":"10.1007","author":[{"given":"Franz","family":"Wotawa","sequence":"first","affiliation":[]},{"given":"Willibald","family":"Krenn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"W. Krenn and F. Wotawa, Gradient-based diagnosis, In Proceedings of the International Workshop on Principles of Diagnosis, pages 314\u2013321, 2007."},{"issue":"7","key":"6_CR2","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"M. Weiser, Programmers Use Slices when Debugging, Communications of the ACM, 25(7):446\u2013452, 1982.","journal-title":"Communications of the ACM"},{"issue":"4","key":"6_CR3","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"M. Weiser, Program Slicing, IEEE Transactions on Software Engineering, 10(4):352\u2013357, 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"T. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, Software verification with Blast,Proceedings of the Tenth International Workshop on Model Checking of Software(SPIN), Lecture Notes in Computer Science 2648, Springer-Verlag 2003.","DOI":"10.1007\/3-540-44829-2_17"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"T. Ball and S. K. Rajamani, The SLAM project: debugging system software via staticanalysis, Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles ofprogramming languages, pages 1\u20133, Jan. 2002.","DOI":"10.1145\/503272.503274"},{"key":"6_CR6","unstructured":"C. Edmund, D. Kroening, and F. Lerda, Flavio, A Tool for Checking ANSI-C Programs,Tools and Algorithms for the Construction and Analysis of System, 2004."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C.Xiao, The Daikon system for dynamic detection of likely invariants, Science ofComputer Programming, 2007.","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"C. Csallner, N. Tillmann, and Y. Smaragdakis. Dysy: Dynamic Symbolic Execution forInvariant Inference. In Robby, editor, ICSE, pages 281\u2013290, ACM, 2008.","DOI":"10.1145\/1368088.1368127"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"D. Du Varney and S. Purushothaman Iyer, C Wolf \u2013 A Toolset for Extracting Modelsfrom C Programs, Formal Techniques for Networked and Distributed Sytems, 2002.","DOI":"10.1007\/3-540-36135-9_17"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"S. Shoham, E. Yahav, S. Fink, and M. Pistoia, Static Specification Mining UsingAutomata-Based Abstractions, ISSTA, 2007.","DOI":"10.1145\/1273463.1273487"},{"issue":"2","key":"6_CR11","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"D. Angluin, Learning regular sets from queries and counterexamples, Information and Computation, 75(2):87\u2013106, 1987.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Electrical Engineering","Intelligent Technical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-9823-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T19:23:50Z","timestamp":1738956230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-9823-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402098222","9781402098239"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-9823-9_6","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[]}}