Resolving the Equivalent Mutant Problem in the Presence of Non-Determinism and Coincidental Correctness

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-319-47443-4_8

Full Text

Abstract

Available in

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 2016

Authors

Robert M. Hierons

Publisher

Springer International Publishing

Related search

Correctness of Non-Determinism Analyses in a Parallel-Functional Language

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

On Determinism Versus Non-Determinism and Related Problems

English

Formal Aspects of Procedures: The Problem of Sequential Correctness

English

On the Correctness of the Transmembrane Potential Based Inverse Problem of ECG

English

Equivalent Gains of Non-Linear Devices to an Amplitude Modulated Signal in the Presence of Random Noise

Transactions of the Japan Society of Mechanical Engineers

English

The Minimum Equivalent DNF Problem and Shortest Implicants

Journal of Computer and System Sciences

Computer Networks

Applied Mathematics

Computational Theory

Theoretical Computer Science

English

The Notion of Non-Equivalent Vocabulary in Linguistics

International Journal on Studies in English Language and Literature

English

Editorial: Innate Immunity Programming and Memory in Resolving and Non-Resolving Inflammation

Frontiers in Immunology

English

The Search for Peace in Mindanao: Resolving a Wicked Problem

English