A Modular Approach to Model-Based Testing of Concurrent Programs-Reference-Cited by-同舟云学术

A Modular Approach to Model-Based Testing of Concurrent Programs

Published:2013 Issue: Volume: Page:85-96
ISSN:0302-9743
Container-title:Multicore Software Engineering, Performance, and Tools
language:
Short-container-title:

Author:

Carver Richard,Lei Yu

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39955-8_8

Reference24 articles.

1. Koppol, P.V., Carver, R.H., Tai, K.C.: Incremental Integration Testing of concurrent Programs. IEEE Transactions on Software Engineering 28(6) (2002)

2. Milner, R.: Communication and Concurrency. Prentice-Hall (1989)

3. Tai, K.C.: On testing concurrent programs. In: Proc. COMPSAC, vol. 85, pp. 310–317 (1985)

4. Tai, K.C., Carver, R.H.: Testing of distributed programs. In: Zoyama, A. (ed.) Handbook of Parallel and Dist. Computing, ch. 33, pp. 955–978. McGraw Hill (1996)

5. Lei, Y., Carver, R.H.: Reachability testing of concurrent programs. IEEE Transactions on Software Engineering 32(6), 382–403 (2006)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Empirical research on concurrent software testing: A systematic mapping study;Information and Software Technology;2019-01

2. Component-aware Input-Output Conformance;Formal Techniques for Distributed Objects, Components, and Systems;2019

3. A testing-based approach to ensure the safety of shared resource concurrent systems;Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability;2016-08-03

4. A Modular Approach to Model-Based Testing of Concurrent Programs;Multicore Software Engineering, Performance, and Tools;2013