{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T07:40:14Z","timestamp":1748763614340,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/qsic.2003.1319090","type":"proceedings-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T10:25:04Z","timestamp":1113301504000},"page":"91-98","source":"Crossref","is-referenced-by-count":5,"title":["A note on test oracles and semantics of algebraic specifications"],"prefix":"10.1109","author":[{"family":"Hong Zhu","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/192218.192221"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/366378.366380"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287004"},{"key":"ref13","first-page":"93","article-title":"Implementation and behaviour equivalence: a survey","author":"orejas","year":"1993","journal-title":"Proc of 8th WADT\/3rd COMPSAA Workshop"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178505"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","article-title":"Testing can be formal","author":"gaudel","year":"1995","journal-title":"Proceedings of TAPSOFT'95"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-50325-0_10"},{"key":"ref17","first-page":"413","article-title":"A kernel language for algebraic specification and implementation","author":"sannella","year":"1983","journal-title":"Proc of 1983 International Conference on Foundation of Computation Theory"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(87)90023-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00039-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211084"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00275-3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/357139.357140"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/333580.333589"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(86)90004-X"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1049\/sej.1991.0040","article-title":"software testing based on formal specifications: a theory and a tool","volume":"6","author":"bernot","year":"1991","journal-title":"Software Engineering Journal"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321997"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/359605.359618"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120822"},{"key":"ref20","article-title":"On observioural abstraction and behavioural satisfaction in higher-order logic","author":"hofmann","year":"1995","journal-title":"Proc TAPSOFT\/FASE 95"},{"key":"ref22","article-title":"An Observational Theory of Integration Testing for Component-Based Software Development","author":"zhu","year":"2001","journal-title":"Proc Compsac"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/0212024"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)00048-4"},{"key":"ref23","first-page":"7","article-title":"Constructions of behaviour observation schemes in software testing","author":"zhu","year":"2000","journal-title":"Proc of HASE’2000"}],"event":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","start":{"date-parts":[[2003,11,7]]},"location":"Dallas, TX, USA","end":{"date-parts":[[2003,11,7]]}},"container-title":["Third International Conference on Quality Software, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9215\/29226\/01319090.pdf?arnumber=1319090","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T14:13:42Z","timestamp":1497622422000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319090\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/qsic.2003.1319090","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}