Browsing P239 - Software Engineering & Management 2015 by Author "Filieri, Antonio"
Now showing items 1-2 of 2
-
Automated design of self-adaptive software with control-theoretical formal guarantees
Filieri, Antonio; Hoffmann, Henr; Maggio, Martina
112-113 -
Statistical symbolic execution with informed sampling
Filieri, Antonio; Păsăreanu, Corina; Visser, Willem; Geldenhuys, Jaco
51-52