„Armada“ prüft komplexe Software auf „Bugs“
Forscher der University of Michigan und der Carnegie Mellon University haben zusammen mit Microsoft Research eine Technik entwickelt, um komplexe Computerprogramme ohne traditionelle Software-Tests auf „Bugs“ zu prüfen. […]