A Calculus of Program Modifications.

Rym Mili Marc Frappier Jules Desharnais Ali Mili

Published in: SSR (1997)

Keyphrases

computer programs
test cases
model checking
static analysis
java programs
program execution