Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
FMCO
2006
Springer
12 years 1 months ago
Towards a Formal Framework for Computational Trust
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
Vladimiro Sassone, Karl Krukow, Mogens Nielsen
FMCO
2006
Springer
12 years 1 months ago
JACK - A Tool for Validation of Security and Behaviour of Java Applications
Gilles Barthe, Lilian Burdy, Julien Charles, Benja...
FMCO
2006
Springer
135views Formal Methods» more  FMCO 2006»
12 years 1 months ago
Links: Web Programming Without Tiers
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...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...
FMCO
2006
Springer
107views Formal Methods» more  FMCO 2006»
12 years 1 months ago
Learning Meets Verification
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...
Martin Leucker
FMCO
2006
Springer
109views Formal Methods» more  FMCO 2006»
12 years 1 months ago
Model-Based Testing of Environmental Conformance of Components
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...
Lars Frantzen, Jan Tretmans
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
12 years 1 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
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...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
FMCO
2006
Springer
12 years 1 months ago
On Recursion, Replication and Scope Mechanisms in Process Calculi
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
Jesús Aranda, Cinzia Di Giusto, Catuscia Pa...
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
12 years 1 months ago
Exhaustive Testing of Exception Handlers with Enforcer
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...
Cyrille Artho, Armin Biere, Shinichi Honiden
FMCO
2006
Springer
103views Formal Methods» more  FMCO 2006»
12 years 1 months ago
Verifying Object-Oriented Programs with KeY: A Tutorial
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä...
books