Test suites for benchmarks of static analysis tools | IEEE Conference Publication | IEEE Xplore