Kuo-Chung Tai
Affiliations: | North Carolina State University, Raleigh, NC |
Area:
Electronics and Electrical Engineering, Computer ScienceGoogle:
"Kuo-Chung Tai"Children
Sign in to add trainee| Ho-Yen Chang | grad student | 2000 | NCSU |
| Richard H. Carver | research scientist | NCSU |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Bechini A, Tai KC. (1998) Timestamps for programs using messages and shared variables Proceedings - International Conference On Distributed Computing Systems. 266-273 |
| Carver RH, Tai KC. (1995) Test sequence generation from formal specifications of distributed programs Proceedings - International Conference On Distributed Computing Systems. 360-367 |
| Carver RH, Tai KC. (1991) Replay and Testing for Concurrent Programs Ieee Software. 8: 66-74 |
| Tai KC. (1989) Testing of concurrent software Proceedings - Ieee Computer Society's International Computer Software &Amp; Applications Conference. 62-64 |
| Tai KC. (1980) Program Testing Complexity and Test Criteria Ieee Transactions On Software Engineering. 531-538 |