{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T01:01:53Z","timestamp":1777338113879,"version":"3.51.4"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/bf00625279","type":"journal-article","created":{"date-parts":[[2004,11,26]],"date-time":"2004-11-26T04:08:10Z","timestamp":1101442090000},"page":"31-45","source":"Crossref","is-referenced-by-count":176,"title":["Two notions of correctness and their relation to testing"],"prefix":"10.1007","volume":"18","author":[{"given":"Timothy A.","family":"Budd","sequence":"first","affiliation":[]},{"given":"Dana","family":"Angluin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"CR1","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/S0019-9958(78)90683-6","volume":"39","author":"D. Angluin","year":"1978","unstructured":"Angluin, D.: On the complexity of minimum inference of regular sets. Information and Control39(3): 337?350 (1978)","journal-title":"Information and Control"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Baldwin, D., Sayward, F.: Heuristics for determining equivalence of program mutations. Technical Report Number 161, Yale University 1979","DOI":"10.21236\/ADA071795"},{"key":"CR3","first-page":"1","volume-title":"Lecture Notes in Computer Science, Vol. 32","author":"J.M. Barzdin","year":"1975","unstructured":"Barzdin, J.M., Bicevskis, J.J., Kalninsh, A.A.: Construction of complete sample system for correctness testing. In: Lecture Notes in Computer Science, Vol. 32, pp. 1?12. Berlin: Springer-Verlag 1975"},{"issue":"3","key":"CR4","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1109\/TSE.1976.233812","volume":"SE-2","author":"A.W. Biermann","year":"1976","unstructured":"Biermann, A.W., Krishnaswamy, R.: Constructing programs from example computations. IEEE Transactions on Software Engineering SE-2(3): 141?153 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"CR5","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1145\/321637.321648","volume":"18","author":"M. Blum","year":"1971","unstructured":"Blum, M.: On effective procedures for speeding up algorithms. Journal of the ACM18(2): 290?305 (1971)","journal-title":"Journal of the ACM"},{"issue":"2","key":"CR6","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L. Blum","year":"1975","unstructured":"Blum, L., Blum, M.: Toward a mathematical theory of inductive inference. Information and Control28(2): 125?155 (1975)","journal-title":"Information and Control"},{"key":"CR7","unstructured":"Brooks, M.: Automatic generation of test data for recursive programs having simple errors. PhD Thesis, Stanford University 1980"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Budd, T.A., Lipton, R.J., DeMillo, R.A., Sayward, F.G.: Mutation analysis. Technical Report Number 155, Yale University 1979","DOI":"10.21236\/ADA068118"},{"key":"CR9","unstructured":"Budd, T.A.: Mutation analysis of program test data. PhD Thesis, Yale University 1980"},{"issue":"3","key":"CR10","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering SE-4(3): 178?187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"CR11","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. IEEE Transactions on Software Engineering SE-2(3): 215?222 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"CR12","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R.A. DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: Help for the practicing programmer. Computer11(4): 34?43 (1978)","journal-title":"Computer"},{"issue":"4","key":"CR13","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0020-0190(78)90067-4","volume":"7","author":"R.A. DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J.: A probabilistic remark on algebraic program testing. Information Processing Letters7(4): 193?195 (1978)","journal-title":"Information Processing Letters"},{"issue":"3","key":"CR14","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/TSE.1980.234487","volume":"SE-6","author":"K.A. Foster","year":"1980","unstructured":"Foster, K.A.: Error sensitive test cases. IEEE Transactions on Software Engineering SE-6(3): 258?264 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"CR15","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1145\/359488.359495","volume":"21","author":"M. Geller","year":"1978","unstructured":"Geller, M.: Test data as an aid in proving program correctness. Communications of the ACM21(5): 368?375 (1978)","journal-title":"Communications of the ACM"},{"issue":"2","key":"CR16","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","volume":"SE-1","author":"J.B. Goodenough","year":"1975","unstructured":"Goodenough, J.B., Gerhart, S.L.: Towards a theory of test data selection. IEEE Transactions on Software Engineering SE-1(2):156?173 (1975)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR17","first-page":"316","volume-title":"Research Directions in Software Technology","author":"J.B. Goodenough","year":"1979","unstructured":"Goodenough, J.B.: A survey of program testing issues. pp. 316?340. In: Research Directions in Software Technology (P. Wegner, ed.), pp. 316?340. Cambridge, MA: MIT Press, 1979"},{"issue":"4","key":"CR18","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/TSE.1977.231145","volume":"SE-3","author":"R. Hamlet","year":"1977","unstructured":"Hamlet, R.: Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering SE-3(4): 279?290 (1977)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"CR19","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1093\/comjnl\/20.3.232","volume":"20","author":"R. Hamlet","year":"1977","unstructured":"Hamlet, R.: Testing programs with finite sets of data. The Computer Journal20(3): 232?237 (1977)","journal-title":"The Computer Journal"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Hamlet, R.: Test reliability and software maintenance. In: Proceeding of the Compsac conference, pp. 315?320. IEEE 1978","DOI":"10.1109\/CMPSAC.1978.810407"},{"key":"CR21","unstructured":"Hamlet, R.: Critique of reliability theory. In: Digest of the Workshop on Software Testing and Test Documentation, pp. 57?69. Fort Lauderdale 1978"},{"issue":"3","key":"CR22","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1145\/356674.356677","volume":"8","author":"S.L. Hantler","year":"1976","unstructured":"Hantler, S.L., King, J.C.: An introduction to proving the correctness of programs. ACM Computer Surveys8(3): 331?353 (1976)","journal-title":"ACM Computer Surveys"},{"key":"CR23","volume-title":"Formal languages and their relation to automata","author":"J.E. Hopcroft","year":"1969","unstructured":"Hopcroft, J.E., Ullman, J.D.: Formal languages and their relation to automata. New York: Addison-Wesley 1969"},{"issue":"3","key":"CR24","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1109\/TSE.1976.233816","volume":"SE-2","author":"W.E. Howden","year":"1976","unstructured":"Howden, W.E.: Reliability of the path analysis testing strategy. IEEE Transactions on Software Engineering SE-2(3): 208?214 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"CR25","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/0020-0190(78)90036-4","volume":"7","author":"W.E. Howden","year":"1978","unstructured":"Howden, W.E.: Lindenmayer grammers and symbolic testing. Information Processing L etters7(1): 36?39 (1978)","journal-title":"Information Processing L etters"},{"issue":"1","key":"CR26","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF00260923","volume":"10","author":"W.E. Howden","year":"1978","unstructured":"Howden, W.E.: Algebraic program testing. Acta Informat.10(1): 53?66 (1978)","journal-title":"Acta Informat."},{"issue":"2","key":"CR27","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1109\/TSE.1980.230467","volume":"SE-6","author":"W.E. Howden","year":"1980","unstructured":"Howden, W.E.: Functional program testing. IEEE Transactions on Software Engineering SE-6(2): 162?169 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR28","volume-title":"Software tools","author":"B.W. Kernighan","year":"1976","unstructured":"Kernighan, B.W., Plauger, P.J.: Software tools. New York: Addison-Wesley 1976"},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"Miller, E.F., Melton, R.A.: Automated generation of testcase datasets. In: Proceeding 1975 International Conference on Reliable Software, pp. 51?58. Los Angeles 1975","DOI":"10.1145\/800027.808424"},{"key":"CR30","unstructured":"Ostrand, T.J., Weyuker, E.J.: Remarks on the theory of test data selection. In: Digest of the Workshop on Software Testing and Test Documentation, pp. 1?18. Fort Lauderdale 1978"},{"key":"CR31","volume-title":"Theory of recursive functions and effective computability","author":"H. Rogers Jr.","year":"1967","unstructured":"Rogers, H. Jr.: Theory of recursive functions and effective computability. New York: McGraw-Hill 1967"},{"issue":"1","key":"CR32","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1137\/0210005","volume":"10","author":"J.H. Rowland","year":"1981","unstructured":"Rowland, J.H., Davis, P.J.: On the selection of test data for recursive mathematical sub-routines. Siam Journal on Computing10(1): 59?72 (1981)","journal-title":"Siam Journal on Computing"},{"issue":"3","key":"CR33","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/TSE.1980.234486","volume":"SE-6","author":"L.J. White","year":"1980","unstructured":"White, L.J., Cohen, E.I.: A domain strategy for computer program testing. IEEE Transactions on Software Engineering SE-6(3): 247?257 (1980)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00625279.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00625279\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00625279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T09:11:18Z","timestamp":1585991478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00625279"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1982]]}},"alternative-id":["BF00625279"],"URL":"https:\/\/doi.org\/10.1007\/bf00625279","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982]]}}}