Refining Static Analyses by Trace-Based Partitioning Using Control Flow.

Maria Handjieva, Stanislav Tzolovski

Browse the full SAS paper archive.