"Researchers develop automatic security tests for complex systems"

Researchers at Saarland University are developing ways to efficiently detect security vulnerabilities before they are discovered by hackers. Test data generators are used to rapidly generate test inputs for examined programs, however invalid inputs are immediately rejected. These researchers have discovered how to extract valid input descriptions from examined programs to generate millions of valid inputs in a matter of minutes. This article discusses the prototype, “Autogram”, and its functionalities.

https://phys.org/news/2017-03-automatic-complex.html