{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:01:18Z","timestamp":1725620478541},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,11]]},"DOI":"10.1145\/1370042.1370056","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T14:35:39Z","timestamp":1210862139000},"page":"63-66","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated instrumentation of contracts and scenarios for requirements validation in .net"],"prefix":"10.1145","author":[{"given":"Dave","family":"Arnold","sequence":"first","affiliation":[{"name":"Carleton University, Ottawa, ON, Canada"}]},{"given":"Jean-Pierre","family":"Corriveau","sequence":"additional","affiliation":[{"name":"Carleton University, Ottawa, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2008,5,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Arnold D. 2008. An Open Framework for the Specification and Execution of Conformance Tests using Scenarios. PhD Thesis Proposal. Carleton University School of Computer Science. http:\/\/www.scs.carleton.ca\/~darnold\/Proposal.pdf. Arnold D. 2008. An Open Framework for the Specification and Execution of Conformance Tests using Scenarios. PhD Thesis Proposal. Carleton University School of Computer Science. http:\/\/www.scs.carleton.ca\/~darnold\/Proposal.pdf."},{"key":"e_1_3_2_1_2_1","unstructured":"Binder R. 2000. Testing Object-Oriented Systems. Addison-Wesley Professional Reading MA. Binder R. 2000. Testing Object-Oriented Systems. Addison-Wesley Professional Reading MA."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Campbell C. Grieskamp W. Nachmanson L. Schulte W. Tillman N. and Veanes M. 2005. Model-Based Testing of Object-Oriented Reactive Systems with SpecExplorer. Technical Report. Microsoft Research. Campbell C. Grieskamp W. Nachmanson L. Schulte W. Tillman N. and Veanes M. 2005. Model-Based Testing of Object-Oriented Reactive Systems with SpecExplorer. Technical Report. Microsoft Research.","DOI":"10.1007\/11526841_38"},{"key":"e_1_3_2_1_5_1","unstructured":"Jacobson I. 1992. Object-Oriented Software Engineering. ACM Press New York NY. Jacobson I. 1992. Object-Oriented Software Engineering. ACM Press New York NY."},{"key":"e_1_3_2_1_6_1","unstructured":"Katoen J. P. Leucker M. and Pretschner A. 2005. Model-Based Testing of Reactive Systems. A Seminar Volume LNCS 3472 Springer Verlag. Katoen J. P. Leucker M. and Pretschner A. 2005. Model-Based Testing of Reactive Systems. A Seminar Volume LNCS 3472 Springer Verlag."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_8_1","unstructured":"Microsoft Research. 2007. Phoenix Research Development Kit. http:\/\/research.microsoft.com\/phoenix Accessed October 2007. Microsoft Research. 2007. Phoenix Research Development Kit. http:\/\/research.microsoft.com\/phoenix Accessed October 2007."},{"volume-title":"Proceedings of the 14th international Symposium on Software Reliability Engineering (November 17 - 21","year":"2003","author":"Nebut C.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/901553"},{"volume-title":"Proceedings of the 17th international Conference on Testing Computer Software (June 12 - 2000), TCS2000","year":"2000","author":"Ryser J.","key":"e_1_3_2_1_11_1"},{"volume-title":"Scenario Usage in System Development: A Report on Current Practice. In Proceedings of the 3rd international Conference on Requirements Engineering: Putting Requirements Engineering To Practice (April","year":"1998","author":"Weidenhaupt K.","key":"e_1_3_2_1_12_1"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Leipzig Germany","acronym":"ICSE '08"},"container-title":["Proceedings of the 3rd international workshop on Automation of software test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1370042.1370056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T00:00:51Z","timestamp":1673481651000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370042.1370056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,11]]},"references-count":11,"alternative-id":["10.1145\/1370042.1370056","10.1145\/1370042"],"URL":"https:\/\/doi.org\/10.1145\/1370042.1370056","relation":{},"subject":[],"published":{"date-parts":[[2008,5,11]]},"assertion":[{"value":"2008-05-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}