Works matching DE "MUTATION testing of computer software"
Results: 119
MUTATION TESTING: OBJECT-ORIENTED MUTATION AND TESTING TOOLS.
- Published in:
- Journal of Information Technology & Applications, 2011, v. 1, n. 2, p. 105
- By:
- Publication type:
- Article
EDITORIAL.
- Published in:
- Journal of Information Technology & Applications, 2011, v. 1, n. 2, p. 83
- By:
- Publication type:
- Article
Evaluating network test scenarios for network simulators systems.
- Published in:
- International Journal of Distributed Sensor Networks, 2017, v. 13, n. 10, p. 1, doi. 10.1177/1550147717738216
- By:
- Publication type:
- Article
CHOMK: Concurrent Higher-Order Mutants Killing Using Genetic Algorithm.
- Published in:
- Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ), 2018, v. 43, n. 12, p. 7907, doi. 10.1007/s13369-018-3226-y
- By:
- Publication type:
- Article
Reducing the Cost of Higher-Order Mutation Testing.
- Published in:
- Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ), 2018, v. 43, n. 12, p. 7473, doi. 10.1007/s13369-018-3108-3
- By:
- Publication type:
- Article
A Mutation-Based Approach for Testing AsmetaL Specifications.
- Published in:
- Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ), 2015, v. 40, n. 12, p. 3523, doi. 10.1007/s13369-015-1832-5
- By:
- Publication type:
- Article
Mutation Testing for Effective Verification of Digital Components of Physical Systems.
- Published in:
- Russian Physics Journal, 2015, v. 58, n. 8, p. 1128, doi. 10.1007/s11182-015-0622-6
- By:
- Publication type:
- Article
Innovative Verzahnung der medizinischen Diagnostik im Sonic-Healthcare-Verbund.
- Published in:
- Trillium-Diagnostik, 2019, v. 17, n. 2, p. 86
- By:
- Publication type:
- Article
Genetic algorithms applied in online autotuning PID parameters of a liquid-level control system.
- Published in:
- Transactions of the Institute of Measurement & Control, 2003, v. 25, n. 5, p. 433, doi. 10.1191/0142331203tm0098oa
- By:
- Publication type:
- Article
Certain Investigations on Reducing the Cost of Mutation Testing by Substitute Optimization Method.
- Published in:
- Journal of Algebraic Statistics, 2022, v. 13, n. 3, p. 764
- By:
- Publication type:
- Article
Experimental Evaluation of Redundancy in Android Mutation Testing.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2018, v. 28, n. 11/12, p. 1597, doi. 10.1142/S0218194018400193
- By:
- Publication type:
- Article
Software Product Line Testing Based on Feature Model Mutation.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 5, p. 817, doi. 10.1142/S0218194017500309
- By:
- Publication type:
- Article
Dynamic Path Planning Algorithm for a Mobile Robot Based on Visible Space and an Improved Genetic Algorithm.
- Published in:
- International Journal of Advanced Robotic Systems, 2016, v. 13, n. 3, p. 1, doi. 10.5772/63484
- By:
- Publication type:
- Article
Correlating automatic static analysis and mutation testing: towards incremental strategies.
- Published in:
- Journal of Software Engineering Research & Development, 2016, v. 4, n. 1, p. 1, doi. 10.1186/s40411-016-0031-8
- By:
- Publication type:
- Article
Distinguishing extended finite state machine configurations using predicate abstraction.
- Published in:
- Journal of Software Engineering Research & Development, 2016, v. 4, n. 1, p. 1, doi. 10.1186/s40411-016-0027-4
- By:
- Publication type:
- Article
A multi-objective test data generation approach for mutation testing of feature models.
- Published in:
- Journal of Software Engineering Research & Development, 2016, v. 4, n. 1, p. 1, doi. 10.1186/s40411-016-0030-9
- By:
- Publication type:
- Article
SCREEN ELEMENT SHAPE "R73" MUTATION.
- Published in:
- DAAAM International Scientific Book, 2009, p. 763, doi. 10.2507/daaam.scibook.2009.73
- By:
- Publication type:
- Article
Survey on Mutation-based Test Data Generation.
- Published in:
- International Journal of Electrical & Computer Engineering (2088-8708), 2015, v. 5, n. 5, p. 1164
- By:
- Publication type:
- Article
Parallel Mutant Execution Techniques in Mutation Testing Process for Simulink Models.
- Published in:
- Journal of Telecommunications & Information Technology, 2017, n. 4, p. 90, doi. 10.26636/jtit.2017.113617
- By:
- Publication type:
- Article
Self-Adaptive Stable Mutation Based on Discrete Spectral Measure for Evolutionary Algorithms.
- Published in:
- Journal of Telecommunications & Information Technology, 2011, v. 2011, n. 4, p. 11, doi. 10.26636/jtit.2011.4.1172
- By:
- Publication type:
- Article
Selecting a software engineering tool: lessons learnt from mutation analysis.
- Published in:
- Software: Practice & Experience, 2015, v. 45, n. 7, p. 875, doi. 10.1002/spe.2312
- By:
- Publication type:
- Article
On the use of mutations and testing for debugging.
- Published in:
- Software: Practice & Experience, 2013, v. 43, n. 9, p. 1121, doi. 10.1002/spe.1142
- By:
- Publication type:
- Article
Linguistic security testing for text communication protocols.
- Published in:
- Software: Practice & Experience, 2013, v. 43, n. 9, p. 1103, doi. 10.1002/spe.2108
- By:
- Publication type:
- Article
Mutation Reporter Tool: An online tool to interrogate loci of interest, with its utility demonstrated using hepatitis B virus.
- Published in:
- Virology Journal, 2013, v. 10, n. 1, p. 1, doi. 10.1186/1743-422X-10-62
- By:
- Publication type:
- Article
Appropriate In Vitro Methods for Genotoxicity Testing of Silver Nanoparticles.
- Published in:
- Environmental Health & Toxicology, 2013, v. 28, p. 1, doi. 10.5620/eht.2013.28.e2013003
- By:
- Publication type:
- Article
An Empirical Study on Mutation Testing of WS-BPEL Programs.
- Published in:
- Computer Journal, 2017, v. 60, n. 1, p. 143, doi. 10.1093/comjnl/bxw076
- By:
- Publication type:
- Article
A Strategy for using Genetic Algorithms to Automate Branch and Fault-based Testing.
- Published in:
- Computer Journal, 1998, v. 41, n. 2, p. 98, doi. 10.1093/comjnl/41.2.98
- By:
- Publication type:
- Article
Special issue on mutation testing and analysis.
- Published in:
- Software Testing: Verification & Reliability, 2019, v. 29, n. 1/2, p. N.PAG, doi. 10.1002/stvr.1697
- By:
- Publication type:
- Article
Mutation operators for feature‐oriented software product lines.
- Published in:
- Software Testing: Verification & Reliability, 2019, v. 29, n. 1/2, p. N.PAG, doi. 10.1002/stvr.1676
- By:
- Publication type:
- Article
MuMonDE: A framework for evaluating model clone detectors using model mutation analysis.
- Published in:
- Software Testing: Verification & Reliability, 2019, v. 29, n. 1/2, p. N.PAG, doi. 10.1002/stvr.1669
- By:
- Publication type:
- Article
Empirical evaluation of mutation‐based test case prioritization techniques.
- Published in:
- Software Testing: Verification & Reliability, 2019, v. 29, n. 1/2, p. N.PAG, doi. 10.1002/stvr.1695
- By:
- Publication type:
- Article
On strong mutation and the theory of subsuming logic‐based mutants.
- Published in:
- Software Testing: Verification & Reliability, 2019, v. 29, n. 1/2, p. N.PAG, doi. 10.1002/stvr.1667
- By:
- Publication type:
- Article
Possibility of cost reduction by mutant clustering according to the clustering scope.
- Published in:
- Software Testing: Verification & Reliability, 2019, v. 29, n. 1/2, p. N.PAG, doi. 10.1002/stvr.1692
- By:
- Publication type:
- Article
Fault‐based test generation for regular expressions by mutation.
- Published in:
- Software Testing: Verification & Reliability, 2019, v. 29, n. 1/2, p. N.PAG, doi. 10.1002/stvr.1664
- By:
- Publication type:
- Article
A systematic literature review of how mutation testing supports quality assurance processes.
- Published in:
- Software Testing: Verification & Reliability, 2018, v. 28, n. 6, p. 1, doi. 10.1002/stvr.1675
- By:
- Publication type:
- Article
Assessment of C++ object-oriented mutation operators: A selective mutation approach.
- Published in:
- Software Testing: Verification & Reliability, 2017, v. 27, n. 4/5, p. n/a, doi. 10.1002/stvr.1630
- By:
- Publication type:
- Article
Introduction to the special issue on Mutation Testing.
- Published in:
- 2015
- By:
- Publication type:
- Editorial
Killing strategies for model-based mutation testing.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 8, p. 716, doi. 10.1002/stvr.1522
- By:
- Publication type:
- Article
Using mutation to assess fault detection capability of model review.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 5-7, p. 629, doi. 10.1002/stvr.1530
- By:
- Publication type:
- Article
Model-based mutation testing from security protocols in HLPSL.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 5-7, p. 684, doi. 10.1002/stvr.1531
- By:
- Publication type:
- Article
Towards an automation of the mutation analysis dedicated to model transformation.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 5-7, p. 653, doi. 10.1002/stvr.1532
- By:
- Publication type:
- Article
Reducing mutation costs through uncovered mutants.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 5-7, p. 464, doi. 10.1002/stvr.1534
- By:
- Publication type:
- Article
Metallaxis-FL: mutation-based fault localization.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 5-7, p. 605, doi. 10.1002/stvr.1509
- By:
- Publication type:
- Article
Quality metrics for mutation testing with applications to WS-BPEL compositions.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 5-7, p. 536, doi. 10.1002/stvr.1528
- By:
- Publication type:
- Article
Employing second-order mutation for isolating first-order equivalent mutants.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 5-7, p. 508, doi. 10.1002/stvr.1529
- By:
- Publication type:
- Article
A tribute to Mary Jean Harrold.
- Published in:
- Software Testing: Verification & Reliability, 2013, v. 23, n. 8, p. 583, doi. 10.1002/stvr.1519
- By:
- Publication type:
- Article
Combining weak and strong mutation for a noninterpretive Java mutation system.
- Published in:
- Software Testing: Verification & Reliability, 2013, v. 23, n. 8, p. 647, doi. 10.1002/stvr.1480
- By:
- Publication type:
- Article
Checked coverage: an indicator for oracle quality.
- Published in:
- Software Testing: Verification & Reliability, 2013, v. 23, n. 7, p. 531, doi. 10.1002/stvr.1497
- By:
- Publication type:
- Article
ICST 2010 Special Issue.
- Published in:
- Software Testing: Verification & Reliability, 2013, v. 23, n. 5, p. 351, doi. 10.1002/stvr.1503
- By:
- Publication type:
- Article
Covering and Uncovering Equivalent Mutants.
- Published in:
- Software Testing: Verification & Reliability, 2013, v. 23, n. 5, p. 353, doi. 10.1002/stvr.1473
- By:
- Publication type:
- Article