|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2258 occurrences of 1013 keywords
|
|
|
Results
Found 5362 publication records. Showing 5362 according to the selection in the facets
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 |
|
Displaying result #301 - #400 of 5362 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|