12745 search results - page 161 / 2549 » Automating test automation |
140
Voted
SPLC
2008
15 years 6 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
158
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is abl...
127
click to vote
DLOG
2003
15 years 6 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
106
click to vote
LISA
1996
15 years 6 months ago
1996
: Expect is a tool for automating interactive programs. Expect is controlled by writing Tcl scripts, traditionally a manual process. This paper describes Autoexpect
144
click to vote
SOFSEM
2007
Springer
15 years 11 months ago
2007
Springer
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. T...