Constraints in Software Testing, Verification and Analysis CSTVA'2013

Cristian Cadar, Frédéric Dadeau. Constraints in Software Testing, Verification and Analysis CSTVA'2013. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. pages 208-209, IEEE, 2013. [doi]

Abstract

Abstract is missing.