Search results for "Mutation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	David J. Winter, Steven H. Wu, Abigail A. Howell, Ricardo B. R. Azevedo, Rebecca A. Zufall, Reed A. Cartwright	accuMUlate: a mutation caller designed for mutation accumulation experiments.	Bioinform.	2018	DBLP DOI BibTeX RDF
21	Michael Siderius, Filip Jagodzinski	Mutation Sensitivity Maps: Identifying Residue Substitutions That Impact Protein Structure Via a Rigidity Analysis In Silico Mutation Approach.	J. Comput. Biol.	2018	DBLP DOI BibTeX RDF
21	André Assis Lôbo de Oliveira, Celso G. Camilo-Junior, Eduardo Noronha de Andrade Freitas, Auri Marcelo Rizzo Vincenzi	FTScMES: A New Mutation Execution Strategy Based on Failed Tests' Mutation Score for Fault Localization.	ISCIS	2018	DBLP DOI BibTeX RDF
21	Daniel Morillo 0001, Federico Barber, Miguel A. Salido	Chromosome Mutation vs. Gene Mutation in Evolutive Approaches for Solving the Resource-Constrained Project Scheduling Problem (RCPSP).	IEA/AIE	2018	DBLP DOI BibTeX RDF
21	Antonio Jimeno-Yepes, Andrew D. MacKinlay, Natalie Gunn, Christine Schieber, Noel Faux, Matthew Downton, Benjamin Goudey, Richard L. Martin	A hybrid approach for automated mutation annotation of the extended human mutation landscape in scientific literature.	AMIA	2018	DBLP BibTeX RDF
21	Quang Vu Nguyen 0001, Lech Madeyski	Addressing mutation testing problems by applying multi-objective optimization algorithms and higher order mutation.	J. Intell. Fuzzy Syst.	2017	DBLP DOI BibTeX RDF
21	Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez	Assessment of class mutation operators for C++ with the MuCPP mutation system.	Inf. Softw. Technol.	2017	DBLP DOI BibTeX RDF
21	Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez	Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184].	Inf. Softw. Technol.	2017	DBLP DOI BibTeX RDF
21	Pedro Delgado-Pérez, Sergio Segura, Inmaculada Medina-Bulo	Assessment of C++ object-oriented mutation operators: A selective mutation approach.	Softw. Test. Verification Reliab.	2017	DBLP DOI BibTeX RDF
21	Björn Lisper, Birgitta Lindström, Pasqualina Potena, Mehrdad Saadatmand, Markus Bohlin	Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties.	ICST Workshops	2017	DBLP DOI BibTeX RDF
21	Adrien Mazoyer	Modèles de mutation: étude probabiliste et estimation paramétrique. (Mutation models: probabilistic study and parameter estimation).		2017	RDF
21	Ali Parsai, Alessandro Murgia, Serge Demeyer	A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage.	CoRR	2016	DBLP BibTeX RDF
21	Simanti Bhattacharya, Amit Das, Angshuman Bagchi	In-silico structural analysis of E509K mutation in LARGE and T192M mutation in Alpha Dystroglycan in the inhibition of glycosylation of Alpha Dystroglycan by LARGE.	Comput. Biol. Chem.	2016	DBLP DOI BibTeX RDF
21	Pei Gong, Chuyao Geng, Junxia Guo, Ruilian Zhao	针对基于变异错误定位的一种动态变异执行策略 (Dynamic Mutation Execution Strategy for Mutation-based Fault Localization).	计算机科学	2016	DBLP DOI BibTeX RDF
21	Benjamin Doerr, Carola Doerr, Jing Yang 0016	k-Bit Mutation with Self-Adjusting k Outperforms Standard Bit Mutation.	PPSN	2016	DBLP DOI BibTeX RDF
21	Anna Derezinska	Evaluation of Deletion Mutation Operators in Mutation Testing of C# Programs.	DepCoS-RELCOMEX	2016	DBLP DOI BibTeX RDF
21	Ali Parsai, Alessandro Murgia, Serge Demeyer	A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage.	QRS	2016	DBLP DOI BibTeX RDF
21	René Just, Franz Schweiggert	Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators.	Softw. Test. Verification Reliab.	2015	DBLP DOI BibTeX RDF
21	Pei Gong, Ruilian Zhao, Zheng Li 0002	Faster mutation-based fault localization with a novel mutation execution strategy.	ICST Workshops	2015	DBLP DOI BibTeX RDF
21	Rafael A. P. Oliveira, Emil Alégroth, Zebao Gao, Atif M. Memon	Definition and evaluation of mutation operators for GUI-level mutation analysis.	ICST Workshops	2015	DBLP DOI BibTeX RDF
21	Weijie Zheng 0001, Haohuan Fu, Guangwen Yang	Targeted Mutation: A Novel Mutation Strategy for Differential Evolution.	ICTAI	2015	DBLP DOI BibTeX RDF
21	Jinfu Chen 0001, Qing Li, Chengying Mao, Dave Towey, Yongzhao Zhan, Huanhuan Wang	A Web services vulnerability testing approach based on combinatorial mutation and SOAP message mutation.	Serv. Oriented Comput. Appl.	2014	DBLP DOI BibTeX RDF
21	Quang Vu Nguyen 0001, Lech Madeyski	Problems of Mutation Testing and Higher Order Mutation Testing.	ICCSAMA	2014	DBLP DOI BibTeX RDF
21	Mike Papadakis, Yves Le Traon	Effective fault localization via mutation analysis: a selective mutation approach.	SAC	2014	DBLP DOI BibTeX RDF
21	Mike Papadakis, Tejeddine Mouelhi, Haitao Dan	MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis.	ICST Workshops	2014	DBLP DOI BibTeX RDF
21	René Just	The major mutation framework: efficient and scalable mutation analysis for Java.	ISSTA	2014	DBLP DOI BibTeX RDF
21	Alireza Hadj Khodabakhshi, Anthony P. Fejes, Inanç Birol, Steven J. M. Jones	Identifying cancer mutation targets across thousands of samples: MuteProc, a high throughput mutation analysis pipeline.	BMC Bioinform.	2013	DBLP DOI BibTeX RDF
21	Carlos M. Fernandes 0001, Juan Luis Jiménez Laredo, Agostinho C. Rosa, Juan Julián Merelo Guervós	The sandpile mutation Genetic Algorithm: an investigation on the working mechanisms of a diversity-oriented and self-organized mutation operator for non-stationary functions.	Appl. Intell.	2013	DBLP DOI BibTeX RDF
21	Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser 0001	Special section on Mutation testing (Mutation 2010).	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
21	Sang-Woon Kim, Yu-Seung Ma, Yong Rae Kwon	Combining weak and strong mutation for a noninterpretive Java mutation system.	Softw. Test. Verification Reliab.	2013	DBLP DOI BibTeX RDF
21	Hua Tan, Jiguang Bao, Xiaobo Zhou 0001	A novel missense-mutation-related feature extraction scheme for 'driver' mutation identification.	Bioinform.	2012	DBLP DOI BibTeX RDF
21	René Just, Gregory M. Kapfhammer, Franz Schweiggert	Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis.	ISSRE	2012	DBLP DOI BibTeX RDF
21	Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt	A logic mutation approach to selective mutation for programs and queries.	Inf. Softw. Technol.	2011	DBLP DOI BibTeX RDF
21	Fevzi Belli, Mutlu Beyazit	Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison.	COMPSAC	2011	DBLP DOI BibTeX RDF
21	René Just, Gregory M. Kapfhammer, Franz Schweiggert	Using conditional mutation to increase the efficiency of mutation analysis.	AST	2011	DBLP DOI BibTeX RDF
21	Yu-Xuan Wang, Qiao-Liang Xiang, Zhen-Dong Zhao	Particle swarm optimizer with adaptive tabu and mutation: A unified framework for efficient mutation operators.	ACM Trans. Auton. Adapt. Syst.	2010	DBLP DOI BibTeX RDF
21	Mutlu Beyazit, Timon Sebastian Deistler, Nida Gökçe	Event-Based Mutation Testing vs. State-Based Mutation Testing - Comparison Using a Web-based System.	GI Jahrestagung (2)	2010	DBLP BibTeX RDF
21	Jorge dos Santos Ferreira, Yoann O'Donoghue, Richard H. Middleton	Analysis of HIV mutation dynamics for a linear mutation tree.	CDC	2009	DBLP DOI BibTeX RDF
21	David W. Corne, Martin J. Oates, Douglas B. Kell	Fitness Gains and Mutation Patterns: Deriving Mutation Rates by Exploiting Landscape Data.	FOGA	2002	DBLP BibTeX RDF
21	W. Eric Wong	Editorial: Mutation 2000 - A Symposium on Mutation Testing.	Softw. Test. Verification Reliab.	2001	DBLP DOI BibTeX RDF
21	Elfurjani Sassi Mresa, Leonardo Bottaci	Efficiency of Mutation Operators and Selective Mutation Strategies: An Empirical Study.	Softw. Test. Verification Reliab.	1999	DBLP DOI BibTeX RDF
21	Piotr M. Nowacki, Susan Byck, Lynne Prevost, Charles R. Scriver	PAH Mutation Analysis Consortium Database: 1997. Prototype for relational locus-specific mutation databases.	Nucleic Acids Res.	1998	DBLP DOI BibTeX RDF
21	Geoffrey Kemball-Cook, Edward G. D. Tuddenham	The Factor VIII Mutation Database on the World Wide Web: the haemophilia A mutation, search, test and resource site. HAMSTeRS update (version 3.0).	Nucleic Acids Res.	1997	DBLP DOI BibTeX RDF
21	Adam I. Wacey, Geoffrey Kemball-Cook, Haig H. Kazazian, Stylianos E. Antonarakis, Rainer Schwaab, Peter Lindley, Edward G. D. Tuddenham	The haemophilia A mutation search test and resource site, home page of the factor VIII mutation database: HAMSTeRS.	Nucleic Acids Res.	1996	DBLP DOI BibTeX RDF
20	Friedrich Steimann, Andreas Thies	From behaviour preservation to behaviour modification: constraint-based mutant generation.	ICSE (1)	2010	DBLP DOI BibTeX RDF	testing, accessibility, object-oriented programming, constraints, refactoring, mutation analysis
20	Hongfeng Wang, Dingwei Wang, Shengxiang Yang	A memetic algorithm with adaptive hill climbing strategy for dynamic optimization problems.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Crossover-basedhill climbing, Mutation-based hill climbing, Dual mapping, Triggeredrandom immigrants, Genetic algorithm, Local search, Memetic algorithm, Dynamic optimization problems
20	Glen MacDonald, Gu Fang	Effects of Diversity on Optimality in GA.	AICI	2009	DBLP DOI BibTeX RDF	Genetic Algorithms, optimality, diversity, mutation
20	Dongxiao Niu, Zhihong Gu, Yunyun Zhang	An AFSA-TSGM Based Wavelet Neural Network for Power Load Forecasting.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Genetic mutation operator, AFSA, Power load forecasting, Tabu search, Wavelet neural networks
20	Ling-Li Zeng, Fengxing Zou, Xiaohong Xu	Mathematical model and hybrid particle swarm optimization for flexible job-shop scheduling problem.	GEC Summit	2009	DBLP DOI BibTeX RDF	hybrid integer programming model, crossover operator, mutation operator, hybrid particle swarm optimization, flexible job-shop scheduling
20	Stephan Weißleder	Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation.	MoDELS	2009	DBLP DOI BibTeX RDF	Industrial Cooperation, Model-Based Testing, State Machines, Mutation Analysis, Coverage Criteria
20	Cameron E. Freer, Daniel M. Roy 0001	Computable Exchangeable Sequences Have Computable de Finetti Measures.	CiE	2009	DBLP DOI BibTeX RDF	de Finetti, computable probability theory, probabilistic programming languages, mutation, exchangeability
20	Sam Chau Duong, Hiroshi Kinjo, Eiho Uezato, Tetsuhiko Yamamoto	On the Continuous Control of the Acrobot via Computational Intelligence.	IEA/AIE	2009	DBLP DOI BibTeX RDF	Acrobot, underactuated system, genetic algorithms, intelligent control, neurocontroller, adaptive mutation
20	Alexandre de Castro, Carlos Frederico Fronza, Poliana Fernanda Giachetto, Domingos Alves	Influence of Antigenic Mutations in Time Evolution of the Immune Memory - A Dynamic Modeling.	BSB	2009	DBLP DOI BibTeX RDF	Viral mutation, B-cell evolution, Dynamic model, Antibodies, Immune memory
20	Mark Hennessy, James F. Power	Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Grammar-based software, Rule coverage, Software testing, Mutation testing, Test suite reduction
20	M. Senthil Arumugam, M. V. C. Rao, Aarthi Chandramohan	A new and improved version of particle swarm optimization algorithm with global-local best parameters.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Bench mark problems, Inertia weight, Acceleration coefficient, Cross-over operators, RMS variants, Particle swarm optimization (PSO), Mutation operators
20	Atul Gupta, Pankaj Jalote	An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Coverage based testing, Statistical analysis, Test case generation, Experimental evaluation, Coverage criteria, Mutation operators
20	Boris Mitavskiy, Jonathan E. Rowe, Alden H. Wright, Lothar M. Schmitt	Quotients of Markov chains and asymptotic properties of the stationary distribution of the Markov chain associated to an evolutionary algorithm.	Genet. Program. Evolvable Mach.	2008	DBLP DOI BibTeX RDF	Uniform population, Evolutionary algorithm, Markov chain, Stationary distribution, Selection pressure, Asymptotics, Coarse graining, Quotient, Mutation rate
20	Olivier François	Convergence Analysis of Evolution Strategies with Random Numbers of Offspring.	PPSN	2008	DBLP DOI BibTeX RDF	Discrete Optimisation, Convergence Theory, Mutation or Selection, Markov Chains, Evolution Strategies, Large Deviations
20	Michael Ellims, Darrel C. Ince, Marian Petre	The Effectiveness of T-Way Test Data Generation.	SAFECOMP	2008	DBLP DOI BibTeX RDF	t-way testing, Software testing, random testing, unit test, mutation, combinatorial design, automated test generation, pairwise testing
20	Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon	Model-Based Tests for Access Control Policies.	ICST	2008	DBLP DOI BibTeX RDF	Access Control, Model-Based Testing, Mutation Testing, Combinatorial Testing
20	Yuan Shi, Zhen-zhong Lan, Xiang-hu Feng	Differential Evolution Based on Improved Learning Strategy.	PRICAI	2008	DBLP DOI BibTeX RDF	mutation scheme, Differential evolution, learning strategy
20	Jana Jilková, Zbynek Raida	Waveguide Synthesis by Genetic Algorithms with Multiple Crossover.	ICES	2008	DBLP DOI BibTeX RDF	multipoint operators, waveguide, genetic algorithm, Optimization, mutation, crossover
20	Hidenori Komatsu, Yasuhiro Hashimoto, Yu Chen 0007, Hirotada Ohashi	An evolvability-enhanced artificial embryogeny for generating network structures.	GECCO	2008	DBLP DOI BibTeX RDF	evolutionary algorithm, mutation, network structure, artificial embryogeny
20	Adel Torkaman Rahmani, B. Hoda Helmi	EIN-WUM: an AIS-based algorithm for web usage mining.	GECCO	2008	DBLP DOI BibTeX RDF	artificial immune system, web usage mining, danger theory, directed mutation
20	Zuan Zhou, Guangming Dai, Pan Fang, Fangjie Chen, Yi Tan	An Improved Hybrid Multi-objective Particle Swarm Optimization Algorithm.	ISICA	2008	DBLP DOI BibTeX RDF	orthogonal initialization, Cauchy mutation, Particle swarm optimization, multi-objective optimization
20	Sourabh Bhattacharya, Alan E. Gelfand, Kent E. Holsinger	Model fitting and inference under latent equilibrium processes.	Stat. Comput.	2007	DBLP DOI BibTeX RDF	Allele, Migration, Mutation, MCMC, Bayesian hierarchical model
20	Martin V. Butz, David E. Goldberg, Pier Luca Lanzi, Kumara Sastry	Problem solution sustenance in XCS: Markov chain analysis of niche support distributions and the impact on computational complexity.	Genet. Program. Evolvable Mach.	2007	DBLP DOI BibTeX RDF	Solution sustenance, Learning classifier systems, XCS, Mutation, LCS, Niching, Markov chain analysis
20	Qing Li 0015, Yixin Yin, Zhiliang Wang, Guangjun Liu	Comparative Studies of Fuzzy Genetic Algorithms.	ISNN (2)	2007	DBLP DOI BibTeX RDF	crossover probability, mutation probability, genetic algorithm, fuzzy logic
20	Xinmei Liu, Jinrong Su, Yan Han	An Improved Particle Swarm Optimization for Traveling Salesman Problem.	ICIC (2)	2007	DBLP DOI BibTeX RDF	Particle swarm optimization, Traveling salesman problem, Greedy algorithm, Mutation, Crossover
20	Richard A. Watson, Thomas Jansen 0001	A building-block royal road where crossover is provably essential.	GECCO	2007	DBLP DOI BibTeX RDF	building block hypothesis, genetic algorithms theory, royal roads, modularity, mutation, crossover
20	Tian Xia, Wenzhong Guo, Guolong Chen	An Improved Particle Swarm Optimization for Data Streams Scheduling on Heterogeneous Cluster.	ISICA	2007	DBLP DOI BibTeX RDF	data streams scheduling, transgenic operator, particle swarm optimization, heterogeneous cluster, mutation operator
20	Kalpesh Kapoor	Formal Analysis of Coupling Hypothesis for Logical Faults.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Logical fault, Software testing, Mutation testing, Fault-based testing, Boolean specification
20	Christiaan V. Henkel, Grzegorz Rozenberg, Herman P. Spaink	Application of Mismatch Detection Methods in DNA Computing.	Nat. Comput.	2006	DBLP DOI BibTeX RDF	mismatch detection, mutation detection, DNA computing, DNA hybridization
20	Chong Wang, Antje Krause, Chris D. Nugent, Werner Dubitzky	Markov Modeling of Conformational Kinetics of Cardiac Ion Channel Proteins.	ISBMDA	2006	DBLP DOI BibTeX RDF	time constant, Markov model, mutation, conformation, ion channel
20	Sergey V. Zelenov, Sophia A. Zelenova	Automated Generation of Positive and Negative Tests for Parsers.	FATES	2005	DBLP DOI BibTeX RDF	specification-based test generation, coverage criterion, compiler testing, positive tests, negative tests, BNF grammar, formal language, mutation testing, parser
20	François-Joseph Lapointe	Choreogenetics: the generation of choreographic variants through genetic mutations and selection.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	mutation models, sequence evolution, simulation, information theory, aesthetics, choreography, dance
20	A. K. Bhatia, Sandip K. Basu	Tackling 0/1 knapsack problem with gene induction.	Soft Comput.	2003	DBLP DOI BibTeX RDF	0/1 knapsack problem, Heuristic mutation, Genetic algorithm, Constrained optimization
20	Karl-Heinz Zimmermann	A Special Purpose Array Processor Architecture for the Molecular Dynamics Simulation of Point-Mutated Proteins.	J. VLSI Signal Process.	2003	DBLP DOI BibTeX RDF	point mutation, penicillin amidase, parallel processing, molecular dynamics, protein, array processor
20	Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Cai	An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering.	ISSRE	2003	DBLP DOI BibTeX RDF	data flow coverage testing, empirical study, software fault tolerance, mutation testing
20	Larry Bull	On accuracy-based fitness.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Multi-step, Markov chain, Generalization, Selection, mutation
20	Sudipto Ghosh	Towards Measurement of Testability of Concurrent Object-Oriented Programs Using Fault Insertion: A Preliminary Investigation.	SCAM	2002	DBLP DOI BibTeX RDF	Java, software testing, Concurrent programs, testability, faults, mutation analysis, test adequacy
20	Gautam Garai, B. B. Chaudhuri 0001	A Cascaded Genetic Algorithm for Efficient Optimization and Pattern Matching.	ICAPR	2001	DBLP DOI BibTeX RDF	dot pattern matching, Genetic algorithm, optimization, mutation, search technique, chromosome
20	Paul Ammann, Wei Ding 0003, Daling Xu	Using a Model Checker to Test Safety Properties.	ICECCS	2001	DBLP DOI BibTeX RDF	Model checking, Software testing, Safety, Mutation analysis
20	Chaochang Chiu, Jih-Tay Hsu, Chih-Yung Lin	The Application of Genetic Programming in Milk Yield Prediction for Dairy Cows.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF	dynamic mutation, milk yield prediction, Genetic programming
20	Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Jefferson Offutt	Evaluation of Three Specification-Based Testing Criteria.	ICECCS	2000	DBLP DOI BibTeX RDF	PROBSUBSUMES measure, specification-mutation coverage, full predicate coverage, transition-pair coverage, program testing, specification-based testing, testing criteria, model checker
20	Ghassan Al Hayek, Chantal Robach	From Design Validation to Hardware Testing: A Unified Approach.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	VHDL, mutation testing, design validation
20	Yuntao Cui, Qian Huang	Automatic license extraction from moving vehicles.	ICIP (3)	1997	DBLP DOI BibTeX RDF	automatic license extraction, moving vehicles, license plate localization, perspective distortion correction, pixel label assignment, a posteriori probability, local greedy mutation operator, genetic algorithm, performance, feature extraction, image sequence, Markov random field, binarization, objective function, feature tracking, road vehicles, MRF modeling
20	Yuntao Cui, Qian Huang	Character extraction of license plates from video.	CVPR	1997	DBLP DOI BibTeX RDF	license plates from video, moving vehicle, perspective distortion corrected license plate images, a posteriori probability, local greedy mutation operator, genetic algorithm, Markov random field, character recognition, character extraction
20	Dennis B. Mulcare	System-level optimization of architectural performance under varying service demands.	ECBS	1996	DBLP DOI BibTeX RDF	system-level optimization, architectural performance, varying service demands, cost-performance measures, dynamic performance, varying workload, system resource parameters, architecture parameters, online transaction processing system, fitness metric, fitness ranking, multiple mutation operator mechanism, genetic algorithms, genetic algorithm, optimization, distributed processing, convergence, system design, systems analysis, performance measures, transaction processing, software performance evaluation, software prototyping, tolerances, online operation, chromosome, distributed system architectures
20	Ghassan Al Hayek, Yves Le Traon, Chantal Robach	Considering Test Economics in the Process of Hardware/Software Partitioning.	EUROMICRO	1996	DBLP DOI BibTeX RDF	hardware/software testing, specifications, logic testing, estimate, testability, co-design, mutation-test, hardware/software partitioning, test economics
20	Aki Watanabe, Ken Sakamura	A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.	ICSE	1996	DBLP BibTeX RDF	ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
20	Anup Kumar, Alok Srivastava, Aditi Singru, R. K. Ghosh	Robust and Distributed Genetic Algorithm for Ordering Problems.	HPDC	1996	DBLP DOI BibTeX RDF	ordering problems, consistent results, Distributed GA, simple crossover scheme, genetic algorithms, fault tolerance, distributed system, distributed algorithms, probability, travelling salesman problems, Traveling Salesman Problem, TSP, dynamic reconfiguration, mutation, crossover, operations research, distributed genetic algorithm
20	Andrej Zemva, Franc Brglez	Detectable perturbations: a paradigm for technology-specific multi-fault test generation.	VTS	1995	DBLP DOI BibTeX RDF	detectable perturbations, technology-specific multi-fault test generation, multiple bridging, open faults, single-output modules, multi-output modules, mutation faults, technology-mapped cells, fault diagnosis, logic testing, integrated circuit testing, combinational circuits, combinational circuits, automatic testing, stuck-at faults, cellular arrays, benchmark circuits, generic system
20	Khushro Shahookar, Pinaki Mazumder	Genetic multiway partitioning.	VLSI Design	1995	DBLP DOI BibTeX RDF	genetic multiway partitioning, result quality, binary chromosome, bit-mask operations, net cut evaluation, MCNC benchmark circuits, cut size, genetic algorithms, VLSI, VLSI, CAD, software tools, software tool, logic CAD, mutation, circuit CAD, crossover, cellular arrays, cost function, circuit optimisation, logic partitioning, multiple objectives, bipartitioning
20	Phyllis G. Frankl, Elaine J. Weyuker	Provable Improvements on Branch Testing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software test data adequacy, independent random selection, condition-coverage techniques, software testing, program testing, programming theory, program debugging, mutation testing, test suite, data flow testing, fault-detecting ability, probabilistic measure, branch testing
20	Richard A. DeMillo, A. Jefferson Offutt	Experimental Results from an Automatic Test Case Generator.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	constraints, mutation analysis, adequacy
20	Richard A. DeMillo, A. Jefferson Offutt	Constraint-Based Automatic Test Data Generation.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	constraint-based data generation, relative adequacy, fault-based technique, algebraic constraints, Godzilla, module testing, Mothra testing system, computational complexity, program testing, mutation analysis, automatic test data generation
19	Thomas Voß, Nikolaus Hansen, Christian Igel	Improved step size adaptation for the MO-CMA-ES.	GECCO	2010	DBLP DOI BibTeX RDF	mo-cma-es, step size adaptation, multi-objective optimization, evolution strategy, covariance matrix adaptation
19	Daniel Johannsen, Piyush P. Kurur, Johannes Lengler	Can quantum search accelerate evolutionary algorithms?	GECCO	2010	DBLP DOI BibTeX RDF	theory, quantum algorithm, running time analysis
19	Grégoire Jacob, Eric Filiol, Hervé Debar	Functional polymorphic engines: formalisation, implementation and use cases.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF