Sciweavers

8398 search results - page 197 / 1680
» Optimal Software Testing
Sort
View
ICST
2008
IEEE
16 years 26 days ago
Model-Based Tests for Access Control Policies
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
Alexander Pretschner, Tejeddine Mouelhi, Yves Le T...
136
Voted
QSIC
2005
IEEE
16 years 1 days ago
Test Case Generation by OCL Mutation and Constraint Solving
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
Bernhard K. Aichernig, Percy Antonio Pari Salas
FASE
2004
Springer
15 years 12 months ago
Filtering TOBIAS Combinatorial Test Suites
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to conformance tests for model-based specifications (express...
Yves Ledru, Lydie du Bousquet, Olivier Maury, Pier...
XPU
2010
Springer
15 years 4 months ago
Automated Acceptance Testing of High Capacity Network Gateway
In this paper we will explore how agile acceptance testing is applied in testing a high capacity network gateway. We will demonstrate how the organisation managed to grow agile acc...
Ran Nyman, Ismo Aro, Roland Wagner
FLAIRS
2004
15 years 7 months ago
The Power of Experience: On the Usefulness of Validation Knowledge
TURING Test technologies are promising ways to validate AI systems which may have no alternative way to indicate validity. Human experts (validators) are often too expensive to in...
Rainer Knauf, Setsuo Tsuruta, Kenichi Uehara, Taka...