Model-based mutant equivalence detection using automata language equivalence and simulations

Résultats de recherche: Contribution à un journal/une revueArticle

35 Téléchargements (Pure)

Empreinte digitale Examiner les sujets de recherche de « Model-based mutant equivalence detection using automata language equivalence and simulations ». Ensemble, ils forment une empreinte digitale unique.

Ingénierie et Science des Matériaux