{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T07:47:40Z","timestamp":1748418460341,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2004.1342879","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"458-466","source":"Crossref","is-referenced-by-count":31,"title":["Testing context-sensitive middleware-based software applications"],"prefix":"10.1109","author":[{"given":"T.H.","family":"Tse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.S.","family":"Yau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.K.","family":"Chan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.Y.","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/344949.344988"},{"key":"17","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/566172.566202","article-title":"Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing","author":"chen","year":"2002","journal-title":"Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)"},{"key":"18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0950-5849(02)00129-5","article-title":"Fault-based testing without the need of oracles","volume":"45","author":"chen","year":"2003","journal-title":"Information and Software Technology"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/PDSE.1999.779742"},{"journal-title":"The Z Notation A Reference Manual","year":"1992","author":"spivey","key":"15"},{"key":"16","article-title":"Metamorphic testing: A new approach for generating next test cases","volume":"hkust cs98 1","author":"chen","year":"1998","journal-title":"Technical Report"},{"key":"13","first-page":"21","article-title":"A smart classroom for enhancing collaborative learning using pervasive computing technology","author":"yau","year":"2003","journal-title":"Proceedings of the 6th WFEO World Congress on Engineering Education and the 2nd ASEE International Colloquium on Engineering Education (ASEE 2003)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/32.6194"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-003-0250-y"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/381461.381471"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/953460.953489"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(03)00055-4"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960626"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/159544.159617"},{"key":"24","first-page":"93","article-title":"Situation-aware contract specification language for middleware for ubiquitous computing","author":"yau","year":"2003","journal-title":"Proc 9th IEEE Int Workshop on Future Trends in Distributed Computing Systems (FTDCS 2003)"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000009305.62647.ee"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2002.1044557"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233816"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/196092.193171"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1265522"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1265523"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049403"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/962081.962105"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2002.1045022"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1147\/sj.373.0454"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302659"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/32.689403"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015584805733"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2003.1245319"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/313451.313463"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/958961.958963"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1037720"}],"event":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","location":"Hong Kong"},"container-title":["Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9304\/29570\/01342879.pdf?arnumber=1342879","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:37:53Z","timestamp":1497613073000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1342879\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2004.1342879","relation":{},"subject":[]}}