BEAT is a Web-based system that generates fault-based test cases from Boolean expressions. It is based on the integration of our several fault-based test case selection strategies. The generated test cases are considered to be fault-based, because they are aiming at the detection of particular faults. For example, when the Boolean expression is in irredundant disjunctive normal form, test cases generated by BEAT can guarantee the detection of seven common types of operator and operand faults, which may occur during the implementation process. Apart from being an automated test case generation tool developed for software testing practitioners, it also can be used as a self-learning and training tool for students as well as software testing practitioners.