4.5 Article

The language mutation problem: Leveraging language product lines for mutation testing of interpreters

Related references

Note: Only part of the references are listed.
Article Computer Science, Software Engineering

Static detection of equivalent mutants in real-time model-based mutation testing An Empirical Evaluation

Davide Basile et al.

Summary: Model-based mutation testing has the potential to reveal software faults effectively, but faces efficiency issues. This paper investigates the equivalent mutant problem when applying this method to real-time system product lines. Time-specific mutation operators are defined, and the problem is formulated in the frame of timed refinement relations. Theoretical results provide guidance to eliminate mutations from which no test case can be produced.

EMPIRICAL SOFTWARE ENGINEERING (2022)

Article Computer Science, Theory & Methods

A Survey of Compiler Testing

Junjie Chen et al.

ACM COMPUTING SURVEYS (2020)

Article Computer Science, Software Engineering

The Software Language Extension Problem

Manuel Leduc et al.

SOFTWARE AND SYSTEMS MODELING (2020)

Article Computer Science, Software Engineering

Predictive Mutation Testing

Jie Zhang et al.

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2019)

Article Computer Science, Software Engineering

A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion

Donghwan Shin et al.

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2018)

Article Computer Science, Software Engineering

Detecting Trivial Mutant Equivalences via Compiler Optimisations

Marinos Kintis et al.

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2018)

Article Computer Science, Software Engineering

Context-Aware Software Variability through Adaptable Interpreters

Walter Cazzola et al.

IEEE SOFTWARE (2017)

Article Computer Science, Information Systems

Gradually Learning Programming Supported by a Growable Programming Language

Walter Cazzola et al.

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING (2016)

Article Computer Science, Information Systems

On the incremental growth and shrinkage of LR goto-graphs

Walter Cazzola et al.

ACTA INFORMATICA (2014)

Article Computer Science, Software Engineering

Language Design with the Spoofax Language Workbench

Guido H. Wachsmuth et al.

IEEE SOFTWARE (2014)

Article Computer Science, Software Engineering

Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation

Lech Madeyski et al.

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2014)

Article Computer Science, Software Engineering

FeatureIDE: An extensible framework for feature-oriented software development

Thomas Thuema et al.

SCIENCE OF COMPUTER PROGRAMMING (2014)

Article Computer Science, Software Engineering

An Analysis and Survey of the Development of Mutation Testing

Yue Jia et al.

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2011)

Article Computer Science, Information Systems

Evolutionary mutation testing

J. J. Dominguez-Jimenez et al.

INFORMATION AND SOFTWARE TECHNOLOGY (2011)

Article Computer Science, Software Engineering

Mutation Testing Cost Reduction Techniques: A Survey

Macario Polo Usaola et al.

IEEE SOFTWARE (2010)

Article Computer Science, Software Engineering

MontiCore: a framework for compositional development of domain specific languages

Holger Krahn et al.

International Journal on Software Tools for Technology Transfer (2010)

Article Computer Science, Software Engineering

Should software testers use mutation analysis to augment a test set?

Ben H. Smith et al.

JOURNAL OF SYSTEMS AND SOFTWARE (2009)

Article Computer Science, Software Engineering

Domain Specific Language Implementation via Compile-Time Meta-Programming

Laurence Tratt

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (2008)

Article Computer Science, Software Engineering

MuJava: an automated class mutation system

YS Ma et al.

SOFTWARE TESTING VERIFICATION & RELIABILITY (2005)