Publisher
Springer International Publishing
Reference17 articles.
1. Burns, A., Wellings, A.: Real-Time Systems and Programming Languages, 3rd edn. Addison Wesley Longman, Boston (2001)
2. Edelstein, O., Farchi, E., et al.: Multithread Java program test generation. J. IBM Syst. 41(1), 111–125 (2002)
3. Taylor, R.N., Levine, D.L., Kelly, C.D.: Structural testing of concurrent programs. IEEE Trans. Softw. Eng. 18(3), 206–214 (1992)
4. Lei, Y., Carver, R.H.: Reachability testing of concurrent programs. IEEE Trans. Softw. Eng. 32(6), 382–403 (2006)
5. Carver, R.H., Lei, Y.: Distributed reachability testing of concurrent programs. Concurrency Comput.: Practice Exp. 22(18), 2445–2466 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献