278 search results - page 2 / 56 » A Framework for Counterexample Generation and Exploration |
FASE
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
ICST
2009
IEEE
13 years 2 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
ALT
2007
Springer
14 years 1 months ago
2007
Springer
As some cognitive research suggests, in the process of learning languages, in addition to overt explicit negative evidence, a child often receives covert explicit evidence in form...
DCG
2011
12 years 12 months ago
2011
We examine the generic local and global rigidity of various graphs in Rd . Bruce Hendrickson showed that some necessary conditions for generic global rigidity are (d + 1)-connected...
ARGMAS
2006
Springer
13 years 8 months ago
2006
Springer
Multiagent learning can be seen as applying ML techniques to the core issues of multiagent systems, like communication, coordination, and competition. In this paper, we address the...