,
Elsevier
J.M.T. Romijn (Judi) , G.S.B. Smith (Graeme) , J.C. van de Pol (Jaco)
Electronic Notes in Theoretical Computer Science
Protocols for Secure Infrastructure and E-commerce
Doctoral Symposium of IFM
Specification and Analysis of Embedded Systems

Calamé, J., Ioustinova, N., & van de Pol, J. (2007). Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In J. Romijn, G. Smith, & J. van de Pol (Eds.), Electronic Notes in Theoretical Computer Science (Vol. 191, pp. 25–48). Elsevier.