612 search results - page 55 / 123 » Using Static Analysis to Improve Automatic Test Generation |
123
click to vote
MMM
2011
Springer
14 years 3 months ago
2011
Springer
Visual summarization of landmarks is an interesting and non-trivial task with the availability of gigantic community-contributed resources. In this work, we investigate ways to gen...
ICPP
1994
IEEE
15 years 4 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
CACM
2000
14 years 11 months ago
2000
One important class of Data Mining applications is the so-called "Web Mining" that analyzes and extracts important and non-trivial knowledge from Web related data. Typic...
SAS
2005
Springer
15 years 5 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...