Controlling factors in evaluating path-sensitive error detection techniques

Published: 2006, Last Modified: 22 Mar 2026SIGSOFT FSE 2006EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading