...Решение ACTS позволяет разработчикам удостовериться, что их продукты не содержат «одновременные комбинации входных значений», которые могут вызвать серьезную ошибку. В случае критически важных с точки зрения безопасности приложений, реализованных в автомобилях, самолетах, на ядерных объектах и т.д., подобные ошибки могут привести к серьезным последствиям...
Подробная документаци и ПО инструмента по запросу доступны здесь:
https://csrc.nist.gov/projects/automated-combinatorial-testing-for-software