Description
| Status | Active |
|---|---|
| Effective start/end date | 1/01/95 → … |
Related content
Research Outputs
A proof obligation generator for VDM-SL
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Contract-based mutation testing in the Refinement Calculus
Research output: Contribution to journal › Article › Research
From Faults via Test Purposes to Test Cases: on the Fault-based Testing of Concurrent Systems
Research output: Contribution to conference › (Old data) Lecture or Presentation › Research
A Coalgebraic Calculus for Component Based Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Coalgebraic component specification and verification in RSL
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010
Research output: Book/Report › Anthology › Research
Connectors as designs: Modeling, refinement and test case generation
Research output: Contribution to journal › Article › Research › peer-review
When model-based testing fails
Research output: Contribution to journal › Article › Research
Contract-based Testing
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Modeling and testing multi-threaded asynchronous systems with Creol
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Test Derivation in a Refinement Process
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Debugging with Timed Automata Mutations
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
The Formal Foundations in RSL for UML Statechart Diagrams
Research output: Contribution to journal › Article › Research
Mutation Testing in UTP
Research output: Contribution to journal › Article › Research › peer-review
Modeling and validating hybrid systems using VDM and Mathematica
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Formal Test-Driven Development with Verified Test Cases
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Formal specification techniques as a catalyst in validation
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Fault-based Test Case Generation for Component Connectors
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Bounded Determinization of Timed Automata with Silent Transitions
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Executable specifications in software reliability engineering
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Test-design through abstraction - a systematic approach based on the refinement calculus
Research output: Contribution to journal › Article › Research › peer-review
Automated requirements testing with abstract oracles
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
MoMuT::UML - model-based mutation testing for UML
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods
Research output: Contribution to conference › (Old data) Lecture or Presentation › Research
Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
From faults via test purposes to test cases: on the fault-based testing of concurrent systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
The Commuting V-Diagram: on the Relation of Refinement and Testing
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Integration of Requirements Engineering and Test-Case Generation via OSLC
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Refinement and test case generation in UTP
Research output: Contribution to journal › Article › Research
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
On the value of fault injection on the modeling level
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Test case generation by OCL mutation and constraint solving
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
A coalgebraic semantic framework for component-based development in UML
Research output: Contribution to journal › Article › Research
Mutation Testing in the Refinement Calculus
Research output: Contribution to journal › Article › Research › peer-review
Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, September 7--9, Koblenz, Germany
Research output: Book/Report › Anthology › Research
Formal Methods at the Crossroads. From Panacea to Foundational Support. 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University
Research output: Book/Report › Anthology › Research
Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
On the Semantics of Componentware: a Coalgebraic Perspective
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research
Combining algebraic and model-based test case generation
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Improving Fault-based Conformance Testing
Research output: Contribution to journal › Article › Research
Dynamic Symbolic Execution of Distributed Concurrent Objects
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Projects
EU - Prosyd - Property-Based System Design
Project: Research project
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Project: Research project
EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Project: Research project
CRYSTAL - Critical Systems Engineering Factories
Project: Research project