207 search results - page 6 / 42 » Testing and Model-Checking Techniques for Diagnosis |
114
click to vote
ENTCS
2006
14 years 11 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
190
click to vote
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
115
Voted
IRI
2008
IEEE
15 years 6 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
118
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...