37 search results - page 3 / 8 » Experience report: the reactis validation tool |
FMICS
2008
Springer
13 years 6 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...
PRDC
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
IPSN
2005
Springer
13 years 10 months ago
2005
Springer
— Deployment-support networks (DSNs) have been proposed as a novel tool for the development, test, deployment, and validation of wireless sensor networks. They are expected to en...
ICSE
2003
IEEE-ACM
14 years 5 months ago
2003
IEEE-ACM
Web applications have become critical components of the global information infrastructure, and it is important that they be validated to ensure their reliability. Therefore, many ...