Sciweavers

21183 search results - page 337 / 4237
» Adaptive Testing by Test
Sort
View
FORTEST
2008
15 years 8 months ago
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
Sergiy A. Vilkomir, Jonathan P. Bowen
FORTEST
2008
15 years 8 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
ACSW
2007
15 years 8 months ago
A Range Test Secure in the Active Adversary Model
In ACISP 2006, Peng et al proposed a novel range test technique, which tests whether the integer encrypted in a ciphertext is in an interval range. Their solution is more efficien...
Kun Peng, Ed Dawson
HCI
2007
15 years 8 months ago
Differences in Task Descriptions in the Think Aloud Test
This paper analyzes and discusses the ways tasks are described and perceived in a remote Think Aloud (TA) usability tests session. The paper includes reports from a study and the p...
Lene Nielsen, Sameer Chavan
IJCAI
2007
15 years 8 months ago
Model-Based Optimization of Testing through Reduction of Stimuli
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
Peter Struss