221
click to vote
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...
218
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...
211
click to vote
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...
238
click to vote
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...
198
click to vote
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