12745 search results - page 256 / 2549 » Automating test automation |
173
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
171
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of c...
157
click to vote
DFT
1998
IEEE
15 years 11 months ago
1998
IEEE
In the presence of multiple delay faults, automated diagnostic procedures that make a single fault assumption may give an incorrect diagnosis. In this paper, a systematic approach...
164
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...
200
click to vote
TVLSI
2008
15 years 6 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...