456 search results - page 78 / 92 » Automated Generation of Context-Aware Tests |
JODS
2006
14 years 11 months ago
2006
In this paper, we propose to extend current practice in schema matching with the simultaneous use of top-K schema mappings rather than a single best mapping. This is a natural ext...
102
click to vote
GEOINFORMATICA
2002
14 years 11 months ago
2002
The generation of better label placement configurations in maps is a problem that comes up in automated cartographic production. The objective of a good label placement is to displ...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
102
click to vote
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
DAC
2007
ACM
16 years 21 days ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...