2774 search results - page 469 / 555 » Query-Driven Program Testing |
117
Voted
CAV
2009
Springer
15 years 4 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
84
Voted
CASES
2007
ACM
15 years 4 months ago
2007
ACM
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...
86
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
128
click to vote
APSCC
2006
IEEE
15 years 4 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
126
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...