Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2016Bidirectional symbolic analysis for effective branch testing
Baluda, Mauro; Denaro, Giovanni; Pezze, Mauro
Journal Article
2015EvoSE: Evolutionary symbolic execution
Baluda, Mauro
Conference Paper
2015Security Analysis of TrueCrypt
Baluda, Mauro; Fuchs, Andreas; Holzinger, Philipp; Nguyen, L.; Othmane, Lotfi ben; Poller, Andreas; Repp, Jürgen; Späth, Johannes; Steffan, Jan; Triller, Stefan; Bodden, Eric
Study
2015Sicherheitsanalyse TrueCrypt
Baluda, Mauro; Fuchs, Andreas; Holzinger, Philipp; Nguyen, L.; Othmane, Lotfi Ben; Poller, Andreas; Repp, Jürgen; Späth, Johannes; Steffan, Jan; Triller, Stefan; Bodden, Eric
Study
2015Static/dynamic test case generation for software upgrades via ARC-B and deltatest
Braione, Pietro; Denaro, Giovanni; Riganelli, Oliviero; Baluda, Mauro; Ali, Muhammad
Book Article