Dedicated to software testing and validation activities, AKA finding bugs in software. Historically, the focus has been on testing systems which are difficult to test (e.g., compilers), and developing new automated testing approaches.