Implementing an interprocedural dataflow tester using abstract execution (1995)

by J Lloyd, M Harrold