{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:08:31Z","timestamp":1736140111332,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":29,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540541314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019363","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:26:33Z","timestamp":1132637193000},"page":"360-432","source":"Crossref","is-referenced-by-count":1,"title":["Automatic construction of test sets: Practical approach"],"prefix":"10.1007","author":[{"given":"Juris","family":"Borzovs","sequence":"first","affiliation":[]},{"given":"Audris","family":"Kalni\u0146\u0161","sequence":"additional","affiliation":[]},{"given":"Inga","family":"Medvedis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Sauder R.L. General Test Data Generator for COBOL. \u2014 AFIPS Conference Proceedings, SJCC, 1962, pp. 317\u2013323.","DOI":"10.1145\/1460833.1460869"},{"issue":"4","key":"11_CR2","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1147\/sj.94.0242","volume":"9","author":"K.V. Hanford","year":"1970","unstructured":"Hanford K.V. Automatic Generation of Test Cases. \u2014 IBM Systems Journal, 1970, vol. 9, No. 4, pp. 242\u2013257.","journal-title":"IBM Systems Journal"},{"key":"11_CR3","unstructured":"Balzer R.M. EXDAMS \u2014 Extendable Debugging and Monitoring System. \u2014 In: Proc. 1969 SJCC, Montvale, N.Y., 1969, pp. 567\u2013580."},{"key":"11_CR4","first-page":"1","volume-title":"Mathematical Foundations of Computer Science","author":"J.M. B\u0101rzdi\u0146\u0161","year":"1975","unstructured":"B\u0101rzdi\u0146\u0161 J.M., Bi\u010devskis J.J., Kalni\u0146\u0161 A.A. Construction of Complete Sample Systems for Correctness Testing. \u2014 In: Mathematical Foundations of Computer Science, Berlin: Springer, 1975, pp. 1\u201312."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Howden W.E. Methodology for the Generation of Program Test Data. \u2014 IEEE Trans. Comput., vol C-24, pp. 554\u2013559.","DOI":"10.1109\/T-C.1975.224259"},{"issue":"3","key":"11_CR6","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"SE-2","author":"L.A. Clarke","year":"1976","unstructured":"Clarke L.A. A System to Generate Test Data and Symbolically Execute Programs. \u2014 IEEE Trans. Software Eng., 1976, vol. SE-2, No. 3, pp. 215\u2013222.","journal-title":"IEEE Trans. Software Eng."},{"issue":"7","key":"11_CR7","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King J.C. Symbolic Execution and Program Testing. \u2014 CACM, 1976, vol. 19, No. 7, pp. 385\u2013394.","journal-title":"CACM"},{"issue":"4","key":"11_CR8","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1976.233835","volume":"SE-2","author":"C.V. Ramamoorthy","year":"1976","unstructured":"Ramamoorthy C.V., Ho S.B.F., Chen W.T. On the Automated Generation of Program Test Data. \u2014 IEEE Trans. Software Eng., 1976, vol. SE-2, No. 4, pp. 293\u2013300.","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR9","unstructured":"Pravilschikov P.A. Test Generation for Programs. \u2014 Avtomatika i Telemekhanika, 1977, No. 5, pp. 147\u2013160 (In Russian)."},{"issue":"1","key":"11_CR10","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/TSE.1979.226498","volume":"SE-5","author":"J. Bi\u010devskis","year":"1979","unstructured":"Bi\u010devskis J., Borzovs J., Straujums U., Zari\u0146\u0161 A., Miller E.F. Jr. SMOTL \u2014 a System to Construct Samples for Data Processing Program Debugging. \u2014 IEEE Trans. Software Eng., 1979, vol. SE-5, No. 1, pp. 60\u201366.","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR11","unstructured":"Pozin B.A. A Method of Structural Test Generation for Programs. \u2014 Programmirovanie, 1980, No. 2, pp. 62\u201369 (In Russian)."},{"key":"11_CR12","unstructured":"Hogrefe D. Automatic Generation of Test Cases from SDL Specifications. \u2014 In: SDL Newsletter, 1988, No. 12, pp. 34\u201352."},{"key":"11_CR13","unstructured":"Kristoffersen F. Conformance Testing Based on SDL Specifications. \u2014 In: SDL'89: The Language at Work, North-Holland, 1989, pp. 257\u2013266."},{"key":"11_CR14","unstructured":"Bromstrup L., Hogrefe D. TESDL \u2014 Experience with Generating Test Cases from SDL Specifications. \u2014 In: SDL'89: The Language at Work, North-Holland, 1989, pp. 267\u2013280."},{"key":"11_CR15","unstructured":"CCITT: Specification and Description Language (SDL). Recommendations Z.100. \u2014 CCITT Blue Book, 1988, 199 p."},{"key":"11_CR16","unstructured":"Saracco R., Smith J.R.W., Reed R. Telecommunication Systems Engineering Using SDL. \u2014 North-Holland, 1989, 633 p."},{"key":"11_CR17","unstructured":"Auzi\u0146\u0161 A., B\u0101rzdi\u0146\u0161 J., Bi\u010devskis J., \u010cer\u0101ns K., Kalni\u0146\u0161 A. Automatic Construction of Test Sets: Theoretical Approach. \u2014 This volume."},{"key":"11_CR18","unstructured":"Wirth N. Systematic Programming. \u2014 Prentice-Hall, 1973."},{"issue":"1","key":"11_CR19","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1145\/366622.366644","volume":"4","author":"C.A.R. Hoare","year":"1961","unstructured":"Hoare C.A.R. Algorithms 65; FIND. \u2014 CACM, 1961, vol 4, No. 1, p. 321.","journal-title":"CACM"},{"issue":"1","key":"11_CR20","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/362452.362489","volume":"14","author":"C.A.R. Hoare","year":"1971","unstructured":"Hoare C.A.R. Proof of Programm FIND. \u2014 CACM, 1971, vol. 14, No. 1, pp. 39\u201345.","journal-title":"CACM"},{"key":"11_CR21","unstructured":"Borzovs J.V., Urt\u0101ns G.B., Shimarov V.A. Program Path Selection for Test Generation. \u2014 Upravlayuschie Sistemi i Mashini, 1989, No. 6, pp. 29\u201336 (In Russian)."},{"key":"11_CR22","unstructured":"Borzovs J.V., Medvedis I.E., Urtans G.B. The Segment Method for the Solution of Systems of Equalities and Inequalities at Test Generation for Program Validation. \u2014 Upravlayuschie Sistemi i Mashini, 1990, No. 2, pp. 49\u201358 (In Russian)."},{"key":"11_CR23","volume-title":"Formal Languages: Perspectives and Open Problems","author":"G. Huet","year":"1980","unstructured":"Huet G., Oppen D. Equations and Rewrite Rules: a Survey. \u2014 In: Formal Languages: Perspectives and Open Problems, Academic Press, N.Y., 1980."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Futatsugi K., Goguen J.A., Jouannaud J.P., Meseguer J. Principles of OBJ'2. \u2014 In: Proceedings of Principles of Programming Languages, ACM, 1985.","DOI":"10.1145\/318593.318610"},{"key":"11_CR25","unstructured":"Guidelines for the Application of Estelle, Lotos and SDL, Draft Manual. \u2014 CCITT, Geneva, 1988, 347 p."},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Stenning N.V. A Data Transfer Protocol. \u2014 Computer Networks, 1976, No. 1, pp. 99\u2013110.","DOI":"10.1016\/0376-5075(76)90015-5"},{"volume-title":"Algebraic Specification","year":"1989","key":"11_CR27","unstructured":"Bergstra J.A., Heering J., Klint P. (ed.) Algebraic Specification. \u2014 ACM Press, N.Y., 1989, 397 p.."},{"key":"11_CR28","unstructured":"Sato F., Katseryama K., Mizuno T. TENT: Test Sequence Generation Tool for Communication Systems. \u2014 In: FORTE'89, Proceedings of 2nd Int. Conf. on Formal Description Techniques, North Holland, 1990, pp. 1\u20136."},{"key":"11_CR29","unstructured":"Chan W.Y.L., Vuong S.T., Ito M.R. On Test Sequence Generation for Protocols. \u2014 In: Proceedings of the IFIP WG 6.1 Nineth Int. Workshop on Protocol Specification, Testing and Verification, 1989, North Holland, 1989."}],"container-title":["Lecture Notes in Computer Science","Baltic Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0019363","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:49:18Z","timestamp":1736106558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019363"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540541314"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/bfb0019363","relation":{},"subject":[]}}