Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz. Modular System Verification by Inference, Testing and Reachability Analysis. In Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa, editors, Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings. Volume 5047 of Lecture Notes in Computer Science, pages 216-233, Springer, 2008. [doi]
Abstract is missing.