Travelled to:1 × Austria
1 × Spain
Collaborated with:K.Tai J.Xu Y.Lei D.C.Kung
Talks about:lightweight (1) metholog (1) instanti (1) approach (1) unbound (1) program (1) concurr (1) thread (1) static (1) specif (1)
Person: Richard H. Carver
DBLP: Carver:Richard_H=
Contributed to:
2015
1995Wrote 2 papers:
- ICST-2015-XuLCK #approach #bound #detection #lightweight #thread
- A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.
- ESEC-1995-TaiC #concurrent #source code #testing
- A Specification-Based Methology for Testing Concurrent Programs (KCT, RHC), pp. 154–172.