{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T05:24:44Z","timestamp":1738992284292,"version":"3.37.0"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,2,12]],"date-time":"2009-02-12T00:00:00Z","timestamp":1234396800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2010,2]]},"DOI":"10.1007\/s10009-009-0102-9","type":"journal-article","created":{"date-parts":[[2009,2,11]],"date-time":"2009-02-11T09:46:43Z","timestamp":1234345603000},"page":"69-88","source":"Crossref","is-referenced-by-count":7,"title":["A class library for implementing, testing, and debugging concurrent programs"],"prefix":"10.1007","volume":"12","author":[{"given":"Richard H.","family":"Carver","sequence":"first","affiliation":[]},{"given":"Yu","family":"Lei","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,2,12]]},"reference":[{"key":"102_CR1","doi-asserted-by":"crossref","unstructured":"Carver, R., Lei, Y.: A general model for reachability testing of concurrent programs. In: International Conference on Formal Engineering Methods, pp. 76\u201398 (2004)","DOI":"10.1007\/978-3-540-30482-1_14"},{"issue":"2","key":"102_CR2","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/52.73751","volume":"8","author":"R. Carver","year":"1991","unstructured":"Carver R., Tai K.: Replay and testing for concurrent programs. IEEE Softw. 8(2), 66\u201374 (1991)","journal-title":"IEEE Softw."},{"issue":"1","key":"102_CR3","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/32.67578","volume":"17","author":"K. Tai","year":"1991","unstructured":"Tai K., Carver R., Obaid E.: Debugging concurrent ada programs by deterministic execution. IEEE Trans. Softw. Eng. 17(1), 45\u201363 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"102_CR4","unstructured":"Tai, K.: On testing concurrent programs. In: COMPSAC 85, pp. 310\u2013317 (1985)"},{"key":"102_CR5","doi-asserted-by":"crossref","unstructured":"Carver, R., Tai, K.: Deterministic execution testing of concurrent Ada programs. In: Tri-Ada \u201989: Ada Technology in Context: Application, Development, and Deployment, pp. 528\u2013544 (1989)","DOI":"10.1145\/74261.74301"},{"issue":"4","key":"102_CR6","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1142\/S0218194095000241","volume":"5","author":"G. Hwang","year":"1995","unstructured":"Hwang G., Tai K., Huang T.: Reachability testing: an approach to testing concurrent software. Int. J. Softw. Eng. Knowl. Eng. 5(4), 493\u2013510 (1995)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"102_CR7","unstructured":"Lei, Y, Tai, K.: Efficient reachability testing of asynchronous message-passing programs. In: 8th IEEE International Conference on Engineering for Complex Computer Systems, pp. 35\u201344 (2002)"},{"key":"102_CR8","unstructured":"Lei, Y., Carver, R.: Reachability testing of semaphore-based programs. In: 28th Computer Software and Applications Conference (COMPSAC), pp. 312\u2013317 (2004)"},{"key":"102_CR9","unstructured":"Lei, Y., Carver, R.: Reachability testing of monitor-based programs. In: International Conference on Software Engineering and Applications, pp. 312\u2013317 (2004)"},{"issue":"6","key":"102_CR10","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1109\/TSE.2006.56","volume":"32","author":"Y. Lei","year":"2006","unstructured":"Lei Y., Carver R.: Reachability testing of concurrent programs. IEEE Trans. Softw. Eng. 32(6), 382\u2013403 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"12","key":"102_CR11","doi-asserted-by":"crossref","first-page":"1377","DOI":"10.1016\/S0167-8191(05)80004-3","volume":"17","author":"D. Feitelson","year":"1991","unstructured":"Feitelson D.: Deadlock detection without wait-for graphs. Parallel Comput. 17(12), 1377\u20131383 (1991)","journal-title":"Parallel Comput."},{"key":"102_CR12","volume-title":"Modern Multithreading","author":"R. Carver","year":"2006","unstructured":"Carver R., Tai K.: Modern Multithreading. Wiley, New York (2006)"},{"issue":"3","key":"102_CR13","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/230908.250717","volume":"30","author":"K. Tai","year":"1996","unstructured":"Tai K., Carver R.: VP: A new operation for semaphores. ACM Oper. Syst. Rev. 30(3), 5\u201311 (1996)","journal-title":"ACM Oper. Syst. Rev."},{"key":"102_CR14","volume-title":"Concurrency: State Models & Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee J., Kramer J.: Concurrency: State Models & Java Programs. Wiley, New York (1999)"},{"key":"102_CR15","unstructured":"Ada Language Reference Manual. ISO\/IEC 8652:1995(E) (1983)"},{"issue":"3","key":"102_CR16","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.scico.2005.03.007","volume":"58","author":"D. Lea","year":"2005","unstructured":"Lea D.: The java.util.concurrent synchronizer framework. Sci. Comput. Program. 58(3), 293\u2013309 (2005)","journal-title":"Sci. Comput. Program."},{"issue":"7","key":"102_CR17","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport L.: Time, Clocks, and the ordering of events in a distributed system. Commun. ACM. 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM."},{"issue":"6","key":"102_CR18","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1109\/32.689403","volume":"24","author":"R. Carver","year":"1998","unstructured":"Carver R., Tai K.: Use of sequencing constraints for specification-based testing of concurrent programs. IEEE Trans. Softw. Eng. 24(6), 471\u2013490 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"102_CR19","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model checking for programming languages using VeriSoft. In: 24th ACM Symposium on Principles of Programming Languages, pp. 174\u2013186 (1997)","DOI":"10.1145\/263699.263717"},{"issue":"1","key":"102_CR20","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/358527.358537","volume":"24","author":"G. Ricart","year":"1981","unstructured":"Ricart G., Agrawala A.: An optimal algorithm for mutual exclusion in computer networks. Commun. ACM 24(1), 9\u201317 (1981)","journal-title":"Commun. ACM"},{"key":"102_CR21","unstructured":"Kuhn D., Reilly, M.: An investigation of the applicability of design of experiments to software testing. In: 27th NASA\/IEEE Software Engineering Workshop. NASA Goddard Space Flight Center, pp. 91\u201395 (2002)"},{"issue":"6","key":"102_CR22","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1109\/TSE.2004.24","volume":"30","author":"D. Kuhn","year":"2004","unstructured":"Kuhn D., Wallace D., Gallo A.: Software fault interactions and implications for software testing. IEEE Trans. Softw. Eng. 30(6), 418\u2013421 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"102_CR23","doi-asserted-by":"crossref","unstructured":"Cohen, B., Colbourn, C., Gibbons, P., Mugridge, W.: Constructing test suites for interaction testing. In: International Conference on Software Engineering, pp. 38\u201348 (2003)","DOI":"10.1109\/ICSE.2003.1201186"},{"key":"102_CR24","unstructured":"Tung, Y., Aldiwan, W.: Automating test case generation for the new generation mission software system. In: IEEE Aerospace Conference, pp. 431\u2013437 (2000)"},{"issue":"4","key":"102_CR25","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1142\/S021853930100058X","volume":"8","author":"D. Wallace","year":"2001","unstructured":"Wallace D., Kuhn D.: Failure modes in medical device software: an analysis of 15\u00a0years of recall data. Int. J. Reliab. Qual. Saf. Eng. 8(4), 351\u2013371 (2001)","journal-title":"Int. J. Reliab. Qual. Saf. Eng."},{"issue":"4","key":"102_CR26","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1002\/stvr.369","volume":"17","author":"Y. Lei","year":"2007","unstructured":"Lei Y., Carver R., Kacker R., Kung D.: A combinatorial testing strategy for concurrent programs. J. Softw. Test. Verification Reliab. 17(4), 207\u2013225 (2007)","journal-title":"J. Softw. Test. Verification Reliab."},{"key":"102_CR27","unstructured":"Lei, Y., Tai, K.: In-parameter-order: A test generation strategy for pairwise testing. In: 3rd IEEE International Conference on High-Assurance Systems Engineering Symposium, pp. 254\u2013261 (1998)"},{"issue":"1","key":"102_CR28","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/32.979992","volume":"28","author":"K. Tai","year":"2002","unstructured":"Tai K., Lei Y.: A test generation strategy for pairwise testing. IEEE Trans. Softw. Eng. 28(1), 109\u2013111 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"102_CR29","doi-asserted-by":"crossref","DOI":"10.1002\/0471721271","volume-title":"Concurrent and Distributed Computing in Java","author":"V. Garg","year":"2004","unstructured":"Garg V.: Concurrent and Distributed Computing in Java. Wiley, New York (2004)"},{"issue":"4","key":"102_CR30","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1145\/6110.214406","volume":"3","author":"I. Suzuki","year":"1985","unstructured":"Suzuki I., Kasami T.: A distributed mutual exclusion algorithm. ACM Trans. Comput. Syst. 3(4), 344\u2013349 (1985)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"2","key":"102_CR31","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/stvr.308","volume":"15","author":"Y. Ma","year":"2005","unstructured":"Ma Y., Offutt J., Kwon Y.: MuJava: an automated class mutation system. J. Softw. Test. Verification Reliab. 15(2), 97\u2013133 (2005)","journal-title":"J. Softw. Test. Verification Reliab."},{"key":"102_CR32","unstructured":"\u03bcJava, http:\/\/ise.gmu.edu~ofut\/mujava\/"},{"key":"102_CR33","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0304-3975(92)90054-J","volume":"101","author":"S. Katz","year":"1992","unstructured":"Katz S., Peled D.: Defining conditional independence using collapses. Theor. Comput. Sci. 101, 337\u2013359 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"102_CR34","doi-asserted-by":"crossref","unstructured":"Alpern, B., Choi, J.D., Ngo, T., Sridharan, M.: DejaVu: Deterministic Java replay debugger for Jalapeno VM. In: 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA\u201900), pp. 165\u2013166 (2000)","DOI":"10.1145\/367845.368073"},{"key":"102_CR35","doi-asserted-by":"crossref","unstructured":"Konuru, R., Srinivasan, H., Choi, J.: Deterministic replay of distributed Java applications. In: 14th International Parallel & Distributed Processing Symposium (IPDPS 00), pp. 219\u2013228 (2000)","DOI":"10.1109\/IPDPS.2000.845988"},{"issue":"3\u20135","key":"102_CR36","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1002\/cpe.654","volume":"15","author":"O. Edelstein","year":"2003","unstructured":"Edelstein O., Farchi E., Goldin E., Nir Y., Ratsaby G., Ur S.: Framework for testing multi-threaded Java programs. Concurr. Comput. Pract. Experience 15(3\u20135), 485\u2013499 (2003)","journal-title":"Concurr. Comput. Pract. Experience"},{"issue":"4","key":"102_CR37","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K. Havelund","year":"2000","unstructured":"Havelund K., Pressburger T.: Model checking Java programs using Java PathFinder. Int. J. Softw. Tools Technol. Transf. 2(4), 366\u2013381 (2000)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"4","key":"102_CR38","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage S., Burrows M., Nelson G., Sobalvarro P., Anderson T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"102_CR39","doi-asserted-by":"crossref","unstructured":"Pozniansky, E., Schuster, A.: Efficient on-the-fly data race detection in multithreaded C++ programs. In: Principles and Practice of Parallel Computing, pp. 179\u2013190 (2003)","DOI":"10.1145\/966049.781529"},{"issue":"2","key":"102_CR40","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1006\/jpdc.1999.1574","volume":"59","author":"A. Itzkovitz","year":"1999","unstructured":"Itzkovitz A., Schuster A., Zeev-Ben-Mordehai O.: Toward integration of data race detection in DSM systems. J. Parallel Distributed Comput. 59(2), 180\u2013203 (1999)","journal-title":"J. Parallel Distributed Comput."},{"key":"102_CR41","doi-asserted-by":"crossref","unstructured":"Bacon, D., Strom, R., Tarafdar, A.: Guava: a dialect of Java without data races. In: OOPSLA \u201900, pp. 382\u2013400 (2000)","DOI":"10.1145\/353171.353197"},{"key":"102_CR42","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: 2007 ACM SIGPLAN Conference on Programming language design and implementation, pp. 446\u2013455 (2007)","DOI":"10.1145\/1250734.1250785"},{"key":"102_CR43","doi-asserted-by":"crossref","unstructured":"Qadeer, S., Wu, D.: KISS: keep it simple and sequential. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 14\u201324 (2004)","DOI":"10.1145\/996841.996845"},{"issue":"6","key":"102_CR44","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1109\/TSE.2003.1205182","volume":"29","author":"B. Long","year":"2003","unstructured":"Long B., Hoffman D., Strooper P.: Tool support for testing concurrent Java components. IEEE Trans. Softw. Eng. 29(6), 555\u2013566 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"102_CR45","doi-asserted-by":"crossref","unstructured":"Lei, Y., Carver, R., Kung, D., Gupta, V., Hernandez, M.: A state exploration-based approach to testing Java monitors. In: International Symposium on Software Reliability Engineering (ISSRE), pp. 256\u2013265 (2006)","DOI":"10.1109\/ISSRE.2006.9"},{"key":"102_CR46","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0164-1212(96)00024-6","volume":"33","author":"R. Carver","year":"1996","unstructured":"Carver R.: Testing abstract distributed programs and their implementations. J. Syst. Softw. 33, 223\u2013237 (1996)","journal-title":"J. Syst. Softw."},{"issue":"6","key":"102_CR47","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1109\/TSE.2002.1010062","volume":"28","author":"P. Koppol","year":"2002","unstructured":"Koppol P., Carver R., Tai K.: Incremental integration testing of concurrent programs. IEEE Trans. Softw. Eng. 28(6), 607\u2013623 (2002)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-009-0102-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-009-0102-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-009-0102-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T15:49:14Z","timestamp":1738943354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-009-0102-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2,12]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["102"],"URL":"https:\/\/doi.org\/10.1007\/s10009-009-0102-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2009,2,12]]}}}