Automatic Test Generation for Dynamic Data Structures.

Ruilian Zhao, Qing Li

Browse the full SERA paper archive.