Sciweavers

4079 search results - page 161 / 816
» Differential Testing for Software
Sort
View
PPPJ
2009
ACM
14 years 4 months ago
ConcJUnit: unit testing for concurrent programs
In test-driven development, tests are written for each program unit before the code is written, ensuring that the code has a comprehensive unit testing harness. Unfortunately, uni...
Mathias Ricken, Robert Cartwright
ICST
2008
IEEE
14 years 3 months 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...
QSIC
2005
IEEE
14 years 2 months 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
14 years 2 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
13 years 7 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