Search results for "Mutation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Ben H. Smith, Laurie Williams	On guiding the augmentation of an automated test suite via mutation analysis.	Empirical Software Engineering	2009	DBLP DOI BibTeX RDF	Line coverage, Empirical effectiveness, Test case augmentation, Mutation testing tool, Statement coverage, Web application, Open source, Fault injection, Unit testing, Mutation testing, Mutation analysis, Test adequacy
5	Roland H. Untch	On reduced neighborhood mutation analysis using a single mutagenic operator.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	constrained mutation, reduced neighborhood mutation, sufficient mutant operators, software testing, mutation analysis
5	Oliver Kramer, Chuan-Kang Ting, Hans Kleine Büning	A mutation operator for evolution strategies to handle constrained problems.	GECCO	2005	DBLP DOI BibTeX RDF	biased mutation, constrained problems, constraint-handling techniques, correlated mutation, self-adaptive mutation operator, evolution strategies, directed mutation
4	Gordon Fraser, Andreas Zeller	Mutation-driven generation of unit tests and oracles.	ISSTA	2010	DBLP DOI BibTeX RDF	unit testing, assertions, test case generation, mutation testing, test oracles, mutation analysis, search based testing
4	William B. Langdon, Mark Harman, Yue Jia	Multi objective higher order mutation testing with GP.	GECCO	2009	DBLP DOI BibTeX RDF	TCAS, higher order mutation, schedule, genetic programming, pareto optimality, mutation testing, triangle
4	Fabiano Cutigi Ferrari, José Carlos Maldonado, Awais Rashid	Mutation Testing for Aspect-Oriented Programs.	ICST	2008	DBLP DOI BibTeX RDF	Aspect-Oriented testing, AO fault types, Mutation testing, mutation operators
4	Yu-Seung Ma, Jeff Offutt, Yong Rae Kwon	MuJava: a mutation system for java.	ICSE	2006	DBLP DOI BibTeX RDF	mutation system, java, mutation testing
4	Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti	The Efficiency of Critical Slicing in Fault Localization.	Software Quality Journal	2005	DBLP DOI BibTeX RDF	strong and weak mutations, dead, live and equivalent mutants, static and dynamic slicing, critical slicing, statement deletion (Sdl), Mothra Mutation Testing System, Fortran-77, mutation testing, mutation operator
4	Stefan Berlik	Directed Mutation by Means of the Skew-Normal Distribution.	Fuzzy Days	2004	DBLP DOI BibTeX RDF	Skew-normal distribution, evolutionary algorithm, mutation operator, directed mutation
4	Philippe Chevalley, Pascale Thévenod-Fosse	A mutation analysis tool for Java programs.	STTT	2003	DBLP DOI BibTeX RDF	Test case evaluation, Reflective systems, OpenJava, Java, Object-oriented programming, Mutation analysis, Mutation operators
4	Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur	Interface Mutation: An Approach for Integration Testing.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	mutation testing, testing tool, integration testing, mutation analysis, Test adequacy criteria
4	Márcio Eduardo Delamaro, José Carlos Maldonado	Interface Mutation: Assessing Testing Quality at Interprocedural Level.	SCCC	1999	DBLP DOI BibTeX RDF	Interface Mutation, Software Testing, Mutation Testing, Software Testing Tool
4	A. Jefferson Offutt, Stephen D. Lee	An Empirical Evaluation of Weak Mutation.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	weak mutation, fault-based technique, unit-level software testing, computational savings, software engineering, efficiency, program testing, effectiveness, mutation testing
4	Robert Geist, A. Jefferson Offutt, Frederick C. Harris Jr.	Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	real-time software reliability, numerical estimates, synchronization structure, correlated sampling, module execution times, planetary lander control software, mutation-tested code, fault-tolerant software systems, simulation, computational complexity, Petri nets, fault tolerant computing, dependencies, software reliability, stochastic Petri net, mutation testing, software faults, mutation analysis, NASA
3	You Zhou, Ying Tan	Particle swarm optimization with triggered mutation and its implementation based on GPU.	GECCO	2010	DBLP DOI BibTeX RDF	particle swarm optimization, GPU, speedup, mutation
3	Peter Lisherness, Kwang-Ting (Tim) Cheng	SCEMIT: a systemc error and mutation injection tool.	DAC	2010	DBLP DOI BibTeX RDF	high-level synthesis, coverage, SystemC, mutation
3	Bernhard K. Aichernig, Jifeng He	Mutation testing in UTP.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Unifying theories of programming, Algebra of programming, Specification-based testing, Mutation testing, Refinement calculus, Fault-based testing
3	Xiaoqing Liu, Zhilong Xiu, Ce Hao	Drug-resistant molecular mechanism of CRF01_AE HIV-1 protease due to V82F mutation.	Journal of Computer-Aided Molecular Design	2009	DBLP DOI BibTeX RDF	CRF01_AE HIV-1 protease, Inhibitor, Mutation, Resistance, Molecular dynamics simulation
3	Arthur Gonçalves Carvalho, Aluizio F. R. Araújo	Improving NSGA-II with an adaptive mutation operator.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	adaptive mutation operator, evolutionary multiobjective optimization, parameter control
3	Jonathan Byrne, Michael O'Neill, Anthony Brabazon	Structural and nodal mutation in grammatical evolution.	GECCO	2009	DBLP DOI BibTeX RDF	genetic programming, locality, mutation, grammatical evolution
3	Edwin Roger Banks, Paul Agarwal, Marshall McBride, Claudette Owens	A comparison of selection, recombination, and mutation parameter importance over a set of fifteen optimization tasks.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	evolutionary computation survey, genetic algorithms, genetic programming, survey, selection, mutation, recombination
3	Yuelin Gao, Junmei Liu	A New Differential Evolution Algorithm with Random Mutation.	ICIC	2009	DBLP DOI BibTeX RDF	Weighted strategy, Exponent increased crossover probability, Random mutation, Global optimization, Differential evolution algorithm
3	David Schuler, Valentin Dallmeier, Andreas Zeller	Efficient mutation testing by checking invariant violations.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic invariants, mutation testing
3	Min Dong, Yan Wu	Dynamic Crossover and Mutation Genetic Algorithm Based on Expansion Sampling.	AICI	2009	DBLP DOI BibTeX RDF	expansion sampling, dynamic cross rate, dynamic mutation rate, genetic algorithm
3	Chengyu Hu, Xiangning Wu, Yongji Wang, Fuqiang Xie	Multi-swarm Particle Swarm Optimizer with Cauchy Mutation for Dynamic Optimization Problems.	ISICA	2009	DBLP DOI BibTeX RDF	multiple swarms, Cauchy mutation, dynamic optimization
3	David Schuler, Andreas Zeller	Javalanche: efficient mutation testing for Java.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	mutation testing
3	Chan-seok Jeong, Dongsup Kim	Linear predictive coding representation of correlated mutation for protein sequence alignment.	DTMBIO	2009	DBLP DOI BibTeX RDF	correlated mutation analysis, protein sequence alignment, linear predictive coding
3	Shufang Lee, Xiaoying Bai, Yinong Chen	Automatic Mutation Testing and Simulation on OWL-S Specified Web Services.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	Simulation, Ontology, Web services, Mutation testing, OWL-S
3	Martin V. Butz, Patrick O. Stalph, Pier Luca Lanzi	Self-adaptive mutation in XCSF.	GECCO	2008	DBLP DOI BibTeX RDF	self-adaptation, XCS, mutation, LCS
3	Bin Wang, Huazhong Shu, Bao-Sheng Li, Zhi-Mei Niu	A Mutation-Particle Swarm Algorithm for Error-Bounded Polygonal Approximation of Digital Curves.	ICIC	2008	DBLP DOI BibTeX RDF	Particle swarm optimization, Polygonal approximation, Mutation operators
3	Xueping Zhang, Hui Yin, Hongmei Zhang, Zhongshan Fan	Spatial Clustering with Obstacles Constraints by Hybrid Particle Swarm Optimization with GA Mutation.	ISNN	2008	DBLP DOI BibTeX RDF	K-Medoids, Mutation, Spatial clustering, Hybrid particle swarm optimization, Obstacles constraints
3	Kitsana Waiyamai, Peera Liewlom, Thanapat Kangkachit, Thanawin Rakthanmanon	Concept Lattice-Based Mutation Control for Reactive Motifs Discovery.	PAKDD	2008	DBLP DOI BibTeX RDF	mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, concept lattice, binding site
3	Luk Van Ertvelde, Lieven Eeckhout	Dispersing proprietary applications as benchmarks through code mutation.	ASPLOS	2008	DBLP DOI BibTeX RDF	benchmark generation, code mutation
3	Hossain Shahriar, Mohammad Zulkernine	Mutation-Based Testing of Buffer Overflow Vulnerabilities.	COMPSAC	2008	DBLP DOI BibTeX RDF	Mutation-based testing, Vulnerabilities, Buffer overflow
3	Chanchal Kumar Roy, James R. Cordy	Towards a mutation-based automatic framework for evaluating code clone detection tools.	C3S2E	2008	DBLP DOI BibTeX RDF	clone detection techniques, evaluation, software engineering, framework, maintenance, mutation analysis
3	Ming Yang, Jing Guan	Dynamic Clonal and Chaos-Mutation Evolutionary Algorithm for Function Optimization.	ISICA	2008	DBLP DOI BibTeX RDF	dynamic clone, chaos mutation, evolutionary algorithm, function optimization
3	Alessandro Marchetto	Talking about a Mutation-Based Reverse Engineering for Web Testing: A Preliminary Experiment.	SERA	2008	DBLP DOI BibTeX RDF	Web Applications, Model-based Testing, Mutation analysis
3	Akbar Siami Namin, James H. Andrews, Duncan J. Murdoch	Sufficient mutation operators for measuring test effectiveness.	ICSE	2008	DBLP DOI BibTeX RDF	mutation analysis, testing effectiveness
3	Millie Pant, Radha Thangaraj, Ajith Abraham	Particle Swarm Optimization Using Adaptive Mutation.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	particle swarm optimization, distribution, Evolutionary programming, adaptive mutation
3	Sai-Ho Ling, F. H. Frank Leung	An Improved Genetic Algorithm with Average-bound Crossover and Wavelet Mutation Operations.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Associative-memory neural network, Economic load dispatch, Mutation, Crossover, Real-coded genetic algorithm
3	Jorge Couchet, Daniel Manrique, Juan Rios, Alfonso Rodríguez-Patón	Crossover and mutation operators for grammar-guided genetic programming.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Breast cancer prognosis, Mutation, Crossover, Grammar-guided genetic programming
3	Kumara Sastry, David E. Goldberg	Let's get ready to rumble redux: crossover versus mutation head to head on exponentially scaled problems.	GECCO	2007	DBLP DOI BibTeX RDF	domino convergence, drift time, exponential scaling, noisy fitness functions, genetic algorithms, scaling, speedup, mutation, crossover, building blocks, salience, population sizing, efficiency enhancement, convergence time, scalability analysis
3	Eric Martin Heien, Tomoyuki Hiroyasu, Noriyuki Fujimoto	Investigation of mutation operators for the bayesian optimization algorithm.	GECCO	2007	DBLP DOI BibTeX RDF	mutation, Bayesian optimization algorithm, probabilistic model building genetic algorithm
3	Rob Mills, Richard A. Watson	Variable discrimination of crossover versus mutation using parameterized modular structure.	GECCO	2007	DBLP DOI BibTeX RDF	building block hypothesis, nearly decomposable systems, mutation, crossover
3	Kamel Ayari, Salah Bouktif, Giuliano Antoniol	Automatic mutation test input data generation via ant colony.	GECCO	2007	DBLP DOI BibTeX RDF	test input data generation, ant colony optimization, mutation testing, search based testing
3	Jani Rönkkönen, Jouni Lampinen	An extended mutation concept for the local selection based differential evolution algorithm.	GECCO	2007	DBLP DOI BibTeX RDF	selection, differential evolution, mutation
3	John Sanford, John Baumgardner, Wes Brewer, Paul Gibson, Walter ReMine	Using Computer Simulation to Understand Mutation Accumulation Dynamics and Genetic Load.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	genetic load, Mendel’s Accountant, mutation accumulation, simulation, population genetics
3	Kouji Harada, Yoshiteru Ishida	Mutation Probability Threshold of HIV for AIDS.	KES	2007	DBLP DOI BibTeX RDF	Antigenic Diversity Threshold, Mutation Probability Threshold, HIV, Immune System, AIDS
3	Evan Martin, Tao Xie	A fault model and mutation testing of access control policies.	WWW	2007	DBLP DOI BibTeX RDF	test generation, fault model, mutation testing, access control policies
3	Jie Li, Shitan Huang	Evolving in Extended Hamming Distance Space: Hierarchical Mutation Strategy and Local Learning Principle for EHW.	ICES	2007	DBLP DOI BibTeX RDF	extended Hamming distance space, hierarchical mutation, fitness effort, Evolvable Hardware, local learning
3	Qing Zhang, Changhe Li, Yong Liu, Lishan Kang	Fast Multi-swarm Optimization with Cauchy Mutation and Crossover Operation.	ISICA	2007	DBLP DOI BibTeX RDF	Cauchy mutation, Particle swarm optimization, swarm intelligence
3	Changhe Li, Yong Liu, Aimin Zhou, Lishan Kang, Hui Wang 0002	A Fast Particle Swarm Optimization Algorithm with Cauchy Mutation and Natural Selection Strategy.	ISICA	2007	DBLP DOI BibTeX RDF	Cauchy mutation, Particle swarm optimization, swarm intelligence
3	Li Jian, Wang Cheng	A Modified Particle Swarm Optimization with Adaptive Mutation Operator Selection.	IITA	2007	DBLP DOI BibTeX RDF	Particle swarm optimization, constrained optimization, mutation
3	Xiaoming You, Sheng Liu, Dianxun Shuai	Studying the Performance of Quantum Evolutionary Algorithm Based on Immune Theory.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Quantum evolutionary algorithm, Immune theory, Self-adaptive mutation, Cross-mutation, Performance
3	Hyunsook Do, Gregg Rothermel	On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	program mutation, empirical studies, Regression testing, test case prioritization
3	Kit Yan Chan, Mehmet Emin Aydin, Terence C. Fogarty	Main Effect Fine-tuning of the Mutation Operator and the Neighbourhood Function for Uncapacitated Facility Location Problems.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Uncapacitated facility location problem, Main effect, Genetic algorithm, Simulated annealing, Mutation rate
3	Christopher J. O. Baker, René Witte	Mutation Mining-A Prospector's Tale.	Information Systems Frontiers	2006	DBLP DOI BibTeX RDF	Protein structure annotation, Protein mutation, Haloalkane dehalogenase, Biphenyl dioxygenase, Xylanase, Data mining, Text mining
3	Jorge Cervantes, Christopher R. Stephens	"Optimal" mutation rates for genetic search.	GECCO	2006	DBLP DOI BibTeX RDF	effective fitness, error threshold, genetic algorithms, selection, mutation rate
3	Lee W. Jones, Sameer H. Al-Sakran, John R. Koza	Automated synthesis of a human-competitive solution to the challenge problem of the 2002 international optical design conference by means of genetic programming and a multi-dimensional mutation operation.	GECCO	2006	DBLP DOI BibTeX RDF	human-competitive result, international optical design conference, invention machine, optical lens system, genetic programming, automated design, mutation operation
3	Alan Piszcz, Terence Soule	A survey of mutation techniques in genetic programming.	GECCO	2006	DBLP DOI BibTeX RDF	genetic programming, mutation
3	Shengxiang Yang, Sima Uyar	Adaptive mutation with fitness and allele distribution correlation for genetic algorithms.	SAC	2006	DBLP DOI BibTeX RDF	fitness and allele distribution correlation, gene based adaptive mutation, genetic algorithms
3	Dana Vrajitoru, Jason DeBoni	Hybrid real-coded mutation for genetic algorithms applied to graph layouts.	GECCO	2005	DBLP DOI BibTeX RDF	real-coded mutation, graph theory
3	Ivan Tanev	Learned mutation strategies in genetic programming for evolution and adaptation of simulated snakebot.	GECCO	2005	DBLP DOI BibTeX RDF	Snakebot, context-sensitive grammar, mutation strategies, genetic programming, locomotion
3	Cláudio F. Lima, Kumara Sastry, David E. Goldberg, Fernando G. Lobo	Combining competent crossover and mutation operators: a probabilistic model building approach.	GECCO	2005	DBLP DOI BibTeX RDF	BB-wise mutation, competent genetic algorithms, hybridization, probabilistic model building genetic algorithms
3	Sima Uyar, Gülsen Eryigit	Improvements to penalty-based evolutionary algorithms for the multi-dimensional knapsack problem using a gene-based adaptive mutation approach.	GECCO	2005	DBLP DOI BibTeX RDF	multi-dimensional knapsack problem, penalty-based constraint handling, genetic algorithms, adaptive mutation
3	Thomas Jansen, Ulf Schellbach	Theoretical analysis of a mutation-based evolutionary algorithm for a tracking problem in the lattice.	GECCO	2005	DBLP DOI BibTeX RDF	offspring population size, tracking problems, dynamic optimization, run time analysis, mutation operators
3	Yuan Zhan, John A. Clark	Search-based mutation testing for Simulink models.	GECCO	2005	DBLP DOI BibTeX RDF	simulated annealing, automation, heuristic search, test-data generation, mutation testing, Matlab/Simulink
3	Alan Piszcz, Terence Soule	Genetic programming: parametric analysis of structure altering mutation techniques.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	genetic programming, mutation, parametric analysis
3	John Milton, Paul J. Kennedy, Heather Mitchell	The Effect of Mutation on the Accumulation of Information in a Genetic Algorithm.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF	genetic algorithm, Evolutionary computing, information theory, mutation
3	Inali Wisniewski Soares, Silvia Regina Vergilio	Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing.	J. Electronic Testing	2004	DBLP DOI BibTeX RDF	structural testing criteria, constraint-based testing, mutation testing
3	Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong	Mutation Testing Applied to Validate SDL Specifications.	TestCom	2004	DBLP DOI BibTeX RDF	SDL, Mutation Testing, Specification Testing
3	Bernhard K. Aichernig	Mutation Testing in the Refinement Calculus.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Formal specifications, Formal methods, Refinement, Abstraction, Test case generation, Mutation testing, Test coverage
3	Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack	Challenging Formal Specifications by Mutation: a CSP security example.	APSEC	2003	DBLP DOI BibTeX RDF	model checking, CSP, mutation testing, security properties
3	Gábor Kovács, Zoltán Pap, Dung Le Viet, Antal Wu-Hen-Chang, Gyula Csopaki	Applying Mutation Analysis to SDL Specifications.	SDL Forum	2003	DBLP DOI BibTeX RDF	Test Generation, Conformance Testing, SDL, Mutation Analysis, MSC, Test Selection
3	Roger T. Alexander, James M. Bieman, Sudipto Ghosh, Bixia Ji	Mutation of Java Objects.	ISSRE	2002	DBLP DOI BibTeX RDF	Java, software testing, object-oriented programming, testability, Faults, mutation analysis, test adequacy
3	Thilo Mahnig, Heinz Mühlenbein	Optimal Mutation Rate Using Bayesian Priors for Estimation of Distribution Algorithms.	SAGA	2001	DBLP DOI BibTeX RDF	Bayesian prior, estimation of distribution algorithm, mutation, univariate marginal distribution algorithm
3	Sudipto Ghosh, Aditya P. Mathur	Interface Mutation to Assess the Adequacy of Tests for Components and Systems.	TOOLS	2000	DBLP DOI BibTeX RDF	interface description language, test adequacy assessment, Component-based systems, mutation testing, distributed object systems
3	T. H. Tse, Xin Feng, Tsong Yueh Chen	On the Completeness of Test Cases for Atomic Arithmetic Expressions.	APAQS	2000	DBLP DOI BibTeX RDF	completeness of test cases, software testing, mutation testing, mutation operators, Arithmetic expressions
3	Ivan De Falco, Antonio Della Cioppa, Aniello Iazzetta, Ernesto Tarantino	A new mutation operator for evolutionary airfoil design.	Soft Comput.	1999	DBLP DOI BibTeX RDF	Co, airfoil optimization, inverse design, evolutionary algorithms, mutation
3	Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo Cesar Masiero, Márcio Eduardo Delamaro	Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing.	SCCC	1999	DBLP DOI BibTeX RDF	Software Testing, Tools, Finite State Machines, Reactive Systems, Mutation Testing
3	Peter Ross, Emma Hart	An Adaptive Mutation Scheme for a Penalty-Based Graph-Colouring GA.	PPSN	1998	DBLP DOI BibTeX RDF	graph colouring, penalty functions, adaptive mutation
3	Chouki Aktouf, Ghassan Al Hayek, Chantal Robach	Concurrent testing of VLSI digital signal processors using mutation based testing. (PDF / PS)	DFT	1997	DBLP DOI BibTeX RDF	VLSI digital signal processor, software technique, hardware device, fault latency, computation, DSP, fault coverage, Mutation testing, digital signal processing chips, concurrent testing
3	Roland H. Untch, A. Jefferson Offutt, Mary Jean Harrold	Mutation Analysis Using Mutant Schemata.	ISSTA	1993	DBLP DOI BibTeX RDF	program schemata, software testing, mutation analysis, fault-based testing
3	Roland H. Untch	Mutation-based software testing using program schemata.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	program schemata, software testing, mutation analysis, Fault-based testing
2	Yue Jia, Mark Harman	An Analysis and Survey of the Development of Mutation Testing.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF	survey, Mutation testing
2	Eirini Vouliouri	Towards the Creation of Learning Environments: Exploring the Potentialities of the Weighted Mutation Interactive Genetic Algorithm.	Intelligent Environments	2011	DBLP DOI BibTeX RDF	Weighted Mutation, Human-Computer Interaction, Learning Environment, Interactive Evolution
2	Vidroha Debroy, W. Eric Wong	Using Mutation to Automatically Suggest Fixes for Faulty Programs.	ICST	2010	DBLP DOI BibTeX RDF	fault-fixing, software testing, program debugging, fault localization, mutation
2	Milos Gligoric, Vilas Jagannath, Darko Marinov	MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code.	ICST	2010	DBLP DOI BibTeX RDF	multithreaded code, efficient exploration, mutant execution, mutation testing
2	Fevzi Belli, Mutlu Beyazit	A Formal Framework for Mutation Testing.	SSIRI	2010	DBLP DOI BibTeX RDF	(model-based) mutation testing, formal/regular grammar, manipulation operator, test generation, directed graph, test coverage
2	Friedrich Steimann, Andreas Thies	From behaviour preservation to behaviour modification: constraint-based mutant generation.	ICSE	2010	DBLP DOI BibTeX RDF	testing, accessibility, object-oriented programming, constraints, refactoring, mutation analysis
2	Lu Zhang 0023, Shan-Shan Hou, Jun-Jue Hu, Tao Xie, Hong Mei	Is operator-based mutant selection superior to random mutant selection?	ICSE	2010	DBLP DOI BibTeX RDF	test-adequacy criterion, mutation testing
2	Robin Abraham, Martin Erwig	Mutation Operators for Spreadsheets.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
2	Pavel V. Zbitskiy	Code mutation techniques by means of formal grammars and automatons.	Journal in Computer Virology	2009	DBLP DOI BibTeX RDF
2	Philippe Beaucamps	Extended recursion-based formalization of virus mutation.	Journal in Computer Virology	2009	DBLP DOI BibTeX RDF
2	Michael F. Korns	Mutation and crossover with abstract expression grammars.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	abstract expression grammars, genetic programming, differential evolution, symbolic regression, particle swarm
2	David Robert White, Simon M. Poulding	A Rigorous Evaluation of Crossover and Mutation in Genetic Programming.	EuroGP	2009	DBLP DOI BibTeX RDF
2	Thomas Ruschival, Philipp Nenninger, Florian Kantz, Detlef Streitferdt	Test Case Mutation in Hybrid State Space for Reduction of No-Fault-Found Test Results in the Industrial Automation Domain.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Changbin Ji, Zhenyu Chen, Baowen Xu, Ziyuan Wang	A New Mutation Analysis Method for Testing Java Exception Handling.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Fabio Musso, Giovanni Feverati	A Proposal for an Optimal Mutation Probability in an Evolutionary Model Based on Turing Machines.	IDEAL	2009	DBLP DOI BibTeX RDF
2	Min Yang, Huixian Huang, Guizhi Xiao	A Novel Dynamic Particle Swarm Optimization Algorithm Based on Chaotic Mutation.	WKDD	2009	DBLP DOI BibTeX RDF