A company is developing a safety-critical embedded system for an automotive braking controller. The team needs to ensure that every decision point in the code has been tested for both true and false outcomes. Which combination of tool categories would BEST support this objective?