4930 search results - page 129 / 986 » Testing a Safety-Critical Application |
165
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Testing concurrent software is difficult due to problems with inherent non-determinism. In previous work, we have presented a method and tool support for the testing of concurrent...
167
click to vote
FORTEST
2008
15 years 8 months ago
2008
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...
173
click to vote
ACSW
2007
15 years 7 months ago
2007
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...
138
click to vote
HCI
2007
15 years 7 months ago
2007
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...
186
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...