752 search results - page 33 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Although it is common in large Java programs to rethrow exceptions, existing exception-flow analyses find only single exceptionflow links, thus are unable to identify multiple-lin...
ISPW
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
SICHERHEIT
2010
13 years 6 months ago
2010
Abstract: The attack surface of a system represents the exposure of application objects to attackers and is affected primarily by architecture and design decisions. Given otherwise...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Soft error tolerant design becomes more crucial due to exponential increase in the vulnerability of computer systems to soft errors. Accurate estimation of soft error rate (SER), ...