The Annotated Bibliography is a collection of curated links to research literature on AV topics.

Turner JA, Zachary JL. Javiva: A Tool for Visualizing and Validating Student-Written Java Programs. In: Proceedings of the 32nd ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE 2001). Charlotte, North Carolina; 2001. p. 45-9.