Deep Underground Neutrino Experiment (DUNE) Near Detector Conceptual Design Report

Testing from Abstract Data Type Specifications

An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications

Spécifications formelles du chanfreinage

Evaluation symbolique appliquée à l'étude de réseaux de régulation génétique

Transformations de graphes décorés

Efficient computation of arbitrary control dependencies

Generation of All-Paths Unit Test with Function Calls

Testing Software and Systems

Complex software systems : Formalization and Applications

Transformations de graphes pour les opérations topologiques en modélisation géométrique

Transformations de graphes pour les opérations topologiques en modélisation géométrique

Testing of Software and Communicating Systems

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks

Proof-Guided Test Selection from First-Order Specifications with Equality

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions

Feature specification: a logic-independent approach

Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics

Automatic generation of symbolic test purposes

Fast Computation of Arbitrary Control Dependencies

JERBOA : un modeleur géométrique à base de règles

Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation

Feature specification and static analysis for interaction resolution

Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine

Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

Symbolic execution of transition systems with function summaries

Interaction-based offline runtime verification of distributed systems

An implementation relation and test framework for timed distributed systems

On the use of generalisation and unification for composing interactions via gate connection

Symbolic execution techniques for test purpose definition

Generating test case from symbolic transition systems based on constrained unfolding

Certified verification of relational properties

Symbolic Execution-Based Techniques for Conformance Testing

Equivalence of denotational and operational semantics for interaction languages

JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling

Testing data types implementations from algebraic specifications

Rule-based transformations for geometric modeling

Denotational and operational semantics for interaction languages : application to trace analysis

Symbolic modeling of genetic regulatory networks

Coq a dit : fromage tranché ne peut cacher ses trous *

A first step towards the inference of geological topological operations

Designing a Topological Modeler Kernel: A Rule-Based Approach

Constraint-Based Oracles for Timed Distributed Systems

Geometric modeling: consistency preservation using two-layered variable substitutions (extended version)

Inference of geometric modeling operations

Cut branches before looking for bugs: Sound verification on relaxed slices

Symbolic execution of transition systems with function summaries

Spécifications formelles du chanfreinage

Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts