BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
mutation testing
Google mutation testing

Tag #mutation testing

93 papers:

SEFMSEFM-2019-FellnerBW #testing
Mutation Testing with Hyperproperties (AF, MTB, GW), pp. 203–221.
MoDELSMoDELS-2019-GuerraCL #atl #effectiveness #testing #towards
Towards Effective Mutation Testing for ATL (EG, JSC, JdL), pp. 78–88.
ASEASE-2019-CelikPPAG #analysis #coq
Mutation Analysis for Coq (, KP, MP, EJGA, MG), pp. 539–551.
ASEASE-2019-Hu0XY0Z #framework #learning #testing
DeepMutation++: A Mutation Testing Framework for Deep Learning Systems (QH, LM0, XX, BY, YL0, JZ), pp. 1158–1161.
ASEASE-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.
ICSTICST-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.
ICSTICST-2019-MaoCZ #predict #testing
An Extensive Study on Cross-Project Predictive Mutation Testing (DM, LC, LZ), pp. 160–171.
ICTSSICTSS-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.
KDDKDD-2018-PellegrinaV #mining #performance #permutation #testing
Efficient Mining of the Most Significant Patterns with Permutation Testing (LP, FV), pp. 2070–2079.
ASEASE-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-FSEESEC-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.
ICSTICST-2018-ChenZ #testing
Speeding up Mutation Testing via Regression Test Selection: An Extensive Study (LC, LZ), pp. 58–69.
ICSTICST-2018-ZhuPZ #testing
An Investigation of Compression Techniques to Speed up Mutation Testing (QZ, AP, AZ), pp. 274–284.
ESEC-FSEESEC-FSE-2017-JabbarvandM #android #energy #framework #named #testing
µDroid: an energy-aware mutation testing framework for Android (RJ, SM), pp. 208–219.
ESEC-FSEESEC-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.
ICSTICST-2017-LaurentPKHTV #testing
Assessing and Improving the Mutation Testing Practice of PIT (TL0, MP, MK, CH, YLT, AV), pp. 430–435.
ICSTICST-2017-SullivanWZK #alloy #automation #generative #testing
Automated Test Generation and Mutation Testing for Alloy (AS, KW, RNZ, SK), pp. 264–275.
ICTSSICTSS-2017-Nguena-TimoPR #finite #multi #state machine #testing
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs (ONT, AP, SR), pp. 108–125.
SCAMSCAM-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.
MoDELSMoDELS-2016-ZhangYAL #analysis #case study #towards
Towards mutation analysis for use cases (HZ, TY, SA, CL), pp. 363–373.
FSEFSE-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.
ICSTICST-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.
KDDKDD-2015-Llinares-LopezS #mining #performance #permutation #testing
Fast and Memory-Efficient Significant Pattern Mining via Permutation Testing (FLL, MS, LP, KMB), pp. 725–734.
ICSEICSE-v2-2015-Zhang #scalability #testing
Scalability Studies on Selective Mutation Testing (JZ), pp. 851–854.
ICSTICST-2015-KrennSTAJB #modelling #named #testing #uml
MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.
ICSTICST-2015-Lorber #modelling #realtime #testing
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ICSTICST-2015-NardoPB #analysis #generative #modelling #testing
Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.
ICSTICST-2015-Tiran #incremental #modelling #testing
Incremental Model-Based Mutation Testing (ST), pp. 1–2.
ICTSSICTSS-2015-TaylorD #erlang #framework #named #testing
mu2: A Refactoring-Based Mutation Testing Framework for Erlang (RT, JD), pp. 178–193.
ICSMEICSME-2014-Stephan #analysis #clone detection #detection #evaluation #using
Model Clone Detector Evaluation Using Mutation Analysis (MS), pp. 633–638.
FSEFSE-2014-DevroeyPCPLS #analysis #variability
A variability perspective of mutation analysis (XD, GP, MC, MP, AL, PYS), pp. 841–844.
SACSAC-2014-PapadakisT #analysis #approach #effectiveness #fault #locality
Effective fault localization via mutation analysis: a selective mutation approach (MP, YLT), pp. 1293–1300.
ICSTICST-2014-PapadakisHT #analysis #combinator #interactive #testing
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing (MP, CH, YLT), pp. 1–10.
ISSTAISSTA-2014-Just #analysis #framework #java #performance #scalability
The major mutation framework: efficient and scalable mutation analysis for Java (RJ), pp. 433–436.
ISSTAISSTA-2014-JustEF #analysis #clustering #execution #performance
Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.
ISSTAISSTA-2014-LeAGG #haskell #named #source code #testing
MuCheck: an extensible tool for mutation testing of haskell programs (DL, MAA, RG, AG), pp. 429–432.
TAPTAP-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.
SCAMSCAM-2013-PapadakisDT #analysis #fault #named #using
Proteum/FL: A tool for localizing faults using mutation analysis (MP, MED, YLT), pp. 94–99.
SEKESEKE-2013-NishiuraMWH #analysis #testing
Mutation Analysis for JavaScriptWeb Application Testing (KN, YM, HW, SH), pp. 159–165.
ICSEICSE-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.
SACSAC-2013-PapadakisT #classification #testing #using
Mutation testing strategies using mutant classification (MP, YLT), pp. 1223–1229.
DATEDATE-2013-LishernessLC #analysis
Mutation analysis with coverage discounting (PL, NL, KT(C), pp. 31–34.
ICSTICST-2013-MirshokraieMP #javascript #performance #testing
Efficient JavaScript Mutation Testing (SM, AM, KP), pp. 74–83.
ISSTAISSTA-2013-GligoricZPP #concurrent #testing
Selective mutation testing for concurrent code (MG, LZ, CP, GP), pp. 224–234.
ISSTAISSTA-2013-ZhangMK #performance #reduction #testing
Faster mutation testing inspired by test prioritization and reduction (LZ, DM, SK), pp. 235–245.
TAPTAP-2013-AichernigLN #automaton #modelling #testing
Time for Mutants — Model-Based Mutation Testing with Timed Automata (BKA, FL, DN), pp. 20–38.
ICSMEICSM-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.
MSRMSR-2012-NguyenK #api #testing
Discovering complete API rules with mutation testing (ACN, SCK), pp. 151–160.
ICEISICEIS-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.
ICEISICEIS-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.
MODELSMoDELS-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.
ICSEICSE-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.
DATEDATE-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.
ICSTICST-2012-AichernigJ #constraints #modelling #semantics #testing #towards
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.
ICSTICST-2012-DanH #analysis #comparison #float #semantics
Semantic Mutation Analysis of Floating-Point Comparison (HD, RMH), pp. 290–299.
ICSTICST-2012-DanH12a #c #named #semantics #testing #tool support
SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
ICSTICST-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.
ICSTICST-2012-ElrakaibyMT #analysis #policy #testing #using
Testing Obligation Policy Enforcement Using Mutation Analysis (YE, TM, YLT), pp. 673–680.
ICSTICST-2012-JustKS #analysis #effectiveness #performance #question
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? (RJ, GMK, FS), pp. 720–725.
ICSTICST-2012-Praphamontripong #testing #web
Web Mutation Testing (UP), pp. 495–498.
ICTSSICTSS-2012-StrugS #approach #machine learning #testing
Machine Learning Approach in Mutation Testing (JS, BS), pp. 200–214.
ISSTAISSTA-2012-ZhangMZK #testing
Regression mutation testing (LZ, DM, LZ, SK), pp. 331–341.
ASEASE-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-FSEESEC-FSE-2011-GligoricBJ #named #testing
SMutant: a tool for type-sensitive mutation testing in a dynamic language (MG, SB, RJ), pp. 424–427.
SACSAC-2011-WoodraskaSX #security #testing
Security mutation testing of the FileZilla FTP server (DW, MS, DX), pp. 1425–1430.
ICSTICST-2011-BelliBTF #automaton #testing
Mutation Testing of “Go-Back” Functions Based on Pushdown Automata (FB, MB, TT, ZF), pp. 249–258.
ICSMEICSM-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.
HPDCHPDC-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.
ICSTICST-2010-GligoricJM #named #parallel #performance #testing #thread
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (MG, VJ, DM), pp. 55–64.
TAPTAP-2010-BousquetL #analysis #evaluation #process #proving
Proof Process Evaluation with Mutation Analysis (LdB, ML), pp. 55–60.
ESEC-FSEESEC-FSE-2009-SchulerZ #java #named #performance #testing
Javalanche: efficient mutation testing for Java (DS, AZ), pp. 297–298.
ICSTICST-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.
ICSTICST-2009-ZhouF #database #java #testing
Mutation Testing for Java Database Applications (CZ, PGF), pp. 396–405.
ISSTAISSTA-2009-SchulerDZ #invariant #performance #testing
Efficient mutation testing by checking invariant violations (DS, VD, AZ), pp. 69–80.
SCAMSCAM-2008-JiaH #fault #higher-order #testing #using
Constructing Subtle Faults Using Higher Order Mutation Testing (YJ, MH), pp. 249–258.
ICSTICST-2008-FerrariMR #aspect-oriented #source code #testing
Mutation Testing for Aspect-Oriented Programs (FCF, JCM, AR), pp. 52–61.
SEKESEKE-2006-FranzotteV #testing #xml
Applying Mutation Testing in XML Schemas (LF, SRV), pp. 511–516.
ECMFAECMDA-FA-2006-MottuBT #analysis #model transformation #testing
Mutation Analysis Testing for Model Transformations (JMM, BB, YLT), pp. 376–390.
ICSEICSE-2006-MaHK #evaluation #object-oriented #source code #testing
Evaluation of mutation testing for object-oriented programs (YSM, MJH, YRK), pp. 869–872.
FATESFATES-2004-KapoorB #testing
Ordering Mutants to Minimise Test Effort in Mutation Testing (KK, JPB), pp. 195–209.
FATESFATES-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.
ICTSSTestCom-2004-SugetaMW #specification #testing #validation
Mutation Testing Applied to Validate SDL Specifications (TS, JCM, WEW), pp. 193–208.
ICMLICML-1998-FrankW98a #permutation #using
Using a Permutation Test for Attribute Selection in Decision Trees (EF, IHW), pp. 152–160.
PLDIPLDI-1997-Collberg #analysis #automation
Reverse Interpretation + Mutation Analysis = Automatic Retargeting (CSC), pp. 57–70.
ISSTAISSTA-1994-FleyshgakkerW #analysis #approach #performance
Efficient Mutation Analysis: A New Approach (VNF, SNW), pp. 185–195.
ICSEICSE-1993-LaskiSL #analysis #testing
Dynamic Mutation Testing in Integrated Regression Analysis (JWL, WS, PL), pp. 108–117.
ISSTAISSTA-1993-UntchOH #analysis #using
Mutation Analysis Using Mutant Schemata (RHU, AJO, MJH), pp. 139–148.
ISSTAISSTA-1993-WeissF #algorithm #analysis
Improved Serial Algorithms for Mutation Analysis (SNW, VNF), pp. 149–158.
PLDIPLDI-1987-OffuttK #analysis #fortran #interpreter
A Fortran 77 interpreter for mutation analysis (AJO, KNK), pp. 177–188.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.