{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:41Z","timestamp":1725489461616},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730651"},{"type":"electronic","value":"9783540730668"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73066-8_4","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T04:07:13Z","timestamp":1187410033000},"page":"41-57","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Test Generation from Interprocedural Specifications"],"prefix":"10.1007","author":[{"given":"Camille","family":"Constant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Jeannet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"J\u00e9ron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"ISO\/IEC 9646: Conformance Testing Methodology and Framework (1992)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software\u2014Concepts and Tools 17(3) (1996)","DOI":"10.1007\/3-540-61042-1_42"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms. Int. Journal on Software Tools for Technology Transfer 6 (2004)","DOI":"10.1007\/s10009-004-0153-x"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Jeannet","year":"2005","unstructured":"Jeannet, B., J\u00e9ron, T., Rusu, V., Zinovieva, E.: Symbolic test selection based on approximate analysis. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, Springer, Heidelberg (2005)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_7","volume-title":"SPIN Model Checking and Software Verification","author":"T. Ball","year":"2000","unstructured":"Ball, T., Rajamani, S.: Bebop: A symbolic model checker for boolean programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN Model Checking and Software Verification. LNCS, vol.\u00a01885, Springer, Heidelberg (2000)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_30","volume-title":"Computer Aided Verification","author":"J. Esparza","year":"2001","unstructured":"Esparza, J., Schwoon, S.: A BDD-based model checker for recursive programs. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, Springer, Heidelberg (2001)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Caucal, D.: On the regular structure of prefix rewriting. Theoretical Computer Science 106 (1992)","DOI":"10.1016\/0304-3975(92)90278-N"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Finkel, A., Willems, B., Wolper, P.: A direct symbolic approach to model checking pushdown systems. Electronic Notes on Theoretical Computer Science 9 (1997)","DOI":"10.1016\/S1571-0661(05)80426-8"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR\u201997: Concurrency Theory","author":"A. Bouajjani","year":"1997","unstructured":"Bouajjani, A., Esparza, J., Maler, O.: Reachability analysis of pushdown automata: Application to model checking. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73066-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T03:22:22Z","timestamp":1556767342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73066-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730651","9783540730668"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73066-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}