Symflower beschäftigt sich seit seiner Gründung 2018 mit der Entwicklung einer Symbolic-Execution, um automatisiert Unit-Tests für Softwareentwickler zu erstellen und diese im Entwicklungsprozess produktiver zu machen. Die R&D Phase, um diese Symbolic Execution zu entwickeln, hat länger gedauert als…

Unbefugtes Reverse Engineering im industriellen Maßstab stellt eine große Bedrohung für unsere wissensbasierten Volkswirtschaften und Gesellschaften dar. Diese Bedrohung zieht sich durch mehrere Industriesegmente, da eingebettete Systeme, Maschinen, Roboter und ganze Produktionslinien betroffen sind,…

In der Softwareentwicklung spielt die Qualitätssicherung eine zentrale Rolle. Systemabstürze, Datenverluste und Sicherheitslücken sind beispielsweise unbedingt zu vermeiden. Die Fehlerfreiheit eines Systems lässt sich jedoch nur durch ausführliches Testen sicherstellen. Heutzutage gibt es hierfür zwei…