Information Technology Reference
In-Depth Information
the effectiveness and eciency of our approach. As future work, we would like
to investigate ways to embed our approach into the symbolic testing framework
presented in [JJRZ05].
References
[CGP99]
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press,
Cambridge (1999)
[CJRZ02]
Clarke, D., Jeron, T., Rusu, V., Zinovieva, E.: STG: A symbolic test gen-
eration tool. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS
2002. LNCS, vol. 2280, pp. 470-475. Springer, Heidelberg (2002)
[GG04]
German, S.M., Janssen, G.: Tutorial on verification of distributed cache
memory protocols. In: Hu, A.J., Martin, A.K. (eds.) FMCAD 2004. LNCS,
vol. 3312, Springer, Heidelberg (2004)
[JJRZ05]
Jeannet, B., Jron, T., Rusu, V., Zinovieva, E.: Symbolic test selection
based on approximate analysis. In: Halbwachs, N., Zuck, L.D. (eds.)
TACAS 2005. LNCS, vol. 3440, pp. 349-364. Springer, Heidelberg (2005)
[PLL06]
Pan, H., Lin, H.-M., Lv, Y.: Model checking data consistency for cache
coherence protocols. J. of Computer Science and Technology 21(5), 765-
775 (2006)
[RdBJ00]
Rusu, V., du Bousquet, L., Jeron, T.: An approach to symbolic test gen-
eration. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000.
LNCS, vol. 1945, pp. 338-357. Springer, Heidelberg (2000)
[RMJ04]
Rusu, V., Marchand, H., Jeron, T.: Verification and symbolic test gener-
ation for safety properties. Technical Report 5285, INRIA (August 2004)
[TB02]
Tretmans, J., Brinksma, E.: Cote de Resyste - Automated Model Based
Testing. In: Proc. of Progress 2002 - the 3rd Workshop on Embedded
Systems, Utrecht, The Netherlands, pp. 246-255 (October 24, 2002)
[WL05]
Wu, P., Lin, H.: Model-based testing of concurrent programs with pred-
icate sequencing constraints. In: Proc. of the 5th Int. Conf. on Quality
Software (QSIC 2005), Melbourne, Australia, pp. 3-10 (September 19-20,
2005)
[WST+05]
Wu, P., Shi, X., Tang, J., Lin, H., Chen, T.Y.: Metamorphic testing and
special case testing: A case study. J. of Software 16(7), 1210-1220 (2005)
Search WWH ::
Custom Search