2026 search results - page 108 / 406 » Tools for Test Case Generation |
107
Voted
IFM
2005
Springer
15 years 9 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
123
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we describe the conception of a software toolkit designed for the construction, maintenance and collaborative use of a Generative Lexicon. In order to ease its porta...
124
Voted
IASSE
2004
15 years 5 months ago
2004
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
128
Voted
MICCAI
2003
Springer
16 years 4 months ago
2003
Springer
: Conventional laparoscopic tools do not have the ability of providing force feedback to a surgeon during surgical procedures. Loss of haptic feedback in MIS procedures is a disadv...
161
Voted
TSE
1998
15 years 3 months ago
1998
—This paper demonstrates the use of a model-based evaluation approach for instrumentation systems (ISs). The overall objective of this study is to provide early feedback to tool ...