A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Formal Aspects of Computing Année : 2015

A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns

Domaines

Génie logiciel [cs.SE] Modélisation et simulation

Jean-Michel Caricand  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01228335

Soumis le : jeudi 12 novembre 2015-21:18:58

Dernière modification le : vendredi 9 février 2024-03:25:07

Consulter le texte intégral

Dates et versions

hal-01228335 , version 1 (12-11-2015)

Identifiants

Citer

Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Castillos, Bilal Kanso. A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns. Formal Aspects of Computing, 2015, 27 (4), pp.641-664. ⟨10.1007/s00165-014-0328-5⟩. ⟨hal-01228335⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-FCOMTE UNIV-BM FEMTO-ST UNIV-BM-THESE UMR8623 CENTRALESUPELEC LRI-MODHEL TDS-MACS UNIV-PARIS-SACLAY
256 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More