{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:13Z","timestamp":1750307473480,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T00:00:00Z","timestamp":1284940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,9,20]]},"DOI":"10.1145\/1865875.1865882","type":"proceedings-article","created":{"date-parts":[[2010,11,12]],"date-time":"2010-11-12T14:38:38Z","timestamp":1289572718000},"page":"45-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Assertion-based test oracles for home automation systems"],"prefix":"10.1145","author":[{"given":"Ajitha","family":"Rajan","sequence":"first","affiliation":[{"name":"Laboratoire d'Informatique de Grenoble (LIG), Grenoble, France"}]},{"given":"Lydie","family":"du Bousquet","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique de Grenoble (LIG), Grenoble, France"}]},{"given":"Yves","family":"Ledru","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique de Grenoble (LIG), Grenoble, France"}]},{"given":"German","family":"Vega","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique de Grenoble (LIG), Grenoble, France"}]},{"given":"Jean-Luc","family":"Richier","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique de Grenoble (LIG), Grenoble, France"}]}],"member":"320","published-online":{"date-parts":[[2010,9,20]]},"reference":[{"unstructured":"Apache felix iPOJO website. http:\/\/felix.apache.org\/site\/apache-felix-ipojo.html.  Apache felix iPOJO website. http:\/\/felix.apache.org\/site\/apache-felix-ipojo.html.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","volume-title":"OSGi Service Platform: Release","author":"Alliance Gi","year":"2003","unstructured":"OS Gi Alliance . OSGi Service Platform: Release 3, March 2003 . IOS Press , 2003. OSGi Alliance. OSGi Service Platform: Release 3, March 2003. IOS Press, 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/1035167.1035195"},{"key":"e_1_3_2_1_4_1","volume-title":"July","author":"Beck K.","year":"1998","unstructured":"K. Beck and E. Gamma . Test infected: Programmers love writing tests. Java Report 3(7) , July 1998 . K. Beck and E. Gamma. Test infected: Programmers love writing tests. Java Report 3(7), July 1998."},{"unstructured":"F. Bellegarde J. Groslambert M. Huisman J. Julliand and O. Kouchnarenko. Verification of liveness properties with JML. Technical report INRIA.  F. Bellegarde J. Groslambert M. Huisman J. Julliand and O. Kouchnarenko. Verification of liveness properties with JML. Technical report INRIA.","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/SCC.2006.5"},{"key":"e_1_3_2_1_7_1","first-page":"322","volume-title":"International Conference on Software Engineering Research and Practice (SERP '02)","author":"Cheon Y.","year":"2002","unstructured":"Y. Cheon and G. T. Leavens . A Runtime Assertion Checker for the Java Modeling Language (JML). In Hamid R. Arabnia and Youngsong Mun, editors , International Conference on Software Engineering Research and Practice (SERP '02) , pages 322 -- 328 , Las Vegas, Nevada , June 2002 . CSREA Press. Y. Cheon and G. T. Leavens. A Runtime Assertion Checker for the Java Modeling Language (JML). In Hamid R. Arabnia and Youngsong Mun, editors, International Conference on Software Engineering Research and Practice (SERP '02), pages 322--328, Las Vegas, Nevada, June 2002. CSREA Press."},{"volume-title":"16th European Conference on Object-Oriented Programming (ECOOP'02)","author":"Cheon Y.","unstructured":"Y. Cheon and G. T. Leavens . A simple and practical approach to unit testing: The JML and JUnit way . In 16th European Conference on Object-Oriented Programming (ECOOP'02) , number 2374 in LNCS, pages 231--255. Springer, June 2002. Y. Cheon and G. T. Leavens. A simple and practical approach to unit testing: The JML and JUnit way. In 16th European Conference on Object-Oriented Programming (ECOOP'02), number 2374 in LNCS, pages 231--255. Springer, June 2002.","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1109\/ccnc08.2007.78"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/SCC.2007.74"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.5555\/827254.827800"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/978-3-540-72912-9_9"},{"key":"e_1_3_2_1_13_1","volume-title":"Microsoft, SAP AG, and Siebel Systems. Business Process Execution Language for Web Services 1.1","author":"IBM","year":"2005","unstructured":"IBM , BEA Systems , Microsoft, SAP AG, and Siebel Systems. Business Process Execution Language for Web Services 1.1 , 2005 . IBM, BEA Systems, Microsoft, SAP AG, and Siebel Systems. Business Process Execution Language for Web Services 1.1, 2005."},{"unstructured":"JUnit. http:\/\/www.junit.org.  JUnit. http:\/\/www.junit.org.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","volume-title":"Web Services Choreography Description Language version 1.0","author":"Kavantzas N.","year":"2004","unstructured":"N. Kavantzas , D. Burdett , and G. Ritzinger . Web Services Choreography Description Language version 1.0 , 2004 . N. Kavantzas, D. Burdett, and G. Ritzinger. Web Services Choreography Description Language version 1.0, 2004."},{"key":"e_1_3_2_1_16_1","volume-title":"JAVA-MAC: a runtime assurance tool for java programs. Electronic Notes in Theoretical Computer Science, 55","author":"Kim M.","year":"2001","unstructured":"M. Kim , S. Kannan , I. Lee , O. Sokolosky , and M. Viswanathan . JAVA-MAC: a runtime assurance tool for java programs. Electronic Notes in Theoretical Computer Science, 55 , 2001 . M. Kim, S. Kannan, I. Lee, O. Sokolosky, and M. Viswanathan. JAVA-MAC: a runtime assurance tool for java programs. Electronic Notes in Theoretical Computer Science, 55, 2001."},{"key":"e_1_3_2_1_17_1","volume-title":"JML Reference Manual","author":"Leavens G. T.","year":"2006","unstructured":"G. T. Leavens , E. Poll , C. Clifton , Y. Cheon , C. Ruby , D. R. Cok , P. Muller , J. R. Kiniry , and P. Chalin . JML Reference Manual . Iowa State University , Jan 2006 . G. T. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby, D. R. Cok, P. Muller, J. R. Kiniry, and P. Chalin. JML Reference Manual. Iowa State University, Jan 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1007\/978-3-540-24721-0_21"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/978-3-540-72912-9_10"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1109\/32.988496"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.5555\/1025115.1025250"}],"event":{"sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"acronym":"ASE10","name":"ASE10: IEEE\/ACM International Conference on Automated Software Engineering","location":"Antwerpen Belgium"},"container-title":["Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1865875.1865882","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1865875.1865882","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:47Z","timestamp":1750248527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1865875.1865882"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,20]]},"references-count":21,"alternative-id":["10.1145\/1865875.1865882","10.1145\/1865875"],"URL":"https:\/\/doi.org\/10.1145\/1865875.1865882","relation":{},"subject":[],"published":{"date-parts":[[2010,9,20]]},"assertion":[{"value":"2010-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}