A Method for The Formal Testing of Program Visualization Tools.

T. C. Nicholas Graham A Method for The Formal Testing of Program Visualization Tools. 45-54 1996 conf/iwpc/1996 WPC https://doi.org/10.1109/WPC.1996.501120 https://doi.ieeecomputersociety.org/10.1109/WPC.1996.501120 db/conf/iwpc/wpc1996.html#Graham96