Sciweavers

45 search results - page 1 / 9
» dsn 2009
Sort
View
DSN
2009
IEEE
14 years 2 months ago
Using web security scanners to detect vulnerabilities in web services
Marco Vieira, Nuno Antunes, Henrique Madeira
DSN
2009
IEEE
14 years 2 months ago
Exploiting refactoring in formal verification
Xiang Yin, John C. Knight, Westley Weimer
DSN
2009
IEEE
14 years 2 months ago
Parametric NdRFT for the derivation of optimal repair strategies
Marco Beccuti, Giuliana Franceschinis, Daniele Cod...
DSN
2009
IEEE
14 years 2 months ago
Dependability in the cloud: Challenges and opportunities
Kaustubh R. Joshi, Guy Bunker, Farnam Jahanian, Aa...
DSN
2009
IEEE
14 years 2 months ago
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code
Julia L. Lawall, Julien Brunel, Nicolas Palix, Ren...