Semantic mutation testing

DOI10.1016/J.SCICO.2011.03.011zbMATH Open1264.68055OpenAlexW2103278866MaRDI QIDQ1951641

Yanyan Li

Publication date: 6 June 2013

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.03.011

zbMATH Keywords

semanticsmutation testingmisunderstandings

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Late and early semantics coincide for testing

Uses Software

• StateFlow
• TXL
• Check
• Autoconf
• Title not available (Why is that?)

This page was built for publication: Semantic mutation testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1951641)