{"@attributes":{"name":"Richard H. Carver","pid":"88\/368","n":"32"},"person":{"@attributes":{"key":"homepages\/88\/368","mdate":"2009-06-09"},"author":"Richard H. Carver"},"r":[{"article":{"@attributes":{"key":"journals\/jss\/CarverL18","mdate":"2021-02-10"},"author":["Richard H. Carver","Yu Lei 0001"],"title":"Stateless techniques for generating global and local test oracles for message-passing concurrent programs.","pages":"237-265","year":"2018","volume":"136","journal":"J. Syst. Softw.","ee":"https:\/\/doi.org\/10.1016\/j.jss.2017.11.026","url":"db\/journals\/jss\/jss136.html#CarverL18"}},{"inproceedings":{"@attributes":{"key":"conf\/icst\/XuLC17","mdate":"2021-02-10"},"author":["Jing Xu","Yu Lei 0001","Richard H. Carver"],"title":"Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures.","pages":"35-46","year":"2017","booktitle":"ICST","ee":"https:\/\/doi.org\/10.1109\/ICST.2017.11","crossref":"conf\/icst\/2017","url":"db\/conf\/icst\/icst2017.html#XuLC17"}},{"inproceedings":{"@attributes":{"key":"conf\/icst\/XuLCK15","mdate":"2023-03-23"},"author":["Jing Xu","Yu Lei 0001","Richard H. Carver","David Chenho Kung"],"title":"A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops.","pages":"1-10","year":"2015","booktitle":"ICST","ee":["https:\/\/doi.org\/10.1109\/ICST.2015.7102579","https:\/\/doi.ieeecomputersociety.org\/10.1109\/ICST.2015.7102579"],"crossref":"conf\/icst\/2015","url":"db\/conf\/icst\/icst2015.html#XuLCK15"}},{"inproceedings":{"@attributes":{"key":"conf\/musepat\/CarverL13","mdate":"2021-02-10"},"author":["Richard H. Carver","Yu Lei 0001"],"title":"A Modular Approach to Model-Based Testing of Concurrent Programs.","pages":"85-96","year":"2013","booktitle":"MUSEPAT","ee":"https:\/\/doi.org\/10.1007\/978-3-642-39955-8_8","crossref":"conf\/musepat\/2013","url":"db\/conf\/musepat\/musepat2013.html#CarverL13"}},{"inproceedings":{"@attributes":{"key":"conf\/musepat\/XuLCK13","mdate":"2021-02-10"},"author":["Jing Xu","Yu Lei 0001","Richard H. Carver","David Chenho Kung"],"title":"A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions.","pages":"97-109","year":"2013","booktitle":"MUSEPAT","ee":"https:\/\/doi.org\/10.1007\/978-3-642-39955-8_9","crossref":"conf\/musepat\/2013","url":"db\/conf\/musepat\/musepat2013.html#XuLCK13"}},{"article":{"@attributes":{"key":"journals\/concurrency\/CarverL10","mdate":"2021-02-10"},"author":["Richard H. Carver","Yu Lei 0001"],"title":"Distributed reachability testing of concurrent programs.","pages":"2445-2466","year":"2010","volume":"22","journal":"Concurr. Comput. Pract. Exp.","number":"18","ee":"https:\/\/doi.org\/10.1002\/cpe.1573","url":"db\/journals\/concurrency\/concurrency22.html#CarverL10"}},{"article":{"@attributes":{"key":"journals\/sttt\/CarverL10","mdate":"2021-02-10"},"author":["Richard H. Carver","Yu Lei 0001"],"title":"A class library for implementing, testing, and debugging concurrent programs.","pages":"69-88","year":"2010","volume":"12","journal":"Int. J. Softw. Tools Technol. Transf.","number":"1","ee":"https:\/\/doi.org\/10.1007\/s10009-009-0102-9","url":"db\/journals\/sttt\/sttt12.html#CarverL10"}},{"inproceedings":{"@attributes":{"key":"conf\/hase\/CarverL10","mdate":"2023-03-26"},"author":["Richard H. Carver","Jeff Yu Lei"],"title":"A Stateful Approach to Testing Monitors in Multithreaded Programs.","pages":"54-63","year":"2010","booktitle":"HASE","ee":["https:\/\/doi.org\/10.1109\/HASE.2010.14","https:\/\/doi.ieeecomputersociety.org\/10.1109\/HASE.2010.14"],"crossref":"conf\/hase\/2010","url":"db\/conf\/hase\/hase2010.html#CarverL10"}},{"article":{"@attributes":{"key":"journals\/stvr\/LeiCKK07","mdate":"2021-02-11"},"author":["Yu Lei 0001","Richard H. Carver","Raghu Kacker","David Chenho Kung"],"title":"A combinatorial testing strategy for concurrent programs.","pages":"207-225","year":"2007","volume":"17","journal":"Softw. Test. Verification Reliab.","number":"4","ee":"https:\/\/doi.org\/10.1002\/stvr.369","url":"db\/journals\/stvr\/stvr17.html#LeiCKK07"}},{"article":{"@attributes":{"key":"journals\/tse\/LeiC06","mdate":"2021-02-10"},"author":["Yu Lei 0001","Richard H. Carver"],"title":"Reachability Testing of Concurrent Programs.","pages":"382-403","year":"2006","volume":"32","journal":"IEEE Trans. Software Eng.","number":"6","ee":["https:\/\/doi.org\/10.1109\/TSE.2006.56","http:\/\/doi.ieeecomputersociety.org\/10.1109\/TSE.2006.56"],"url":"db\/journals\/tse\/tse32.html#LeiC06"}},{"inproceedings":{"@attributes":{"key":"conf\/issre\/LeiCKGH06","mdate":"2023-03-24"},"author":["Yu Lei 0001","Richard H. Carver","David Chenho Kung","Vidur Gupta","Monica Hernandez"],"title":"A State Exploration-Based Approach to Testing Java Monitors.","pages":"256-265","year":"2006","crossref":"conf\/issre\/2006","booktitle":"ISSRE","ee":["https:\/\/doi.org\/10.1109\/ISSRE.2006.9","https:\/\/doi.ieeecomputersociety.org\/10.1109\/ISSRE.2006.9"],"url":"db\/conf\/issre\/issre2006.html#LeiCKGH06"}},{"inproceedings":{"@attributes":{"key":"conf\/issre\/LeiC05","mdate":"2023-03-24"},"author":["Yu Lei 0001","Richard H. Carver"],"title":"A New Algorithm for Reachability Testing of Concurrent Programs.","pages":"346-355","year":"2005","crossref":"conf\/issre\/2005","booktitle":"ISSRE","ee":["https:\/\/doi.org\/10.1109\/ISSRE.2005.5","https:\/\/doi.ieeecomputersociety.org\/10.1109\/ISSRE.2005.5"],"url":"db\/conf\/issre\/issre2005.html#LeiC05"}},{"inproceedings":{"@attributes":{"key":"conf\/compsac\/LeiC04","mdate":"2023-03-24"},"author":["Yu Lei 0001","Richard H. Carver"],"title":"Reachability Testing of Semaphore-Based Programs.","pages":"312-317","year":"2004","crossref":"conf\/compsac\/2004","booktitle":"COMPSAC","ee":["https:\/\/doi.org\/10.1109\/CMPSAC.2004.1342849","https:\/\/doi.ieeecomputersociety.org\/10.1109\/CMPSAC.2004.1342849"],"url":"db\/conf\/compsac\/compsac2004-R.html#LeiC04"}},{"inproceedings":{"@attributes":{"key":"conf\/iastedSEA\/LeiC04","mdate":"2021-02-10"},"author":["Yu Lei 0001","Richard H. Carver"],"title":"Reachability testing of monitor-based programs.","pages":"312-317","year":"2004","crossref":"conf\/iastedSEA\/2004","booktitle":"IASTED Conf. on Software Engineering and Applications","url":"db\/conf\/iastedSEA\/iastedSEA2004.html#LeiC04"}},{"inproceedings":{"@attributes":{"key":"conf\/icfem\/CarverL04","mdate":"2021-02-10"},"author":["Richard H. Carver","Yu Lei 0001"],"title":"A General Model for Reachability Testing of Concurrent Programs.","pages":"76-98","ee":"https:\/\/doi.org\/10.1007\/978-3-540-30482-1_14","year":"2004","crossref":"conf\/icfem\/2004","booktitle":"ICFEM","url":"db\/conf\/icfem\/icfem2004.html#CarverL04"}},{"article":{"@attributes":{"key":"journals\/tse\/KoppolCT02","mdate":"2017-05-17"},"author":["Pramod V. Koppol","Richard H. Carver","Kuo-Chung Tai"],"title":"Incremental Integration Testing of Concurrent Programs.","pages":"607-623","year":"2002","volume":"28","journal":"IEEE Trans. Software Eng.","number":"6","ee":["https:\/\/doi.org\/10.1109\/TSE.2002.1010062","http:\/\/doi.ieeecomputersociety.org\/10.1109\/TSE.2002.1010062"],"url":"db\/journals\/tse\/tse28.html#KoppolCT02"}},{"article":{"@attributes":{"key":"journals\/sigsoft\/Carver00","mdate":"2020-09-17"},"author":"Richard H. Carver","title":"Specification-based testing of concurrent programs.","pages":"39-40","year":"2000","volume":"25","journal":"ACM SIGSOFT Softw. Eng. Notes","number":"1","ee":"https:\/\/doi.org\/10.1145\/340855.340872","url":"db\/journals\/sigsoft\/sigsoft25.html#Carver00"}},{"article":{"@attributes":{"key":"journals\/tse\/CarverCN98","mdate":"2017-05-17"},"author":["Richard H. Carver","Steve Counsell","Reuben V. Nithi"],"title":"An Evaluation of the MOOD Set of Object-Oriented Software Metrics.","pages":"491-496","ee":["https:\/\/doi.org\/10.1109\/32.689404","http:\/\/doi.ieeecomputersociety.org\/10.1109\/32.689404"],"year":"1998","volume":"24","journal":"IEEE Trans. Software Eng.","number":"6","url":"db\/journals\/tse\/tse24.html#CarverCN98"}},{"article":{"@attributes":{"key":"journals\/jss\/Carver96","mdate":"2020-02-24"},"author":"Richard H. Carver","title":"Testing abstract distributed programs and their implementations: A constraint-based approach.","pages":"223-237","year":"1996","volume":"33","journal":"J. Syst. Softw.","number":"3","ee":"https:\/\/doi.org\/10.1016\/0164-1212(96)00024-6","url":"db\/journals\/jss\/jss33.html#Carver96"}},{"article":{"@attributes":{"key":"journals\/sigops\/TaiC96","mdate":"2020-07-14"},"author":["Kuo-Chung Tai","Richard H. Carver"],"title":"VP: A New Operating for Semaphores.","pages":"5-11","year":"1996","volume":"30","journal":"ACM SIGOPS Oper. Syst. Rev.","number":"3","url":"db\/journals\/sigops\/sigops30.html#TaiC96","ee":"https:\/\/doi.org\/10.1145\/230908.250717"}},{"inproceedings":{"@attributes":{"key":"conf\/hase\/ChenC96","mdate":"2023-03-24"},"author":["Jian Chen","Richard H. Carver"],"title":"Selecting and mapping test sequences from formal specifications of concurrent programs.","pages":"112-119","year":"1996","crossref":"conf\/hase\/1996","booktitle":"HASE","ee":["https:\/\/doi.org\/10.1109\/HASE.1996.618572","https:\/\/doi.ieeecomputersociety.org\/10.1109\/HASE.1996.618572"],"url":"db\/conf\/hase\/hase1996.html#ChenC96"}},{"inproceedings":{"@attributes":{"key":"conf\/esec\/TaiC95","mdate":"2017-05-20"},"author":["Kuo-Chung Tai","Richard H. Carver"],"title":"A Specification-Based Methology for Testing Concurrent Programs.","pages":"154-172","year":"1995","crossref":"conf\/esec\/1995","booktitle":"ESEC","url":"db\/conf\/esec\/esec95.html#TaiC95","ee":"https:\/\/doi.org\/10.1007\/3-540-60406-5_13"}},{"inproceedings":{"@attributes":{"key":"conf\/icdcs\/CarverT95","mdate":"2023-03-24"},"author":["Richard H. Carver","Kuo-Chung Tai"],"title":"Test Sequence Generation from Formal Specifications of Distributed Programs.","pages":"360-367","year":"1995","crossref":"conf\/icdcs\/1995","booktitle":"ICDCS","url":"db\/conf\/icdcs\/icdcs95.html#CarverT95","ee":["https:\/\/doi.org\/10.1109\/ICDCS.1995.500040","https:\/\/doi.ieeecomputersociety.org\/10.1109\/ICDCS.1995.500040"]}},{"inproceedings":{"@attributes":{"key":"conf\/icpads\/TaiC94","mdate":"2023-03-23"},"author":["Kuo-Chung Tai","Richard H. Carver"],"title":"Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs.","pages":"280-287","year":"1994","crossref":"conf\/icpads\/1994","booktitle":"ICPADS","url":"db\/conf\/icpads\/icpads1994.html#TaiC94","ee":["https:\/\/doi.org\/10.1109\/ICPADS.1994.590309","https:\/\/doi.ieeecomputersociety.org\/10.1109\/ICPADS.1994.590309"]}},{"inproceedings":{"@attributes":{"key":"conf\/itc\/Carver93","mdate":"2023-03-23"},"author":"Richard H. Carver","title":"Mutation-Based Testing of Concurrent Programs.","pages":"845-853","year":"1993","crossref":"conf\/itc\/1993","booktitle":"ITC","url":"db\/conf\/itc\/itc1993.html#Carver93","ee":["https:\/\/doi.org\/10.1109\/TEST.1993.470617","https:\/\/doi.ieeecomputersociety.org\/10.1109\/TEST.1993.470617"]}},{"article":{"@attributes":{"key":"journals\/software\/CarverT91","mdate":"2020-06-08"},"author":["Richard H. Carver","Kuo-Chung Tai"],"title":"Replay and Testing fro Concurrent Programs.","pages":"66-74","year":"1991","volume":"8","journal":"IEEE Softw.","number":"2","url":"db\/journals\/software\/software8.html#CarverT91","ee":["https:\/\/doi.org\/10.1109\/52.73751","http:\/\/doi.ieeecomputersociety.org\/10.1109\/52.73751"]}},{"article":{"@attributes":{"key":"journals\/tse\/TaiCO91","mdate":"2017-05-17"},"author":["Kuo-Chung Tai","Richard H. Carver","Evelyn E. Obaid"],"title":"Debugging Concurrent Ada Programs by Deterministic Execution.","pages":"45-63","ee":["https:\/\/doi.org\/10.1109\/32.67578","http:\/\/doi.ieeecomputersociety.org\/10.1109\/32.67578"],"year":"1991","volume":"17","journal":"IEEE Trans. Software Eng.","number":"1","url":"db\/journals\/tse\/tse17.html#TaiCO91"}},{"inproceedings":{"@attributes":{"key":"conf\/icdcs\/CarverT91","mdate":"2023-03-24"},"author":["Richard H. Carver","Kuo-Chung Tai"],"title":"Static analysis of concurrent software for deriving synchronization constraints.","pages":"544-551","year":"1991","booktitle":"ICDCS","ee":["https:\/\/doi.org\/10.1109\/ICDCS.1991.148724","https:\/\/doi.ieeecomputersociety.org\/10.1109\/ICDCS.1991.148724"],"crossref":"conf\/icdcs\/1991","url":"db\/conf\/icdcs\/icdcs1991.html#CarverT91"}},{"inproceedings":{"@attributes":{"key":"conf\/compsac\/TaiCO89","mdate":"2017-05-21"},"author":["Kuo-Chung Tai","Richard H. Carver","Evelyn E. Obaid"],"title":"Deterministic execution debugging of concurrent Ada programs.","pages":"102-109","year":"1989","booktitle":"COMPSAC","ee":"https:\/\/doi.org\/10.1109\/CMPSAC.1989.65064","crossref":"conf\/compsac\/1989","url":"db\/conf\/compsac\/compsac1989.html#TaiCO89"}},{"inproceedings":{"@attributes":{"key":"conf\/sigada\/CarverT89","mdate":"2022-05-11"},"author":["Richard H. Carver","Kuo-Chung Tai"],"title":"Deterministic execution testing of concurrent Ada programs.","pages":"528-544","year":"1989","booktitle":"TRI-Ada","ee":"https:\/\/doi.org\/10.1145\/74261.74301","crossref":"conf\/sigada\/1989","url":"db\/conf\/sigada\/triada1989.html#CarverT89"}},{"inproceedings":{"@attributes":{"key":"conf\/wadas\/TaiCO87","mdate":"2022-03-28"},"author":["Kuo-Chung Tai","Richard H. Carver","Evelyn E. Obaid"],"title":"A methodology for testing concurrent Ada programs.","pages":"459-464","year":"1987","booktitle":"WADAS","ee":"https:\/\/dl.acm.org\/citation.cfm?id=339986","crossref":"conf\/wadas\/1987","url":"db\/conf\/wadas\/wadas1987.html#TaiCO87"}},{"inproceedings":{"@attributes":{"key":"conf\/icdcs\/CarverT86","mdate":"2013-11-27"},"author":["Richard H. Carver","Kuo-Chung Tai"],"title":"Reproducible Testing of Concurrent Programs Based on Shared Variables.","pages":"428-433","year":"1986","crossref":"conf\/icdcs\/1986","booktitle":"ICDCS","url":"db\/conf\/icdcs\/icdcs86.html#CarverT86"}}],"coauthors":{"@attributes":{"n":"12","nc":"2"},"co":[{"@attributes":{"c":"0"},"na":"Jian Chen"},{"@attributes":{"c":"1"},"na":"Steve Counsell"},{"@attributes":{"c":"0"},"na":"Vidur Gupta"},{"@attributes":{"c":"0"},"na":"Monica Hernandez"},{"@attributes":{"c":"0"},"na":"Raghu Kacker"},{"@attributes":{"c":"0"},"na":"Pramod V. Koppol"},{"@attributes":{"c":"0"},"na":"David Chenho Kung"},{"@attributes":{"c":"0","n":"2"},"na":["Yu Lei 0001","Jeff Yu Lei"]},{"@attributes":{"c":"1"},"na":"Reuben V. Nithi"},{"@attributes":{"c":"0"},"na":"Evelyn E. Obaid"},{"@attributes":{"c":"0"},"na":"Kuo-Chung Tai"},{"@attributes":{"c":"0"},"na":"Jing Xu"}]}}