{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T05:06:33Z","timestamp":1745989593025,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642047718"},{"type":"electronic","value":"9783642047725"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04772-5_38","type":"book-chapter","created":{"date-parts":[[2009,9,23]],"date-time":"2009-09-23T20:32:44Z","timestamp":1253737964000},"page":"287-294","source":"Crossref","is-referenced-by-count":10,"title":["Automatic Test Generation for Coverage Analysis Using CBMC"],"prefix":"10.1007","author":[{"given":"Damiano","family":"Angeletti","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Giunchiglia","sequence":"additional","affiliation":[]},{"given":"Massimo","family":"Narizzano","sequence":"additional","affiliation":[]},{"given":"Alessandra","family":"Puddu","sequence":"additional","affiliation":[]},{"given":"Salvatore","family":"Sabina","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Clarke, E., Kroening, D., Lerda, F.: A Tool for Checking ANSI-C Program. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 168\u2013176","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"38_CR2","unstructured":"ERTMS: The official Website, http:\/\/www.ertms.com\/"},{"key":"38_CR3","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded Model Checking. Advances inComputers\u00a058"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"Moskewicz, W.M., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff:Engineering an Efficient SAT Solver. In: Proceedings of the 38th Design Automation Conference, pp. 530\u2013535","DOI":"10.1145\/378239.379017"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: EfficientlyComputing Static Single Assignment Form and the Control DependenceGraph. ACM Transactions on Programming Languages and Systems\u00a013(4), 451\u2013490","DOI":"10.1145\/115372.115320"},{"key":"38_CR6","unstructured":"European Committee forElectrotechnical Standardization. Railway Applications -Communication, signalling and processing systems - Software forrailway control and protection systems, http:\/\/www.cenelec.eu"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: Directed automated random testing. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 213\u2013223","DOI":"10.1145\/1065010.1065036"},{"key":"38_CR8","doi-asserted-by":"crossref","unstructured":"Een, N., Sorensson, N.: An ExtensibleSAT-solver. In: Satisfiability Workshop, pp. 502\u2013518","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Tillmann, N., Schulte, W.: Parameterized unit tests. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT international Symposium on Foundations of Software Engineering, pp. 253\u2013261","DOI":"10.1145\/1081706.1081749"},{"key":"38_CR10","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In: OSDI, pp. 209\u2013224"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Khurshid, S., Marinov, D.: TestEra: Specification-based testing of java programs using sat. Automated Software Engg., 403\u2013434","DOI":"10.1023\/B:AUSE.0000038938.10589.b9"},{"key":"38_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-44585-4_7","volume-title":"Computer Aided Verification","author":"H. Chockler","year":"2001","unstructured":"Chockler, H., Kupferman, O., Kurshan, R.P., Vardi, M.Y.: A Practical Approach to Coverage in Model Checking. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 66\u201378. Springer, Heidelberg (2001)"},{"key":"38_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex White Box Test Generation for.NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"38_CR14","doi-asserted-by":"crossref","unstructured":"de Halleux, J., Tillmann, N.: Parameterized unit testing with pex. Tests and Proofs, 171\u2013181 (2008), http:\/\/dx.doi.org\/10.1007\/978-3-540-79124-9_12","DOI":"10.1007\/978-3-540-79124-9_12"},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"Jackson, D., Shlyakhter, I., Sridharan, M.: A micromodularity mechanism. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT international Symposium on Foundations of Software Engineering, pp. 62\u201373","DOI":"10.1145\/503209.503219"},{"key":"38_CR16","unstructured":"Vedula, V.M.: Hdl Slicing for Verification and Test, available electronically from http:\/\/hdl.handle.net\/2152\/1033"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory - EUROCAST 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04772-5_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T09:36:30Z","timestamp":1739352990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04772-5_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642047718","9783642047725"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04772-5_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}