{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T11:30:45Z","timestamp":1730287845464,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1109\/pdse.1999.779736","type":"proceedings-article","created":{"date-parts":[[2003,1,20]],"date-time":"2003-01-20T17:23:24Z","timestamp":1043083404000},"page":"24-35","source":"Crossref","is-referenced-by-count":9,"title":["State-based reproducible testing for CORBA applications"],"prefix":"10.1109","author":[{"family":"Hwan Wook Sohn","sequence":"first","affiliation":[]},{"family":"Kung","sequence":"additional","affiliation":[]},{"family":"Pei Hsia","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.667877"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1992.753494"},{"journal-title":"Software testing using algebraic specification based test oracles","year":"1993","author":"sankar","key":"ref12"},{"key":"ref13","first-page":"172","article-title":"Reproducible testing for Distributed programs","author":"sohn","year":"1996","journal-title":"4th Int'l Conference on Telecomm Systems Modeling and Analysis"},{"key":"ref14","first-page":"310","article-title":"On Testing concurrent programs","author":"tai","year":"1985","journal-title":"Proceedings of 9th International Computer Software and Applications Conference COMPSAC'85"},{"key":"ref15","first-page":"58","article-title":"Validation of Concurrent Software Systems","author":"tai","year":"1989","journal-title":"Proceedings of 13th International Computer Software and Applications Conference COMPSAC'89"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.57626"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/2.596624"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1994.342801"},{"key":"ref5","first-page":"28","article-title":"Method Sequence Specification and Verification of Classes","volume":"7","author":"kirani","year":"1994","journal-title":"Object-Oriented Programming"},{"journal-title":"Client\/Server Programming With JAVA and CORBA","year":"1997","author":"orfali","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SPDP.1990.143516"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.689403"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/52.73751"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/186258.186508"}],"event":{"name":"Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","start":{"date-parts":[[1999,5,18]]},"location":"Los Angeles, CA, USA","end":{"date-parts":[[1999,5,18]]}},"container-title":["Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6331\/16920\/00779736.pdf?arnumber=779736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T19:09:07Z","timestamp":1489172947000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/779736\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/pdse.1999.779736","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}