"Software testing" . "Mathematical logic" . "Theoretical computer science" . "Hardware testing" . "Algorithms" .