205
Voted
FMCO
15 years 11 months ago
2006 Springer 
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
209
click to vote
FMCO
15 years 11 months ago
2006 Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
198
Voted
FMCO
15 years 11 months ago
2006 Springer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
224
Voted
FMCO
15 years 11 months ago
2006 Springer 
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
188
Voted
FMCO
15 years 11 months ago
2006 Springer
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
|
Formal Methods