Stem sant$ (all stems)
1 papers:
TAP-2011-ChebaroKGJ #analysis #c #debugging #generative #slicing #testing- The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.
TAP-2011-ChebaroKGJ #analysis #c #debugging #generative #slicing #testing