1112 search results - page 37 / 223 » Executing Abstract Test Cases |
101
click to vote
ASE
2004
14 years 9 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
ICN
2005
Springer
15 years 3 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...
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...
108
click to vote
PASTE
2005
ACM
15 years 3 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
HPCN
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...