{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:29:07Z","timestamp":1742390947539},"reference-count":58,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2003,6]]},"DOI":"10.1109\/tse.2003.1205182","type":"journal-article","created":{"date-parts":[[2003,6,23]],"date-time":"2003-06-23T15:10:59Z","timestamp":1056381059000},"page":"555-566","source":"Crossref","is-referenced-by-count":45,"title":["Tool support for testing concurrent java components"],"prefix":"10.1109","volume":"29","author":[{"given":"B.","family":"Long","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Hoffman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Strooper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"210","author":"lea","year":"1997","journal-title":"Concurrent Programming in Java"},{"key":"ref38","first-page":"14","article-title":"An Incremental Approach to Structural Testing of Concurrent Programs","author":"koppol","year":"1996","journal-title":"Proc 1996 Int'l Symp Software Testing and Analysis"},{"key":"ref33","article-title":"A Prototype of a Concurrent Behavior Monitoring Tool for Teesting of Concurrent Programs","author":"itoh","year":"1996","journal-title":"Proc Third Asia-Pacific Software Eng Conf"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2000.844580"},{"key":"ref31","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989799"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2000.845988"},{"key":"ref36","first-page":"590","article-title":"Test-Case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences","author":"katayama","year":"2000","journal-title":"Proc 2000 Asia-Pacific Software Eng Conf"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1998.733728"},{"key":"ref34","first-page":"23","article-title":"Extreme Testing","author":"jeffries","year":"1999","journal-title":"Software Testing and Quality Eng"},{"key":"ref28","first-page":"245","article-title":"Using Runtime Analysis to Guide Model Checking of Java Programs","author":"havelund","year":"2000","journal-title":"Proc Seventh SPIN Workshop"},{"key":"ref27","article-title":"Java PathFinder, a Translator from Java to Promela","author":"havelund","year":"1999","journal-title":"Proc Fifth and Sixth SPIN Workshops"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2001.948499"},{"key":"ref1","author":"andrews","year":"1991","journal-title":"Concurrent Programming Principles and Practice"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/112600.112621"},{"key":"ref22","author":"gosling","year":"1998","journal-title":"The Java Programming Language"},{"key":"ref21","article-title":"JUnit Testing Framework","author":"gamma","year":"2002"},{"key":"ref24","first-page":"55","author":"hartley","year":"1998","journal-title":"Concurrent Programming The Java Programming Language"},{"key":"ref23","author":"gosling","year":"2000","journal-title":"The Java Language Specification"},{"key":"ref26","first-page":"39","article-title":"Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software","author":"hatcliff","year":"2001","journal-title":"Proc 12th Int'l Conf Concurrency Theory (CONCUR'01)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2001.948498"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873671"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/32.6195"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873645"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/32.126769"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/69586.69587"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/32.67578"},{"key":"ref53","article-title":"Special Issues in Object-Oriented Programming-ECOOP 96 Workshop Reader","author":"szyperski","year":"1997","journal-title":"Workshop on Component-Oriented Programming Summary"},{"key":"ref52","author":"szyperski","year":"1998","journal-title":"Component Software Beyond Object-Oriented Programming"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/52.73751"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.689403"},{"key":"ref40","author":"lindholm","year":"1999","journal-title":"The Java Virtual Machine Specification"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/281035.281041"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271778"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/spe.452"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/PDSE.1998.668184"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"ref19","author":"fowler","year":"1999","journal-title":"Refactoring Improving the Design of Existing Code"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1998.693354"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MELCON.1998.699448"},{"key":"ref6","author":"ben-ari","year":"1990","journal-title":"Principles of Concurrent and Distributed Programming"},{"key":"ref5","author":"beck","year":"2000","journal-title":"eXtreme Programming Explained"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/APAQ.2000.883775"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380080607"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.1997.652587"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/74261.74301"},{"key":"ref46","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref45","article-title":"Symbolic Model Checking","author":"mcmillan","year":"1992"},{"key":"ref48","article-title":"Test Infect Your Enterprise JavaBeans","author":"nygard","year":"2000","journal-title":"JavaWorld J"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302663"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120810"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/DOA.2001.954068"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/76894.76897"},{"key":"ref43","author":"magee","year":"1999","journal-title":"Concurrency State Models and Java Programs"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/27132\/01205182.pdf?arnumber=1205182","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T15:54:48Z","timestamp":1638201288000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1205182\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":58,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2003,6]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2003.1205182","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}