R. Carver
发表
K. Tai,
R. Carver,
1995,
ESEC.
Richard H. Carver,
R. Carver,
1993,
Proceedings of IEEE International Test Conference - (ITC).
Richard H. Carver,
Yu Lei,
Yu Lei,
2010,
Concurr. Comput. Pract. Exp..
Richard H. Carver,
Jeff Lei,
R. Carver,
2010,
2010 IEEE 12th International Symposium on High Assurance Systems Engineering.
Richard H. Carver,
Yu Lei,
Yu Lei,
2006,
IEEE Transactions on Software Engineering.
Richard H. Carver,
Steve Counsell,
Reuben V. Nithi,
1998,
IEEE Trans. Software Eng..
Richard H. Carver,
Kuo-Chung Tai,
K. Tai,
1998
.
Richard H. Carver,
R. Carver,
1996,
J. Syst. Softw..
R. H. Carver,
R. Durham,
R. Carver,
1995,
COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.
Richard H. Carver,
Kuo-Chung Tai,
K. Tai,
1995,
Proceedings of 15th International Conference on Distributed Computing Systems.
Richard H. Carver,
Kuo-Chung Tai,
K. Tai,
2005
.
Richard H. Carver,
Kuo-Chung Tai,
K. Tai,
1991,
IEEE Software.
Richard H. Carver,
Kuo-Chung Tai,
K. Tai,
1996,
OPSR.
R. Carver,
K. C. Tai,
K. Tai,
1989,
TRI-Ada '89.
Richard H. Carver,
Kuo-Chung Tai,
K. Tai,
1986,
ICDCS.
Richard H. Carver,
Kuo-Chung Tai,
K. Tai,
2005
.
D. Kung,
Yu Lei,
R. Kacker,
2007,
Softw. Test. Verification Reliab..
Yu Lei,
R. Carver,
2006,
IEEE Transactions on Software Engineering.
Jing Xu,
Richard H. Carver,
David Chenho Kung,
2015,
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).
Jing Xu,
Richard H. Carver,
Yu Lei,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Richard H. Carver,
Kuo-Chung Tai,
Evelyn E. Obaid,
1989,
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.