Sciweavers

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