5855 search results - page 358 / 1171 » Test generation and minimization with |
199
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
222
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...
147
click to vote
ICES
2003
Springer
16 years 10 hour ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
170
click to vote
ACL
2007
15 years 8 months ago
2007
We examine the problem of choosing word order for a set of dependency trees so as to minimize total dependency length. We present an algorithm for computing the optimal layout of ...
170
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...