Knowledge-Based Program Understanding and Testing Assistant (KBPUTA).