Sign in

The Daikon system for dynamic detection of likely invariants.

Michael D. ErnstJeff H. PerkinsPhilip J. GuoStephen McCamantCarlos PachecoMatthew S. TschantzChen Xiao
Published in: Sci. Comput. Program. (2007)
Keyphrases