Works matching DE "MUTATION testing of computer software"
Results: 119
The Oracle Problem in Software Testing: A Survey.
- Published in:
- IEEE Transactions on Software Engineering, 2015, v. 41, n. 5, p. 507, doi. 10.1109/TSE.2014.2372785
- By:
- Publication type:
- Article
Exploiting Model Morphology for Event-Based Testing.
- Published in:
- IEEE Transactions on Software Engineering, 2015, v. 41, n. 2, p. 113, doi. 10.1109/TSE.2014.2360690
- By:
- Publication type:
- Article
Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 1, p. 23, doi. 10.1109/TSE.2013.44
- 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
A Novel Approach of Mutation Testing of Object-Oriented Programs.
- Published in:
- International Review on Computers & Software, 2014, v. 9, n. 11, p. 1916, doi. 10.15866/irecos.v9i11.4542
- 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
Mutation Operators for Spreadsheets.
- Published in:
- IEEE Transactions on Software Engineering, 2009, v. 35, n. 1, p. 94, doi. 10.1109/TSE.2008.73
- By:
- Publication type:
- Article
Interface Mutation: An Approach for Integration Testing.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 3, p. 228, doi. 10.1109/32.910859
- 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
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
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
An empirical evaluation of P system testing techniques.
- Published in:
- Natural Computing, 2011, v. 10, n. 1, p. 151, doi. 10.1007/s11047-010-9188-y
- By:
- Publication type:
- Article
Data generation for testing and grading SQL queries.
- Published in:
- VLDB Journal International Journal on Very Large Data Bases, 2015, v. 24, n. 6, p. 731, doi. 10.1007/s00778-015-0395-0
- By:
- Publication type:
- Article
Mutation Churn Model.
- Published in:
- Schedae Informaticae, 2016, v. 25, p. 227, doi. 10.4467/20838476SI.16.017.6198
- By:
- Publication type:
- Article
Towards Automatic Generation and Continuous Improvement of Functional Test Cases: The Case of the Test-Duo Framework and Mutation Testing.
- Published in:
- Journal of Information Science & Engineering, 2015, v. 31, n. 6, p. 2025
- By:
- Publication type:
- Article
A genetic algorithm for generating test from a question bank.
- Published in:
- Computer Applications in Engineering Education, 2010, v. 18, n. 2, p. 298, doi. 10.1002/cae.20260
- 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
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
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
Systematic Literature Review on Search Based Mutation Testing.
- Published in:
- e-Informatica, 2017, v. 11, n. 1, p. 61, doi. 10.5277/e-Inf170103
- By:
- Publication type:
- Article
Reducing the Number of Higher-order Mutants with the Aid of Data Flow.
- Published in:
- e-Informatica, 2016, v. 10, n. 1, p. 31, doi. 10.5277/e-Inf160102
- 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
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
THE APPLICATION OF SPIKING NEURAL NETWORKS IN AUTONOMOUS ROBOT CONTROL.
- Published in:
- Computing & Informatics, 2010, v. 29, n. 5, p. 823
- By:
- Publication type:
- Article
ON THE DISRUPTION-LEVEL OF POLYNOMIAL MUTATION FOR EVOLUTIONARY MULTI-OBJECTIVE OPTIMISATION ALGORITHMS.
- Published in:
- Computing & Informatics, 2010, v. 29, n. 5, p. 783
- By:
- Publication type:
- Article
A CONTEXTUAL USAGE CONTROL MODEL.
- Published in:
- Technical Gazette / Tehnički Vjesnik, 2014, v. 21, n. 1, p. 35
- 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
Toward Improving the Quality of Mutation Operator and Test Case Effectiveness in Higher-Order Mutation Testing.
- Published in:
- Vietnam Journal of Computer Science (World Scientific), 2022, v. 9, n. 4, p. 511, doi. 10.1142/S2196888822500282
- 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
Validation Tools in Software Testing Process: A Comparative Study.
- Published in:
- International Journal of Advanced Research in Computer Science, 2014, v. 5, n. 7, p. 26
- 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
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
Mutation Based Testing of P Systems.
- Published in:
- International Journal of Computers, Communications & Control, 2009, v. 4, n. 3, p. 253, doi. 10.15837/ijccc.2009.3.2433
- By:
- Publication type:
- Article
First Steps Towards a CPU Made of Spiking Neural P Systems.
- Published in:
- International Journal of Computers, Communications & Control, 2009, v. 4, n. 3, p. 244
- By:
- Publication type:
- Article
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
Introduction to the special issue on Mutation Testing.
- Published in:
- 2015
- By:
- Publication type:
- Editorial
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
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
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
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