Treffer: Test input generation for red-black trees using abstraction
Title:
Test input generation for red-black trees using abstraction
Authors:
Source:
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :414-417
Availability:
Database:
ACM Full-Text Collection