338 search results - page 12 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
132
click to vote
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
148
click to vote
IFIP13
2004
15 years 3 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
97
Voted
AMTA
1998
Springer
15 years 6 months ago
1998
Springer
This paper describes the progress of a machine translation system from Chinese to English. The system is based on a reusable platform of MT software components. It's a rule-ba...
103
Voted
AAAI
1994
15 years 3 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
162
click to vote
FORTEST
2008
15 years 3 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...