Correctness; consistency; faults; errors, failure; static analysis: formal verification, model checking; dynamic analysis: basic testing, advanced testing, execution analysis; testing tools. Tools for user-interface implementation; usability evaluation; helps systems; computer supported cooperative work.