Data Abstraction and Constraint Solving for Conformance Testing

Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova. Data Abstraction and Constraint Solving for Conformance Testing. In 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan. pages 541-548, IEEE Computer Society, 2005. [doi]

Authors

Jens R. Calame

This author has not been identified. Look up 'Jens R. Calame' in Google

Natalia Ioustinova

This author has not been identified. Look up 'Natalia Ioustinova' in Google

Jaco van de Pol

This author has not been identified. Look up 'Jaco van de Pol' in Google

Natalia Sidorova

This author has not been identified. It may be one of the following persons: Look up 'Natalia Sidorova' in Google