58 search results - page 5 / 12 » Synchronized Generation of Directed Tests Using Satisfiabili... |
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
In the Magnetic Resonance Elastography experiment we consider a harmonically oscillating mechanical force applied to the boundary surface of a phantom and synchronized with the mo...
ICCAD
2010
IEEE
13 years 6 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
SAT
2009
Springer
14 years 3 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
AAAI
1994
13 years 10 months ago
1994
A constraint satisfaction problem (CSP) is a problem to find an assignment that satisfies given constraints. An interesting approach to CSP is a repair-based method that first gen...