135 search results - page 26 / 27 » Cryptographic Protocol Analysis on Real C Code |
164
Voted
SIGMETRICS
2009
ACM
15 years 10 months ago
2009
ACM
Understanding the channel popularity or content popularity is an important step in the workload characterization for modern information distribution systems (e.g., World Wide Web,...
189
Voted
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
Memory subsystems have been considered as one of the most critical components in embedded systems and furthermore, displaying increasing complexity as application requirements div...
124
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
129
Voted
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
145
Voted
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
—Mutation testing measures the adequacy of a test suite by seeding artificial defects (mutations) into a program. If a test suite fails to detect a mutation, it may also fail to...