Data Abstraction and Constraint Solving for Conformance Testing

2005-12-01

Presented at the Asia-Pacific Software Engineering Conference, Taipei, Taiwan

Additional Metadata
Keywords	CEPS, data abstraction, constraint solving, testing
ACM	Requirements/Specifications (acm D.2.1), Testing and Debugging (acm D.2.5)
Publisher	IEEE
Editor	D.C. Martin
Project	Tests and Testing Methodologies with Advanced Languages
Conference	Asia-Pacific Software Engineering Conference
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Calamé, J., Ioustinova, N., van de Pol, J., & 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.

Additional Files
Publisher Version

Publication