6293 search results - page 248 / 1259 » Information Flow Testing |
147
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
136
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
— This paper presents an automated environment configuration testing strategy developed as part of an action research project to deal with issues of staging environment instabili...
171
click to vote
AOSD
2011
ACM
14 years 11 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
132
click to vote
ATS
2003
IEEE
15 years 9 months ago
2003
IEEE
: Most of the recently discussed test stimulus data compression techniques are based on the low care bit densities found in typical scan test vectors. Data reduction primarily is a...
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
Often the code regions that are assigned for a maintenance task do not follow the modularization of the original application program, but instead include parts of code from many d...