Stem ava$ (all stems)
3 papers:
- ICST-2013-PastoreM #debugging #named
- AVA: Supporting Debugging with Failure Interpretations (FP, LM), pp. 416–421.
- ISSTA-2009-BabenkoMP #automation #detection #named
- AVA: automated interpretation of dynamically detected anomalies (AB, LM, FP), pp. 237–248.
- CIAA-2003-PrestonK #automaton #named #visualisation
- AVA: An Applet for Visualizing FRACTRAN and Other Automata (NP, MSK), pp. 297–298.