Applications of Optimization to Logic Testing

Garrett Kent Kaminski, Paul Ammann. Applications of Optimization to Logic Testing. In Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, Workshops Proceedings. pages 331-336, IEEE Computer Society, 2010. [doi]

Authors

Garrett Kent Kaminski

This author has not been identified. Look up 'Garrett Kent Kaminski' in Google

Paul Ammann

This author has not been identified. Look up 'Paul Ammann' in Google