Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Ada Language Reference Manual (January 1983)
2. Bechini, A., Tai, K.C.: Timestamps for Programs using Messages and Shared Variables. In: 18th Int’l Conf. on Distributed Computing Systems (1998)
3. Bruening, D.L.: Systematic testing of multithreaded Java programs. Master’s thesis, MIT (1999)
4. Carver, R., Tai, K.C.: Replay and Testing for Concurrent Programs. IEEE Software 8(2), 66–74 (1991)
5. Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C., Robby, Laubach, S., Zheng, H.: Bandera: Extracting Finite-state Models from Java Source Code. In: Proceedings of the 22nd International Conference on Software Engineering (June 2000)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献