{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:47:55Z","timestamp":1742798875342},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540541314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019362","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:26:33Z","timestamp":1132637193000},"page":"286-359","source":"Crossref","is-referenced-by-count":4,"title":["Automatic construction of test sets: Theoretical approach"],"prefix":"10.1007","author":[{"given":"Andrejs","family":"Auzi\u0146\u0161","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u0101nis","family":"B\u0101rzdi\u0146\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u0101nis","family":"Bi\u010devskis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K\u0101rlis","family":"\u010cer\u0101ns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Audris","family":"Kalni\u0146\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"D.S.Alberts. The economics of software quality assurance. In Proc. AFIPS Conf. 1976, pp. 433\u2013442.","DOI":"10.1145\/1499799.1499863"},{"issue":"3","key":"10_CR2","first-page":"564","volume":"288","author":"A.I. Auzins","year":"1984","unstructured":"A.I. Auzins. On the Construction of complete sample systems. Dokl. Akad. Nauk SSSR, Vol. 288, No. 3, 1984, pp. 564\u2013568 (in Russian).","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"10_CR3","unstructured":"A.I.Auzins. Decidability of the reachability for the relational push-down automata. Programmirovanie, No. 3, 1984, pp. 3\u201312 (in Russian)."},{"key":"10_CR4","first-page":"152","volume":"210","author":"J.M. Barzdin","year":"1974","unstructured":"J.M. Barzdin, J.J. Bicevskis, and A.A. Kalninsh. Construction of complete sample system for program testing. Latv. Gosudarst. Univ. Uch. Zapiski, Vol. 210, 1974, pp. 152\u2013187 (in Russian).","journal-title":"Latv. Gosudarst. Univ. Uch. Zapiski"},{"key":"10_CR5","first-page":"188","volume":"210","author":"J.M. Barzdin","year":"1974","unstructured":"J.M. Barzdin, J.J. Bicevskis, and A.A. Kalninsh. Decidable and undecidable cases of the problem of Construction of the complete sample system. Latv. Gosudarst. Univ. Uch. Zapiski, Vol. 210, 1974, pp. 188\u2013205 (in Russian).","journal-title":"Latv. Gosudarst. Univ. Uch. Zapiski"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-07389-2_178","volume":"32","author":"J.M. Barzdin","year":"1975","unstructured":"J.M. Barzdin, J.J. Bicevskis, and A.A. Kalninsh. Construction of complete sample system for correctness testing. Lecture Notes in Computer Science, Vol. 32, Springer-Verlag, 1975, pp. 1\u201312.","journal-title":"Lecture Notes in Computer Science"},{"key":"10_CR7","first-page":"123","volume":"233","author":"J.M. Barzdin","year":"1975","unstructured":"J.M. Barzdin and A.A. Kalninsh. Construction of complete sample system for programs using direct access files. Latv. Gosudarst. Univ. Uch. Zapiski, Vol. 233, 1975, pp. 123\u2013154 (in Russian).","journal-title":"Latv. Gosudarst. Univ. Uch. Zapiski"},{"key":"10_CR8","unstructured":"J.J.Bicevskis. Automatic construction of sample systems. Programmirovanie, No. 3, 1977, pp. 60\u201370 (in Russian)."},{"key":"10_CR9","unstructured":"J.M.Barzdin, J.J.Bicevskis, and A.A.Kalninsh. Automatic construction of complete sample systems for program testing. In Proc. IFIP Congress, 1977, North-Holland, 1977, pp. 57\u201362."},{"issue":"1","key":"10_CR10","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/TSE.1979.226498","volume":"SE-5","author":"J. Bicevskis","year":"1979","unstructured":"J. Bicevskis, J. Borzovs, U. Straujums, A. Zarins, and E.F. Miller. SMOTL-a system to construct samples for data processing program debugging. IEEE Transactions on Software Engineering, SE-5, No. 1, 1979, pp. 60\u201366.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR11","unstructured":"E.F.Miller, Jr. Program testing technology in the 1980s. In Tutorial: Software Testing and Validation Techniques, 1978, pp. 399\u2013406."},{"key":"10_CR12","volume-title":"Finite and infinite machines","author":"M.L. Minsky","year":"1967","unstructured":"M.L. Minsky. Finite and infinite machines. Prentice-Hall, Englewood Cliffs, N.Y., 1967."},{"issue":"2","key":"10_CR13","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"M.O. Rabin","year":"1959","unstructured":"M.O. Rabin and D. Scott. Finite automata and their decision problems. IBM J. of Research and Development, vol. 3, No. 2, 1959, pp. 114\u2013125.","journal-title":"IBM J. of Research and Development"},{"key":"10_CR14","unstructured":"A.G.Tadevosjan. Decidable cases of the problem of construction of a complete sample system. Kibernetika, No. 6, 1985, pp. 41\u201344 (in Russian)."},{"issue":"6","key":"10_CR15","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1109\/TSE.1980.234501","volume":"SE-6","author":"K.C. Tai","year":"1980","unstructured":"K.C. Tai. Program testing complexity and test criteria. IEEE Trans. Software Engineering, SE-6, No. 6, 1980, pp. 531\u2013538.","journal-title":"IEEE Trans. Software Engineering"},{"key":"10_CR16","unstructured":"CCITT Specification and Description Language (SDL), Recomendation Z. 100, 1988."},{"key":"10_CR17","unstructured":"J.Barzdins, J.Borzovs, A.Kalnins, I.Medvedis. Automatic construction of test sets: practical approach, this volume."}],"container-title":["Lecture Notes in Computer Science","Baltic Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019362.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:42:17Z","timestamp":1607550137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019362"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540541314"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0019362","relation":{},"subject":[]}}