1722 search results - page 96 / 345 » Generating Tests from Counterexamples |
110
Voted
CADE
2006
Springer
16 years 3 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
164
click to vote
TOOLS
1992
IEEE
15 years 7 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
120
click to vote
FLAIRS
2004
15 years 4 months ago
2004
We illustrate that Web searches can often be utilized to generate background text for use with text classification. This is the case because there are frequently many pages on the...
141
click to vote
COR
2007
15 years 3 months ago
2007
We consider in this paper a new lagrangean relaxation with clusters for the Manufacturer’s Pallet Loading Problem (MPLP). The relaxation is based on the MPLP formulated as a Max...
112
click to vote
IMC
2004
ACM
15 years 8 months ago
2004
ACM
Malicious traffic from self-propagating worms and denialof-service attacks constantly threatens the everyday operation of Internet systems. Defending networks from these threats d...