Integrating String Reasoning in Symbolic Execution of C Programs.

Rachel Cleaveland, Clark W. Barrett

Browse the full TACAS paper archive.