, , ,
,
IEEE
D.C. Martin
Tests and Testing Methodologies with Advanced Languages
Asia-Pacific Software Engineering Conference
Specification and Analysis of Embedded Systems

Calamé, J.R, Ioustinova, N, van de Pol, J.C, & Sidorova, N. (2005). Data Abstraction and Constraint Solving for Conformance Testing. In D.C Martin (Ed.), Proceedings 12th Asia-Pacific Software Engineering Conference (pp. 541–548). IEEE.