Using Meta-model Coverage to Qualify Test Oracles

International audience

Data and Resources

Additional Info

Field Value
Source proceedings of the Workshop AMT 2013 associated with Models2013 conference
Author Finot, Olivier, Mottu, Jean-Marie, Sunyé, Gerson, Degueule, Thomas
Maintainer CCSD
Last Updated May 7, 2026, 19:40 (UTC)
Created May 7, 2026, 19:40 (UTC)
Identifier hal-00918569
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor AELOS ; Laboratoire d'Informatique de Nantes Atlantique (LINA) ; Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)
coverage Miami, United States
creator Finot, Olivier
date 2013-09-29T00:00:00
harvest_object_id 57cebdef-0d39-47b7-adab-6d2f423d8720
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2024-01-05T00:00:00
set_spec type:COMM