1112 search results - page 32 / 223 » Executing Abstract Test Cases |
162
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
Keeping the test databases as small as possible leads to faster execution of tests and facilitates the task of completing the test cases and evaluating the actual outputs against ...
IBERAMIA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The success of a case-based reasoning system depends critically on the relevance of the case base. Much current CBR research focuses on how to compact and refine the con...
IAW
2003
IEEE
15 years 3 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
WWW
2010
ACM
15 years 5 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
EMSOFT
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...