12745 search results - page 172 / 2549 » Automating test automation |
127
Voted
AAAI
1992
15 years 6 months ago
1992
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
175
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
148
click to vote
COMCOM
2002
15 years 4 months ago
2002
Many security approaches are currently used in organisations. In spite of the widespread use of these security techniques, network intrusion remains a problem. This paper discusse...
122
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
112
Voted
CSL
2007
Springer
15 years 11 months ago
2007
Springer
