{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:12Z","timestamp":1761487932405},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411963"},{"type":"electronic","value":"9783540409113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40911-4_20","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T05:23:29Z","timestamp":1192771409000},"page":"338-357","source":"Crossref","is-referenced-by-count":56,"title":["An Approach to Symbolic Test Generation"],"prefix":"10.1007","author":[{"given":"Vlad","family":"Rusu","sequence":"first","affiliation":[]},{"given":"Lydie","family":"du Bousquet","sequence":"additional","affiliation":[]},{"given":"Thierry","family":"J\u00e9ron","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"A. Belinfante, J. Feenstra, R. de Vries, J. Tretmans, N. Goga, L. Feijs, and S. Mauw. Formal test automation: a simple experiment. In International Workshop on the Testing of Communicating Systems (IWTCS\u201999), pp 179\u2013196, 1999.","DOI":"10.1007\/978-0-387-35567-2_12"},{"key":"20_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BFb0028755","volume-title":"Computer-Aided Verification (CAV\u201998)","author":"S. Bensalem","year":"1998","unstructured":"S. Bensalem, Y. Lakhnech, and S. Owre. Computing abstractions of infinite state systems sompositionally and automatically. In Computer-Aided Verification (CAV\u201998), LNCS 1427, pp 319\u2013331, 1998."},{"issue":"6","key":"20_CR3","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"G. Bernot, M. C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal 6(6), pp 387\u2013405, 1991.","journal-title":"Software Engineering Journal"},{"key":"20_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-46419-0_17","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201900)","author":"M. Bozga","year":"2000","unstructured":"M. Bozga, J-C. Fernandez, and L. Ghirvu. Using static analysis to improve automatic test generation. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201900), LNCS 1785, pp 235\u2013250, 2000."},{"key":"20_CR5","unstructured":"E. Brinskma. A theory for the derivation of tests. In Protocol Specification, Testing, and Verification (FORTE\/PSTV\u201998), pp 63\u201374, 1998."},{"issue":"1-2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0167-6423(96)00032-9","volume":"29","author":"J.-C. Fernandez","year":"1997","unstructured":"J.-C. Fernandez, C. Jard, T. J\u00e9ron, and C. Viho. An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming, 29 (1-2): 123\u2013146, 1997.","journal-title":"Science of Computer Programming"},{"issue":"2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1008678014487","volume":"11","author":"N. Halbwachs","year":"1997","unstructured":"N. Halbwachs, Y. E. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design, 11(2): 157\u2013185, 1997.","journal-title":"Formal Methods in System Design"},{"key":"20_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-58085-9_75","volume-title":"Proof-checking a data link protocol","author":"L. Helmink","year":"1994","unstructured":"L. Helmink, M. P. A. Sellink, and F. Vaandrager. Proof-checking a data link protocol. In Types for Proofs and Programs, International Workshop (TYPES\u201994), LNCS 806, pp 127\u2013165, 1994."},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T. A. Henzinger","year":"1997","unstructured":"T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: A Model Checker for Hybrid Systems. Software Tools for Technology Transfer 1:110\u2013122, 1997.","journal-title":"Software Tools for Technology Transfer"},{"key":"20_CR10","unstructured":"C. A. R. Hoare. Communicating sequential processes. Prentice Hall International Series in Computer Science, 1985."},{"key":"20_CR11","unstructured":"ISO\/IEC. International Standard 9646-1\/2\/3, OSI-Open Systems Interconnection, Information Technology-Open Systems Interconnection Conformance Testing Methodology and Framework, 1992."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"C. Jard, T. J\u00e9ron and P. Morel. Verification of test suites. To appear in International Conference on the Testing of Communicating Systems (TestCom\u201900), 2000.","DOI":"10.1007\/978-0-387-35516-0_1"},{"key":"20_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-48683-6_12","volume-title":"Computer-Aided Verification (CAV\u201999)","author":"T. J\u00e9ron","year":"1999","unstructured":"T. J\u00e9ron and P. Morel. Test generation derived from model-checking. In Computer-Aided Verification (CAV\u201999), LNCS 1633, pp 108\u2013122, 1999."},{"issue":"3","key":"20_CR14","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1109\/32.798326","volume":"25","author":"N. Klarlund","year":"1999","unstructured":"N. Klarlund and M. Schwartzbach. A Domain-Specific Language for Regular Sets of Strings and Trees. IEEE Transactions On Software Engineering 25(3):378\u2013386, 1999.","journal-title":"IEEE Transactions On Software Engineering"},{"key":"20_CR15","unstructured":"N. Lynch and M. Tuttle. An introduction to input\/output automata. CWI Quarterly, 3(2), 1999."},{"issue":"3","key":"20_CR16","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"J. Tretmans. Test generation with inputs, outputs and quiescence. Software-Concepts and Tools, 17(3):103\u2013120, 1996.","journal-title":"Software-Concepts and Tools"},{"issue":"2","key":"20_CR17","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"S. Owre","year":"1995","unstructured":"S. Owre, J. Rusby, N. Shankar, and F. von Henke. Formal verification of faulttolerant architectures: Prolegomena to the design of pvs. IEEE Transactions on Software Engineering, 21(2): 107\u2013125, 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"20_CR18","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"P. J. Ramadge, and W. M. Wonham. Supervisory Control of a Class of Discrete-Event Processes. SIAM Journal of Control and Optimization, 25(1):206\u2013230, 1987.","journal-title":"SIAM Journal of Control and Optimization"},{"issue":"4","key":"20_CR19","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S. Rapps","year":"1985","unstructured":"S. Rapps and E. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, 11(4):367\u2013375, 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"20_CR20","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/322123.322137","volume":"26","author":"R. Shostak","year":"1979","unstructured":"R. Shostak. A practical decision procedure for arithmetic with function symbols. Journal of the ACM, 26(2): 351\u2013360, 1979.","journal-title":"Journal of the ACM"},{"key":"20_CR21","unstructured":"International Telecommunications Union. B-ISDN SAAL Service-Specific Connection-Oriented Protocol. ITU-T Recommendation Q.2110, 1994."},{"key":"20_CR22","unstructured":"F. Tip. A survey of program slicing techniques. Technical Report CS-R9438, Centrum voor Wiskunde en InformatIca, 1994."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40911-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:28:34Z","timestamp":1556904514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40911-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411963","9783540409113"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-40911-4_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}