Variably interprocedural program analysis for runtime error detection.

Aaron Tomb, Guillaume P. Brat, Willem Visser

Browse the full ISSTA paper archive.