Constraint-based test data generation in the presence of stack-directed pointers

Arnaud Gotlieb, Tristan Denmat, Bernard Botella. Constraint-based test data generation in the presence of stack-directed pointers. In David F. Redmiles, Thomas Ellman, Andrea Zisman, editors, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA. pages 313-316, ACM, 2005. [doi]

Authors

Arnaud Gotlieb

This author has not been identified. Look up 'Arnaud Gotlieb' in Google

Tristan Denmat

This author has not been identified. Look up 'Tristan Denmat' in Google

Bernard Botella

This author has not been identified. Look up 'Bernard Botella' in Google