Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors.

Istvn Kdr, Pter Hegeds, Rudolf Ferenc

Browse the full ICCSA paper archive.