Visible to the public Model-Based Grey-Box Fuzzing

Constraint solving technology can be used to generate tests from model-based system requirements. Such tests can be generated automatically and are capable of meeting even stringent MC/DC code coverage criteria required for DO-178C Level A certification. Given that high-quality safety-relevant behavioral tests can be generated from requirements-level models, perhaps a similar approach works for security-relevant testing as well.