Works matching DE "MUTATION testing of computer software"

Results: 119

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:

Lefticaru, Raluca;
Gheorghe, Marian;
Ipate, Florentin

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:

Do, Van-Nho;
Nguyen, Quang-Vu;
Nguyen, Thanh-Binh

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:

Ivanković, Z.;
Markoski, B.;
Radosav, D.

Publication type:

Article

EDITORIAL.

Published in:

Journal of Information Technology & Applications, 2011, v. 1, n. 2, p. 83

By:

Radić, Gordana;
Avramović, Zoran;
Starčević, Dušan

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:

Teng, T. K.;
Shieh, J. S.;
Chen, C. S.

Publication type:

Article

Innovative Verzahnung der medizinischen Diagnostik im Sonic-Healthcare-Verbund.

Published in:

Trillium-Diagnostik, 2019, v. 17, n. 2, p. 86

By:

Kriegsmann, Jörg

Publication type:

Article

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:

Barr, Earl T.;
Harman, Mark;
McMinn, Phil;
Shahbaz, Muzammil;
Yoo, Shin

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:

Belli, Fevzi;
Beyazit, Mutlu

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:

Madeyski, Lech;
Orzeszyna, Wojciech;
Torkar, Richard;
Jozala, Mariusz

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:

Araújo, Cláudio;
Delamaro, Marcio;
Maldonado, José;
Vincenzi, Auri

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:

Matnei Filho, Rui;
Vergilio, Silvia

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:

El-Fakih, Khaled;
Yevtushenko, Nina;
Bozga, Marius;
Bensalem, Saddek

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:

Jomeiri, Alireza

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:

Zarrad, Anis;
Alsmadi, Izzat

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:

Pap, K.;
Ziljak, J. Vujic;
Ziljak, I.;
Agic, D.

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:

Deng, Lin;
Offutt, Jeff

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:

Ferreira, Johnny Maikeo;
Vergilio, Silvia Regina;
Quinaia, Marcos

Publication type:

Article

A Comparison of EGFR Mutation Testing Methods in Lung Carcinoma: Direct Sequencing, Real-time PCR and Immunohistochemistry.

Published in:

PLoS ONE, 2012, v. 7, n. 8, p. 1, doi. 10.1371/journal.pone.0043842

By:

Angulo, Barbara;
Conde, Esther;
Suárez-Gauthier, Ana;
Plaza, Carlos;
Martínez, Rebeca;
Redondo, Pilar;
Izquierdo, Elisa;
Rubio-Viqueira, Belén;
Paz-Ares, Luis;
Hidalgo, Manuel;
López-Ríos, Fernando;
Lo, Anthony W. I.

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:

Chandra, Bikash;
Chawda, Bhupesh;
Kar, Biplab;
Reddy, K.;
Shah, Shetal;
Sudarshan, S.

Publication type:

Article

Mutation Testing Approach to Negative Testing.

Published in:

Journal of Engineering (2314-4912), 2016, p. 1, doi. 10.1155/2016/6589140

By:

Strug, Joanna

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:

Bell, Trevor G.;
Kramvis, Anna

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:

Just, René;
Krinke, Jens;
Li, Nan;
Rojas, José Miguel

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:

Shin, Donghwan;
Yoo, Shin;
Papadakis, Mike;
Bae, Doo‐Hwan

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:

Yu, Misun;
Ma, Yu‐Seung

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:

Krüger, Jacob;
Al‐Hajjaji, Mustafa;
Leich, Thomas;
Saake, Gunter

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:

Stephan, Matthew;
Cordy, James R.

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:

Lindström, Birgitta;
Márki, András

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:

Arcaini, Paolo;
Gargantini, Angelo;
Riccobene, Elvinia

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:

Zhu, Qianqian;
Panichella, Annibale;
Zaidman, Andy

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:

Delgado‐Pérez, Pedro;
Segura, Sergio;
Medina‐Bulo, Inmaculada

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:

Aichernig, Bernhard K.;
Brandl, Harald;
Jöbstl, Elisabeth;
Krenn, Willibald;
Schlick, Rupert;
Tiran, Stefan

Publication type:

Article

Introduction to the special issue on Mutation Testing.

Published in:

2015

By:

Jia, Yue;
Merayo, Mercedes;
Harman, Mark

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:

Arcaini, Paolo;
Gargantini, Angelo;
Riccobene, Elvinia

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:

Dadeau, Frédéric;
Héam, Pierre‐Cyrille;
Kheddam, Rafik;
Maatoug, Ghazi;
Rusinowitch, Michael

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:

Aranega, Vincent;
Mottu, Jean‐Marie;
Etien, Anne;
Degueule, Thomas;
Baudry, Benoit;
Dekeyser, Jean‐Luc

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:

Mateo, Pedro Reales;
Usaola, Macario Polo

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:

Papadakis, Mike;
Le Traon, Yves

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:

Estero‐Botaro, Antonia;
Palomo‐Lozano, Francisco;
Medina‐Bulo, Inmaculada;
Domínguez‐Jiménez, Juan José;
García‐Domínguez, Antonio

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:

Kintis, Marinos;
Papadakis, Mike;
Malevris, Nicos

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:

Offutt, Jeff

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:

Kim, Sang‐Woon;
Ma, Yu‐Seung;
Kwon, Yong‐Rae

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:

Schuler, David;
Zeller, Andreas

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:

Cavalli, Ana;
Ghosh, Sudipto

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:

Schuler, David;
Zeller, Andreas

Publication type:

Article

Efficient mutation testing of multithreaded code.

Published in:

Software Testing: Verification & Reliability, 2013, v. 23, n. 5, p. 375, doi. 10.1002/stvr.1469

By:

Gligoric, Milos;
Jagannath, Vilas;
Luo, Qingzhou;
Marinov, Darko

Publication type:

Article

Editorial: globalization-language and dialects.

Published in:

Software Testing: Verification & Reliability, 2013, v. 23, n. 4, p. 259, doi. 10.1002/stvr.1499

By:

Offutt, Jeff

Publication type:

Article

Parallel mutation testing.

Published in:

Software Testing: Verification & Reliability, 2013, v. 23, n. 4, p. 315, doi. 10.1002/stvr.1471

By:

Mateo, Pedro Reales;
Usaola, Macario Polo

Publication type:

Article

Decreasing the cost of mutation testing with second-order mutants.

Published in:

Software Testing: Verification & Reliability, 2009, v. 19, n. 2, p. 111, doi. 10.1002/stvr.392

By:

Polo, Macario;
Piattini, Mario;
García-Rodríguez, Ignacio

Publication type:

Article

MuJava: an automated class mutation system.

Published in:

Software Testing: Verification & Reliability, 2005, v. 15, n. 2, p. 97, doi. 10.1002/stvr.308

By:

Yu-Seung Ma;
Offutt, Jeff;
Yong Rae Kwon

Publication type:

Article

Toward the determination of sufficient mutant operators for C<FNR>†</FNR><FN>A version of this paper was originally presented at the First International Workshop on Automated Program Analysis, Testing and Verification, held in Limerick, Ireland, 4–5 June 2000. It is repoduced here in modified form with the permission of the Workshop organizers. </FN>

Published in:

Software Testing: Verification & Reliability, 2001, v. 11, n. 2, p. 113, doi. 10.1002/stvr.226

By:

Barbosa, Ellen Francine;
Maldonado, Jose Carlos;
Vincenzi, Auri Marcelo Rizzo

Publication type:

Article