147 search results - page 21 / 30 » Optimizing Probabilities of Real-Time Test Case Execution |
EDBT
2004
ACM
14 years 9 months ago
2004
ACM
We study the problem of answering queries over sources with limited access patterns. The problem is to decide whether a given query Q is feasible, i.e., equivalent to an executable...
CASCON
2000
13 years 10 months ago
2000
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
ICEIS
2006
IEEE
14 years 3 months ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
MICRO
2006
IEEE
14 years 3 months ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
ICN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...