207 search results - page 11 / 42 » Synthesizing Switching Logic Using Constraint Solving |
120
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
103
Voted
ICNP
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
134
click to vote
PTS
2010
14 years 9 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
TAP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
109
Voted
BMCBI
2004
14 years 11 months ago
2004
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...