Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study.

Ahmed Zaki, Arindam Sharma, Cristian Cadar

Browse the full SANER paper archive.