Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation

doi 10.1109/icst.2017.46
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Bisimulation and Language Equivalence

2003English

Symmetry, Empirical Equivalence, and Identity

British Journal for the Philosophy of Science
PhilosophyPhilosophy of ScienceHistory
2014English

String Dualities and Empirical Equivalence

Studies in History and Philosophy of Science Part B Studies in History and Philosophy of Modern Physics
Philosophy of SciencePhysicsAstronomyHistory
2017English

Artificial Examples of Empirical Equivalence

2014English

Exhaustive Model-Based Equivalence Class Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

ACME: Automata With Counters, Monoids and Equivalence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

High-Level vs. RTL Combinational Equivalence: An Introduction

2006 International Conference on Computer Design
2006English

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata

International Journal of Foundations of Computer Science
Computer Science
2006English

Matching Functionally Same Relations: Implications for Equivalence-Equivalence as a Model for Analogical Reasoning

Psychological Record
ArtsPsychologyHumanities
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy