mutation testing

---

mutation testing

Tag #mutation testing

93 papers:

SEFM-2019-FellnerBW #testing

Mutation Testing with Hyperproperties (AF, MTB, GW), pp. 203–221.

MoDELS-2019-GuerraCL #atl #effectiveness #testing #towards

Towards Effective Mutation Testing for ATL (EG, JSC, JdL), pp. 78–88.

ASE-2019-CelikPPAG #analysis #coq

Mutation Analysis for Coq (AÇ, KP, MP, EJGA, MG), pp. 539–551.

ASE-2019-Hu0XY0Z #framework #learning #testing

DeepMutation++: A Mutation Testing Framework for Deep Learning Systems (QH, LM0, XX, BY, YL0, JZ), pp. 1158–1161.

ASE-2019-LiWXWZ0 #contract #named #testing

MuSC: A Tool for Mutation Testing of Ethereum Smart Contract (ZL, HW, JX, XW, LZ, ZC0), pp. 1198–1201.

ICSE-2019-WangD00Z #detection #network #testing

Adversarial sample detection for deep neural network through model mutation testing (JW, GD, JS0, XW0, PZ), pp. 1245–1256.

ICSE-2019-WenLWXCS #analysis #api #library

Exposing library API misuses via mutation analysis (MW, YL, RW, XX, SCC, ZS), pp. 866–877.

ICST-2019-HaririSFMM #compilation #representation #source code #testing

Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation (FH, AS, VF, SM, DM), pp. 114–124.

ICST-2019-MaoCZ #predict #testing

An Extensive Study on Cross-Project Predictive Mutation Testing (DM, LC, LZ), pp. 160–171.

ICTSS-2019-TimoPR #finite #multi #state machine #testing

Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts (ONT, DP, AR), pp. 104–120.

KDD-2018-PellegrinaV #mining #performance #permutation #testing

Efficient Mining of the Most Significant Patterns with Permutation Testing (LP, FV), pp. 2070–2079.

ASE-2018-HaririS #c #named #representation #source code #testing #tool support

SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation (FH, AS), pp. 860–863.

ESEC-FSE-2018-WongMK #automation #configuration management #execution #higher-order #program repair #testing

Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing (CPW, JM, CK), pp. 749–753.

ICST-2018-ChenZ #testing

Speeding up Mutation Testing via Regression Test Selection: An Extensive Study (LC, LZ), pp. 58–69.

ICST-2018-ZhuPZ #testing

An Investigation of Compression Techniques to Speed up Mutation Testing (QZ, AP, AZ), pp. 274–284.

ESEC-FSE-2017-JabbarvandM #android #energy #framework #named #testing

µDroid: an energy-aware mutation testing framework for Android (RJ, SM), pp. 208–219.

ESEC-FSE-2017-VasquezBTMPVBP #android #testing

Enabling mutation testing for Android apps (MLV, GB, MT, KM, MDP, CV, CBC, DP), pp. 233–244.

ICSE-2017-RojasWCF #crowdsourcing #effectiveness #game studies #testing

Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game (JMR, TDW, BSC, GF), pp. 677–688.

ICST-2017-LaurentPKHTV #testing

Assessing and Improving the Mutation Testing Practice of PIT (TL0, MP, MK, CH, YLT, AV), pp. 430–435.

ICST-2017-SullivanWZK #alloy #automation #generative #testing

Automated Test Generation and Mutation Testing for Alloy (AS, KW, RNZ, SK), pp. 264–275.

ICTSS-2017-Nguena-TimoPR #finite #multi #state machine #testing

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs (ONT, AP, SR), pp. 108–125.

SCAM-2016-KintisPPVM #effectiveness #testing #tool support

Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study (MK, MP, AP, EV, NM), pp. 147–156.

MoDELS-2016-ZhangYAL #analysis #case study #towards

Towards mutation analysis for use cases (HZ, TY, SA, CL), pp. 363–373.

FSE-2016-Kurtz #on the #testing

On the utility of dominator mutants for mutation testing (BK), pp. 1088–1090.

ICSE-2016-DevroeyPPLSH #analysis #modelling

Featured model-based mutation analysis (XD, GP, MP, AL, PYS, PH), pp. 655–666.

ICST-2016-TokumotoYSH #analysis #c #higher-order #named #virtual machine

MuVM: Higher Order Mutation Analysis Virtual Machine for C (ST, HY, KS, SH), pp. 320–329.

KDD-2015-Llinares-LopezS #mining #performance #permutation #testing

Fast and Memory-Efficient Significant Pattern Mining via Permutation Testing (FLL, MS, LP, KMB), pp. 725–734.

ICSE-v2-2015-Zhang #scalability #testing

Scalability Studies on Selective Mutation Testing (JZ), pp. 851–854.

ICST-2015-KrennSTAJB #modelling #named #testing #uml

MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.

ICST-2015-Lorber #modelling #realtime #testing

Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.

ICST-2015-NardoPB #analysis #generative #modelling #testing

Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.

ICST-2015-Tiran #incremental #modelling #testing

Incremental Model-Based Mutation Testing (ST), pp. 1–2.

ICTSS-2015-TaylorD #erlang #framework #named #testing

mu2: A Refactoring-Based Mutation Testing Framework for Erlang (RT, JD), pp. 178–193.

ICSME-2014-Stephan #analysis #clone detection #detection #evaluation #using

Model Clone Detector Evaluation Using Mutation Analysis (MS), pp. 633–638.

FSE-2014-DevroeyPCPLS #analysis #variability

A variability perspective of mutation analysis (XD, GP, MC, MP, AL, PYS), pp. 841–844.

SAC-2014-PapadakisT #analysis #approach #effectiveness #fault #locality

Effective fault localization via mutation analysis: a selective mutation approach (MP, YLT), pp. 1293–1300.

ICST-2014-PapadakisHT #analysis #combinator #interactive #testing

Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing (MP, CH, YLT), pp. 1–10.

ISSTA-2014-Just #analysis #framework #java #performance #scalability

The major mutation framework: efficient and scalable mutation analysis for Java (RJ), pp. 433–436.

ISSTA-2014-JustEF #analysis #clustering #execution #performance

Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.

ISSTA-2014-LeAGG #haskell #named #source code #testing

MuCheck: an extensible tool for mutation testing of haskell programs (DL, MAA, RG, AG), pp. 429–432.

TAP-2014-AichernigAJKKSS #industrial #metric #modelling #testing

Model-Based Mutation Testing of an Industrial Measurement Device (BKA, JA, EJ, RK, WK, RS, BVS), pp. 1–19.

SCAM-2013-PapadakisDT #analysis #fault #named #using

Proteum/FL: A tool for localizing faults using mutation analysis (MP, MED, YLT), pp. 94–99.

SEKE-2013-NishiuraMWH #analysis #testing

Mutation Analysis for JavaScriptWeb Application Testing (KN, YM, HW, SH), pp. 159–165.

ICSE-2013-StephanASC #analysis #clone detection #comparison #detection #framework #using

Using mutation analysis for a model-clone detector comparison framework (MS, MHA, AS, JRC), pp. 1261–1264.

SAC-2013-PapadakisT #classification #testing #using

Mutation testing strategies using mutant classification (MP, YLT), pp. 1223–1229.

DATE-2013-LishernessLC #analysis

Mutation analysis with coverage discounting (PL, NL, KT(C), pp. 31–34.

ICST-2013-MirshokraieMP #javascript #performance #testing

Efficient JavaScript Mutation Testing (SM, AM, KP), pp. 74–83.

ISSTA-2013-GligoricZPP #concurrent #testing

Selective mutation testing for concurrent code (MG, LZ, CP, GP), pp. 224–234.

ISSTA-2013-ZhangMK #performance #reduction #testing

Faster mutation testing inspired by test prioritization and reduction (LZ, DM, SK), pp. 235–245.

TAP-2013-AichernigLN #automaton #modelling #testing

Time for Mutants — Model-Based Mutation Testing with Timed Automata (BKA, FL, DN), pp. 20–38.

ICSM-2012-MateoU #framework #java #named #quality #testing

Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases (PRM, MPU), pp. 646–649.

MSR-2012-NguyenK #api #testing

Discovering complete API rules with mutation testing (ACN, SCK), pp. 151–160.

ICEIS-J-2012-YiasemisA12a #execution #fault #slicing #testing

Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing (PSY, ASA), pp. 207–227.

ICEIS-v2-2012-YiasemisA #automation #fault #locality #testing #using

Dynamic Localisation and Automatic Correction of Software Faults using Evolutionary Mutation Testing (PSY, ASA), pp. 15–26.

MoDELS-2012-ShinJB #analysis #empirical #evaluation #modelling #test coverage #using

Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.

ICSE-2012-StaatsGH #automation #fault #how #testing

Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing (MS, GG, MPEH), pp. 870–880.

DATE-2012-LinWCCCHYS #analysis #functional #probability

A probabilistic analysis method for functional qualification under Mutation Analysis (HYL, CYW, SCC, YCC, HMC, CYH, YCY, CCS), pp. 147–152.

ICST-2012-AichernigJ #constraints #modelling #semantics #testing #towards

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.

ICST-2012-DanH #analysis #comparison #float #semantics

Semantic Mutation Analysis of Floating-Point Comparison (HD, RMH), pp. 290–299.

ICST-2012-DanH12a #c #named #semantics #testing #tool support

SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.

ICST-2012-DurelliOD #testing #towards #virtual machine

Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing (VHSD, JO, MED), pp. 681–690.

ICST-2012-ElrakaibyMT #analysis #policy #testing #using

Testing Obligation Policy Enforcement Using Mutation Analysis (YE, TM, YLT), pp. 673–680.

ICST-2012-JustKS #analysis #effectiveness #performance #question

Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? (RJ, GMK, FS), pp. 720–725.

ICST-2012-Praphamontripong #testing #web

Web Mutation Testing (UP), pp. 495–498.

ICTSS-2012-StrugS #approach #machine learning #testing

Machine Learning Approach in Mutation Testing (JS, BS), pp. 200–214.

ISSTA-2012-ZhangMZK #testing

Regression mutation testing (LZ, DM, LZ, SK), pp. 331–341.

ASE-2011-JustSK #analysis #compilation #java #named #performance

MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler (RJ, FS, GMK), pp. 612–615.

ESEC-FSE-2011-GligoricBJ #named #testing

SMutant: a tool for type-sensitive mutation testing in a dynamic language (MG, SB, RJ), pp. 424–427.

SAC-2011-WoodraskaSX #security #testing

Security mutation testing of the FileZilla FTP server (DW, MS, DX), pp. 1425–1430.

ICST-2011-BelliBTF #automaton #testing

Mutation Testing of “Go-Back” Functions Based on Pushdown Automata (FB, MB, TT, ZF), pp. 249–258.

ICSM-2010-ZhangXZTHM #execution #generative #symbolic computation #testing

Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.

HPDC-2010-PetrouSMFPD #optimisation #parallel #permutation #testing

Optimization of a parallel permutation testing function for the SPRINT R package (SP, TMS, MM, TF, MP, BD), pp. 516–521.

ICST-2010-GligoricJM #named #parallel #performance #testing #thread

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (MG, VJ, DM), pp. 55–64.

TAP-2010-BousquetL #analysis #evaluation #process #proving

Proof Process Evaluation with Mutation Analysis (LdB, ML), pp. 55–60.

ESEC-FSE-2009-SchulerZ #java #named #performance #testing

Javalanche: efficient mutation testing for Java (DS, AZ), pp. 297–298.

ICST-2009-KaminskiA09a #fault #logic #performance #testing #using

Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing (GKK, PA), pp. 386–395.

ICST-2009-ZhouF #database #java #testing

Mutation Testing for Java Database Applications (CZ, PGF), pp. 396–405.

ISSTA-2009-SchulerDZ #invariant #performance #testing

Efficient mutation testing by checking invariant violations (DS, VD, AZ), pp. 69–80.

SCAM-2008-JiaH #fault #higher-order #testing #using

Constructing Subtle Faults Using Higher Order Mutation Testing (YJ, MH), pp. 249–258.

ICST-2008-FerrariMR #aspect-oriented #source code #testing

Mutation Testing for Aspect-Oriented Programs (FCF, JCM, AR), pp. 52–61.

SEKE-2006-FranzotteV #testing #xml

Applying Mutation Testing in XML Schemas (LF, SRV), pp. 511–516.

ECMDA-FA-2006-MottuBT #analysis #model transformation #testing

Mutation Analysis Testing for Model Transformations (JMM, BB, YLT), pp. 376–390.

ICSE-2006-MaHK #evaluation #object-oriented #source code #testing

Evaluation of mutation testing for object-oriented programs (YSM, MJH, YRK), pp. 869–872.

FATES-2004-KapoorB #testing

Ordering Mutants to Minimise Test Effort in Mutation Testing (KK, JPB), pp. 195–209.

FATES-2004-YoonKSC #analysis #component #empirical #fault #injection #testing #using

Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study (HY, EK, JS, BC), pp. 210–224.

TestCom-2004-SugetaMW #specification #testing #validation

Mutation Testing Applied to Validate SDL Specifications (TS, JCM, WEW), pp. 193–208.

ICML-1998-FrankW98a #permutation #using

Using a Permutation Test for Attribute Selection in Decision Trees (EF, IHW), pp. 152–160.

PLDI-1997-Collberg #analysis #automation

Reverse Interpretation + Mutation Analysis = Automatic Retargeting (CSC), pp. 57–70.

ISSTA-1994-FleyshgakkerW #analysis #approach #performance

Efficient Mutation Analysis: A New Approach (VNF, SNW), pp. 185–195.

ICSE-1993-LaskiSL #analysis #testing

Dynamic Mutation Testing in Integrated Regression Analysis (JWL, WS, PL), pp. 108–117.

ISSTA-1993-UntchOH #analysis #using

Mutation Analysis Using Mutant Schemata (RHU, AJO, MJH), pp. 139–148.

ISSTA-1993-WeissF #algorithm #analysis

Improved Serial Algorithms for Mutation Analysis (SNW, VNF), pp. 149–158.

PLDI-1987-OffuttK #analysis #fortran #interpreter

A Fortran 77 interpreter for mutation analysis (AJO, KNK), pp. 177–188.