1399 search results - page 206 / 280 » Verification of Test Suites |
CCS
2008
ACM
15 years 1 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
108
click to vote
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
100
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Exonic splicing enhancers (ESEs) activate nearby splice sites and promote the inclusion (vs. exclusion) of exons in which they reside, while being a binding site for S...
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
158
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...