126
click to vote
FMCO
15 years 6 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...
121
Voted
FMCO
15 years 6 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...
116
click to vote
FMCO
15 years 6 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...
131
click to vote
FMCO
15 years 6 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...
124
click to vote
FMCO
15 years 6 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