265 search results - page 19 / 53 » A Semantic Framework for Test Coverage |
DAGSTUHL
2001
14 years 10 months ago
2001
Visualization of an algorithm offers only a rough picture of operations. Explanations are crucial for deeper understanding, because they help the viewer to associate the visualiza...
106
Voted
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
ATAL
2003
Springer
15 years 1 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...
PASTE
2004
ACM
15 years 2 months ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
64
Voted
SEMWEB
2005
Springer
15 years 2 months ago
2005
Springer
The integration of heterogenous data sources is a crucial step for the upcoming semantic web – if existing information is not integrated, where will the data come from that the s...