{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T05:30:40Z","timestamp":1736487040476,"version":"3.32.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,21]]},"DOI":"10.1145\/1146238.1146249","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"85-96","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Subdomain testing of units and systems with state"],"prefix":"10.1145","author":[{"given":"Dick","family":"Hamlet","sequence":"first","affiliation":[{"name":"Portland State University, Portland, OR"}]}],"member":"320","published-online":{"date-parts":[[2006,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Ellis Horwood","author":"Addis William","year":"1991","unstructured":"William Addis . Structural Engineering : The Nature of Theory and Design . Ellis Horwood , 1991 . William Addis. Structural Engineering: The Nature of Theory and Design. Ellis Horwood, 1991."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/355592.365646"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.210303"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808473"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.62448"},{"key":"e_1_3_2_1_6_1","unstructured":"Dick Hamlet Milan Andric and Zheng Tu. Experiments with composing component properties. In Wallnau 17. Dick Hamlet Milan Andric and Zheng Tu. Experiments with composing component properties. In Wallnau 17."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381511"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233816"},{"key":"e_1_3_2_1_9_1","volume-title":"Introduction to Metamathematics","author":"Kleene S. C.","year":"1980","unstructured":"S. C. Kleene . Introduction to Metamathematics . Elsevier , 1980 . S. C. Kleene. Introduction to Metamathematics. Elsevier, 1980."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007532"},{"key":"e_1_3_2_1_11_1","volume-title":"Allyn and Bacon","author":"Mills H.","year":"1987","unstructured":"H. Mills , V. Basili , J. Gannon , and D. Hamlet . Principles of Computer Programming: A Mathematical Approach . Allyn and Bacon , 1987 . H. Mills, V. Basili, J. Gannon, and D. Hamlet. Principles of Computer Programming: A Mathematical Approach. Allyn and Bacon, 1987."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.199724"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_3_2_1_14_1","volume-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers Hartley","year":"1987","unstructured":"Hartley Rogers . Theory of Recursive Functions and Effective Computability . MIT Press , 1987 . Hartley Rogers. Theory of Recursive Functions and Effective Computability. MIT Press, 1987."},{"key":"e_1_3_2_1_15_1","volume-title":"Component Software","author":"Szyperski Clemens","year":"2002","unstructured":"Clemens Szyperski . Component Software . Addison-Wesley , 2 nd edition, 2002 . Clemens Szyperski. Component Software. Addison-Wesley, 2nd edition, 2002.","edition":"2"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","DOI":"10.56021\/9780801839740","volume-title":"What Engineers Know and How They Know It","author":"Vincenti Walter G.","year":"1993","unstructured":"Walter G. Vincenti . What Engineers Know and How They Know It . Johns Hopkings University Press , 1993 . Walter G. Vincenti. What Engineers Know and How They Know It. Johns Hopkings University Press, 1993."},{"key":"e_1_3_2_1_17_1","unstructured":"Kurt Wallnau. www.sei.cmu.edu\/pacc (links to CBSE proceedings). Kurt Wallnau. www.sei.cmu.edu\/pacc (links to CBSE proceedings)."}],"event":{"name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Portland Maine USA","acronym":"ISSTA06"},"container-title":["Proceedings of the 2006 international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1146238.1146249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T01:55:19Z","timestamp":1736474119000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1146238.1146249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,21]]},"references-count":17,"alternative-id":["10.1145\/1146238.1146249","10.1145\/1146238"],"URL":"https:\/\/doi.org\/10.1145\/1146238.1146249","relation":{},"subject":[],"published":{"date-parts":[[2006,7,21]]},"assertion":[{"value":"2006-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}