{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:12:30Z","timestamp":1742389950185},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1109\/ase.2002.1115003","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"129-138","source":"Crossref","is-referenced-by-count":3,"title":["Constructing CORBA-supported oracles for testing: a case study in automated software testing"],"prefix":"10.1109","author":[{"given":"P.","family":"Fenkam","sequence":"first","affiliation":[{"name":"Distributed Syst. Group, Tech. Univ. of Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Gall","sequence":"additional","affiliation":[{"name":"Distributed Syst. Group, Tech. Univ. of Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Jazayeri","sequence":"additional","affiliation":[{"name":"Distributed Syst. Group, Tech. Univ. of Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Systematic Software Development Using VDM","year":"1990","author":"jones","key":"ref10"},{"key":"ref11","article-title":"A Web-based Peer-to-Peer Architecture for Collaborative Nomadic Working","author":"kirda","year":"2001","journal-title":"Proc IEEE Workshop Enabling Technologies Infrastructure Collaborative Enterprises (WET-ICE)"},{"journal-title":"Software Reliability","year":"1976","author":"myers","key":"ref12"},{"journal-title":"Software Engineering The production of quality software","year":"1991","author":"pfleeger","key":"ref13"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1145\/142137.142153","article-title":"An Overview of the ISO\/VDMSL Standard","author":"plat","year":"1992","journal-title":"ACM SIGPLAN Notices"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1992.753494"},{"key":"ref16","article-title":"The Design of XQL","author":"robie","year":"1999","journal-title":"Technical Report"},{"journal-title":"The IFAD VDM-SL Language IFAD","article-title":"The VDM Tool Group and The Institute of Applied Computer Science","year":"1996","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053368"},{"journal-title":"Technical Report","article-title":"Extensible Markup Language","year":"2000","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313053"},{"key":"ref3","first-page":"250","article-title":"Automated Black-box Testing with VDM Oracles","author":"aichernig","year":"1999","journal-title":"Proceedings of the 18th International Conference SAFECOMP'99"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ENABL.2002.1029995"},{"key":"ref5","article-title":"Why correctness must be a mathematical concern","author":"dijkstra","year":"1981","journal-title":"The Correctness Problem in Computer Science"},{"article-title":"Dynamic User Management System for Web Sites","year":"2000","author":"fenkam","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2002.1048508"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298861"},{"key":"ref1","article-title":"A Lightweight Approach to Formal Methods","author":"agerholm","year":"1998","journal-title":"Proceedings of the International Workshop on Currents Trends in Applied Formal Methods"},{"key":"ref9","article-title":"GMD-IPSI XQL Engine Tutorial","author":"huck","year":"1999","journal-title":"Technical Report"},{"journal-title":"Technical Report","article-title":"The Document Object Model Level 2 Specification","year":"2000","key":"ref20"}],"event":{"name":"Proceedings ASE 2002. 17th IEEE International Conference on Automated Software Engineering","start":{"date-parts":[[2002,9,23]]},"location":"Edinburgh, UK","end":{"date-parts":[[2002,9,27]]}},"container-title":["Proceedings 17th IEEE International Conference on Automated Software Engineering,"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8183\/24593\/01115003.pdf?arnumber=1115003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T17:30:20Z","timestamp":1714411820000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1115003\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/ase.2002.1115003","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}