Stem mutat$ (all stems)

145 papers:

SEFM-2015-SavaryFLL #modelling #robust #testing #using

Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.

OOPSLA-2015-LeSS #compilation #debugging #probability

Finding deep compiler bugs via guided stochastic program mutation (VL, CS, ZS), pp. 386–399.

ESEC-FSE-2015-KargenS #slicing #source code #using

Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing (UK, NS), pp. 782–792.

ESEC-FSE-2015-XuanXM #testing

Crash reproduction via test case mutation: let existing test cases help (JX, XX, MM), pp. 910–913.

ICSE-v2-2015-Zhang #mutation testing #scalability #testing

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

SPLC-2015-ReulingBRLK #effectiveness #generative #product line #testing

Fault-based product-line testing: effective sample generation based on feature-diagram mutation (DR, JB, SR, ML, UK), pp. 131–140.

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

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

ICST-2015-Lorber #modelling #mutation testing #realtime #testing

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

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

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

ICST-2015-Tiran #incremental #modelling #mutation testing #testing

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

ASE-2014-HarmanJMP #effectiveness #empirical #higher-order #performance

Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation (MH, YJ, PRM, MP), pp. 397–408.

ASE-2014-MaezawaNWH #ajax #using #validation

Validating ajax applications using a delay-based mutation technique (YM, KN, HW, SH), pp. 491–502.

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

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

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

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

FSE-2014-DevroeyPCPLS #analysis #mutation testing #variability

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

ICSE-2014-YaoHJ #analysis #case study #equivalence #using

A study of equivalent and stubborn mutation operators using human analysis of equivalence (XY, MH, YJ), pp. 919–930.

ICST-2014-DelamaroDDLO #c #evaluation

Experimental Evaluation of SDL and One-Op Mutation for C (MED, LD, VHSD, NL, JO), pp. 203–212.

ICST-2014-DelamaroOA #design

Designing Deletion Mutation Operators (MED, JO, PA), pp. 11–20.

ICST-2014-MoonKKY #fault #locality #source code

Ask the Mutants: Mutating Faulty Programs for Fault Localization (SM, YK, MK, SY), pp. 153–162.

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

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

ISSTA-2014-AppeltNBA #approach #automation #injection #sql #testing

Automated testing for SQL injection vulnerabilities: an input mutation approach (DA, CDN, LCB, NA), pp. 259–269.

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

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

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

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

ISSTA-2014-LeAGG #haskell #mutation testing #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 #mutation testing #testing

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

ASE-2013-KusanoW #c #c++ #concurrent #generative #named #parallel #thread

CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.

DATE-2013-LishernessLC #analysis #mutation testing

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

MSR-2013-XieKZ #empirical #migration

An empirical study of the fault-proneness of clone mutation and clone migration (SX, FK, YZ), pp. 149–158.

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

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

DUXU-PMT-2013-OgaickC #hypermedia

Hypertext in Mutation: The Mapping of a Mythos (TO, WC), pp. 125–133.

SEKE-2013-FerreiraVQ #approach #product line #testing

A Mutation Approach to Feature Testing of Software Product Lines (JMF, SRV, MAQ), pp. 232–237.

SEKE-2013-NishiuraMWH #analysis #mutation testing #testing

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

POPL-2013-KoksalPSBFP #biology #modelling #synthesis

Synthesis of biological models from mutation experiments (ASK, YP, SS, RB, JF, NP), pp. 469–482.

SAC-2013-MeloC #automation #case study #difference #evolution #generative

Automatic generation of evolutionary operators: a study with mutation strategies for the differential evolution (VVdM, GLCC), pp. 188–193.

SAC-2013-PapadakisT #classification #mutation testing #testing #using

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

ESEC-FSE-2013-InozemtsevaHH #fault #reduction #using

Using fault history to improve mutation reduction (LI, HH, RH), pp. 639–642.

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

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

ISMM-2013-AignerK #benchmark #metric #named #towards

ACDC: towards a universal mutator for benchmarking heap management systems (MA, CMK), pp. 75–84.

ICST-2013-DengOL #empirical #evaluation

Empirical Evaluation of the Statement Deletion Mutation Operator (LD, JO, NL), pp. 84–93.

ICST-2013-MirshokraieMP #javascript #mutation testing #performance #testing

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

ISSTA-2013-GligoricZPP #concurrent #mutation testing #testing

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

ISSTA-2013-ZhangMK #mutation testing #performance #reduction #testing

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

TAP-2013-AichernigLN #automaton #modelling #mutation testing #testing

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

TAP-2013-OudinetCB #evaluation

Evaluation of ASLan Mutation Operators (JO, AC, MB), pp. 178–196.

DATE-2012-LinWCCCHYS #analysis #functional #mutation testing #probability

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

FASE-2012-UsaolaML #reduction #testing #using

Reduction of Test Suites Using Mutation (MPU, PRM, BPL), pp. 425–438.

ICSM-2012-MateoU #framework #java #mutation testing #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 #mutation testing #testing

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

ICEIS-J-2012-YiasemisA12a #execution #fault #mutation testing #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 #mutation testing #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 #mutation testing #test coverage #using

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

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

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

TOOLS-EUROPE-2012-DerezinskaR #c# #evaluation #object-oriented #quality #source code #standard

Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs (AD, MR), pp. 42–57.

ICSE-2012-StaatsGH #automation #fault #how #mutation testing #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.

ICST-2012-AichernigJ #constraints #modelling #mutation testing #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 #mutation testing #semantics

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

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

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

ICST-2012-DurelliOD #mutation testing #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 #mutation testing #policy #testing #using

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

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

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

ICST-2012-KintisPM #first-order #higher-order

Isolating First Order Equivalent Mutants via Second Order Mutation (MK, MP, NM), pp. 701–710.

ICST-2012-Praphamontripong #mutation testing #testing #web

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

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

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

ISSTA-2012-ZhangMZK #mutation testing #testing

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

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

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

LATA-2011-AngluinAV

Mutation Systems (DA, JA, RBV), pp. 92–104.

ICEIS-J-2011-Moghadampour11b #algorithm #random #search-based

Outperforming Mutation Operator with Random Building Block Operator in Genetic Algorithms (GM), pp. 178–192.

ICEIS-v2-2011-Moghadampour11a #adaptation #algorithm #integer #search-based #self

Self-adaptive Integer and Decimal Mutation Operators for Genetic Algorithms (GM), pp. 184–191.

SEKE-2011-Kaiser #concurrent #debugging #higher-order #using

Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators (LWGK), pp. 244–249.

SAC-2011-WoodraskaSX #mutation testing #security #testing

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

ESEC-FSE-2011-GligoricBJ #mutation testing #named #testing

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

ESEC-FSE-2011-HarmanJL #generative #higher-order #testing

Strong higher order mutation-based test data generation (MH, YJ, WBL), pp. 212–222.

ISMM-2011-AignerHKLSSU #memory management #self

Short-term memory for self-collecting mutators (MA, AH, CMK, ML, AS, SS, AU), pp. 99–108.

ICST-2011-AichernigBJK #performance

Efficient Mutation Killers in Action (BKA, HB, EJ, WK), pp. 120–129.

ICST-2011-BelliBTF #automaton #mutation testing #testing

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

ICST-2011-DadeauHK #generative #protocol #security #testing

Mutation-Based Test Generation from Security Protocols in HLPSL (FD, PCH, RK), pp. 240–248.

ICST-2011-Nica #on the #testing #using

On the Improvement of the Mutation Score Using Distinguishing Test Cases (SN), pp. 423–426.

ISSTA-2011-NaminK #testing

The use of mutation in testing experiments and its sensitivity to external threats (ASN, SK), pp. 342–352.

DAC-2010-LishernessC #fault #injection #named

SCEMIT: a systemc error and mutation injection tool (PL, KT(C), pp. 228–233.

DATE-2010-GuglielmoFP #analysis

Vacuity analysis for property qualification by mutation of checkers (LDG, FF, GP), pp. 478–483.

TACAS-2010-KatzP #automation #verification

Code Mutation in Verification and Automatic Code Correction (GK, DP), pp. 435–450.

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

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

ICST-2010-DebroyW #automation #source code #using

Using Mutation to Automatically Suggest Fixes for Faulty Programs (VD, WEW), pp. 65–74.

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

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

ISSTA-2010-FraserZ #generative #testing

Mutation-driven generation of unit tests and oracles (GF, AZ), pp. 147–158.

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

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

ICSM-2009-FengG #detection

Detecting virus mutations via dynamic matching (MF, RG), pp. 105–114.

SEKE-2009-JiCXZ #analysis #clustering #novel

A Novel Method of Mutation Clustering Based on Domain Analysis (CJ, ZC, BX, ZZ), pp. 422–425.

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

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

ICST-2009-KaminskiA09a #fault #logic #mutation testing #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 #mutation testing #testing

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

ISSTA-2009-SchulerDZ #invariant #mutation testing #performance #testing

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

MBT-2009-KrennA #contract #generative #specification #testing

Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.

DATE-2008-BombieriFP #communication #interface

A Mutation Model for the SystemC TLM 2.0 Communication Interfaces (NB, FF, GP), pp. 396–401.

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

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

PLDI-2008-BlackburnM #garbage collection #named #performance

Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance (SMB, KSM), pp. 22–32.

ICEIS-AIDSS-2008-UnemeKO #scheduling

Nurse Scheduling by Cooperative GA with Variable Mutation Operator (SyU, HK, MO), pp. 249–252.

ICML-2008-ShringarpureX #named #search-based

mStruct: a new admixture model for inference of population structure in light of both genetic admixing and allele mutations (SS, EPX), pp. 952–959.

ICSE-2008-NaminAM #effectiveness

Sufficient mutation operators for measuring test effectiveness (ASN, JHA, DJM), pp. 351–360.

ASPLOS-2008-ErtveldeE #benchmark #metric

Dispersing proprietary applications as benchmarks through code mutation (LVE, LE), pp. 201–210.

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

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

ICSM-2007-HouZXMS #component #interface #testing

Applying Interface-Contract Mutation in Regression Testing of Component-Based Software (SSH, LZ, TX, HM, JS), pp. 174–183.

PLDI-2007-McCreightSLL #framework #garbage collection

A general framework for certifying garbage collectors and their mutators (AM, ZS, CL, LL), pp. 468–479.

SAC-2007-Teo #adaptation #algorithm #generative #optimisation

Investigating adaptive mutation in the generalized generation gap (G3) algorithm for unconstrained global optimization (JT), pp. 743–744.

SEKE-2006-FranzotteV #mutation testing #testing #xml

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

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

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

SAC-2006-CutelloNO #algorithm #analysis #heuristic

Analysis of an evolutionary algorithm with HyperMacromutation and stop at first constructive mutation heuristic for solving trap functions (VC, GN, PSO), pp. 945–949.

SAC-2006-YangU #adaptation #algorithm #correlation #search-based

Adaptive mutation with fitness and allele distribution correlation for genetic algorithms (SY, SU), pp. 940–944.

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

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

ICSE-2006-MaOK #java #named

MuJava: a mutation system for java (YSM, JO, YRK), pp. 827–830.

CGO-2006-SuL

Dynamic Class Hierarchy Mutation (LS, MHL), pp. 98–110.

MBT-2006-NilssonOM #generative #testing

Test Case Generation for Mutation-based Testing of Timeliness (RN, JO, JM), pp. 97–114.

DATE-2005-ScholiveBRFR #generative #testing

Mutation Sampling Technique for the Generation of Structural Test Data (MS, VB, CR, MLF, BR), pp. 1022–1023.

ICSM-2005-DoR #empirical #fault #testing

A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults (HD, GR), pp. 411–420.

ICSM-2005-JiangHSZX #component #contract #testing

Contract-Based Mutation for Testing Components (YJ, SSH, JS, LZ, BX), pp. 483–492.

SAC-2005-BalsaraR #model checking #predict #search-based #using

Prediction of inherited and genetic mutations using the software model checker SPIN (ZB, SR), pp. 208–209.

ICSE-2005-AndrewsBL #question #testing

Is mutation an appropriate tool for testing experiments? (JHA, LCB, YL), pp. 402–411.

RTA-2005-LynchM #equation #performance

Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories (CL, BM), pp. 90–104.

ICPR-v2-2004-FarmerBJ #feature model #random #scalability #using

Large Scale Feature Selection Using Modified Random Mutation Hill Climbing (MEF, SB, AKJ), pp. 287–290.

FATES-2004-KapoorB #mutation testing #testing

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

FATES-2004-YoonKSC #analysis #component #empirical #fault #injection #mutation testing #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 #mutation testing #specification #testing #validation

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

FATES-2003-SungC #embedded #fault #hardware #injection #interactive #testing #using

Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation (AS, BC), pp. 192–204.

DATE-2002-RedaO #encoding #testing

Reducing Test Application Time Through Test Data Mutation Encoding (SR, AO), pp. 387–393.

CADE-2002-LynchM

Basic Syntactic Mutation (CL, BM), pp. 471–485.

ASE-2001-BiemanGA #java

A Technique for Mutation of Java Objects (JMB, SG, RTA), pp. 337–340.

ASE-2000-BlackOY #specification

Mutation Operators for Specifications (PEB, VO, YY), p. 81–?.

TOOLS-USA-2000-GhoshM #component #interface #testing

Interface Mutation to Assess the Adequacy of Tests for Components and Systems (SG, APM), p. 37–?.

PLDI-1997-Collberg #analysis #automation #mutation testing

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

DLT-1997-DassowMP #context-free grammar

Point mutations in context-free languages (JD, VM, GP), pp. 429–446.

ISSTA-1996-DaranT #analysis #case study #fault

Software Error Analysis: A Real Case Study Involving Real Faults and Mutations (MD, PTF), pp. 158–171.

ICML-1994-Skalak #algorithm #feature model #prototype #random

Prototype and Feature Selection by Sampling and Random Mutation Hill Climbing Algorithms (DBS), pp. 293–301.

ISSTA-1994-FleyshgakkerW #analysis #approach #mutation testing #performance

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

ICSE-1993-BastaniDP #correctness #evaluation #using

Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation (FBB, GD, AP), pp. 45–54.

ICSE-1993-LaskiSL #analysis #mutation testing #testing

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

ICSE-1993-OffuttRZ #evaluation

An Experimental Evaluation of Selective Mutation (AJO, GR, CZ), pp. 100–107.

ISSTA-1993-UntchOH #analysis #mutation testing #using

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

ISSTA-1993-WeissF #algorithm #analysis #mutation testing

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

TAV-1991-Marick

The Weak Mutation Hypothesis (BM), pp. 190–199.

TAV-1991-OffuttL #how #question

How Strong is Weak Mutation? (AJO, SDL), pp. 200–213.

ICSE-1989-DeMillo #test coverage #testing

Test Adequacy and Program Mutation (RAD), pp. 355–356.

ICSE-1988-MathurK #modelling

Modeling Mutation on a Vector Processor (APM, EWK), pp. 154–161.

PLDI-1987-OffuttK #analysis #fortran #interpreter #mutation testing

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

ICSE-1985-GirgisW #analysis #data flow #testing #using

An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis (MRG, MRW), pp. 313–319.

POPL-1980-BuddDLS #correctness #functional #source code #using

Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs (TAB, RAD, RJL, FGS), pp. 220–233.