NASA contractor report CR (series). 1397. Survey of current debugging concepts [with bibliographies]; by Wallace Kocher.