2774 search results - page 343 / 555 » Query-Driven Program Testing |
131
click to vote
TRANSCI
2008
15 years 1 months ago
2008
Abstract. We present a new model for a strategic locomotive scheduling problem arising at the Deutsche Bahn AG. The model is based on a multi-commodity min-cost flow formulation th...
122
click to vote
ENTCS
2002
15 years 1 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
125
click to vote
JAR
2000
15 years 1 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
117
click to vote
OOPSLA
2010
Springer
15 years 14 days ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
110
click to vote
RV
2010
Springer
15 years 13 days ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...