Works matching Computer software testing

Results: 2083

An Empirical Stopping Rule for Debugging and Testing Computer Software.

Published in:

Journal of the American Statistical Association, 1977, v. 72, n. 360, p. 750, doi. 10.2307/2286455

By:

Forman, Ernest H.;
Singpurwalla, Nozer D.

Publication type:

Article

STRUCTURAL TESTING OF SOFTWARE SYSTEMS USING ELEMENTS OF COMPUTER ALGEBRA.

Published in:

Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì, 2013, v. 3, n. 3, p. 201

By:

Lomakina, Lyubov S.;
Vigura, Anton N.

Publication type:

Article

A computer‐assisted instructional method based on machine learning in software testing class.

Published in:

Computer Applications in Engineering Education, 2018, v. 26, n. 5, p. 1150, doi. 10.1002/cae.21962

By:

Zheng, Wei;
Bai, Yutong;
Che, Haoxuan

Publication type:

Article

Integrated Project Development through Combined Theory and Practices of Core Courses focusing on Software Development Skills: Integrated Learning Framework.

Published in:

Journal of Engineering Education Transformations, 2024, v. 37, p. 980, doi. 10.16920/jeet/2024/v37is2/24148

By:

Desai, Padmashree;
Hiremath, P. G. Sunitha

Publication type:

Article

Dennis Heinemeyer – Datenverarbeitungs-Crashtests ohne Daten-Dummys.

Published in:

Computer und Recht, 2019, v. 35, n. 3, p. 147, doi. 10.9785/cr-2019-350307

By:

Heinemeyer, Dennis

Publication type:

Article

Software Reliability Prediction Based on Recurrent Neural Network and Ensemble Method.

Published in:

Computers (2073-431X), 2024, v. 13, n. 12, p. 335, doi. 10.3390/computers13120335

By:

Alshehri, Wafa;
Kammoun Jarraya, Salma;
Allinjawi, Arwa

Publication type:

Article

How the web resuscitated evolutionary design.

Published in:

Software Testing: Verification & Reliability, 2015, v. 25, n. 8, p. 713, doi. 10.1002/stvr.1595

By:

Offutt, Jeff

Publication type:

Article

SOFTWARE TESTING TECHNIQUES (2nd Edn)/TESTING COMPUTER SOFFWARE (2nd Edn) (Book).

Published in:

1992

By:

Whitty, Robin

Publication type:

Book Review

Software Fault Interactions and Implications for Software Testing.

Published in:

IEEE Transactions on Software Engineering, 2004, v. 30, n. 6, p. 418, doi. 10.1109/TSE.2004.24

By:

Kuhn, D. Richard;
Wallace, Dolores R.;
Gallo Jr., Albert M.

Publication type:

Article

Automated code development based on genetic programming in graphical programming language: A pilot study.

Published in:

PLoS ONE, 2024, v. 19, n. 3, p. 1, doi. 10.1371/journal.pone.0299456

By:

Kodytek, Pavel;
Bodzas, Alexandra;
Zidek, Jan

Publication type:

Article

A Real Test and Simulation Result Comparison of Selected Properties of Hybrid Composite Materials.

Published in:

Engineering, Technology & Applied Science Research, 2024, v. 14, n. 2, p. 13523, doi. 10.48084/etasr.6922

By:

Daneshjo, Naqib;
Sabadka, Dusan;
Malega, Peter

Publication type:

Article

QUALITY-RELATED NEWS FROM AROUND THE WORLD.

Published in:: Quality Progress, 2019, v. 52, n. 3, p. 11
Publication type:: Article

UTCPredictor: An uncertainty‐aware novel teaching cases predictor.

Published in:

Computer Applications in Engineering Education, 2019, v. 27, n. 6, p. 1518, doi. 10.1002/cae.22166

By:

Wu, Xiaoxue;
Zheng, Wei;
Mu, Dejun;
Li, Ning

Publication type:

Article

Lithium-Ion Polymer Battery for 12-Voltage Applications: Experiment, Modelling, and Validation.

Published in:

Energies (19961073), 2020, v. 13, n. 3, p. 638, doi. 10.3390/en13030638

By:

Liu, Yiqun;
Liao, Y. Gene;
Lai, Ming-Chia

Publication type:

Article

Automating Software Testing Using Program Analysis.

Published in:

IEEE Software, 2008, v. 25, n. 5, p. 30, doi. 10.1109/MS.2008.109

By:

Godefroid, Patrice;
de Halleux, Peli;
Nori, Aditya V.;
Rajamani, Sriram K.;
Schulte, Wolfram;
Tillmann, Nikolai;
Levin, Michael Y.

Publication type:

Article

Unit: Unit Testing and Coding in Tandem.

Published in:

IEEE Software, 2005, v. 22, n. 4, p. 12, doi. 10.1109/MS.2005.100

By:

Louridas, Panagiotis

Publication type:

Article

Systematic analysis of the test design and performance of AI/ML-based medical devices approved for triage/detection/diagnosis in the USA and Japan.

Published in:

Scientific Reports, 2022, v. 12, n. 1, p. 1, doi. 10.1038/s41598-022-21426-7

By:

Yuba, Mitsuru;
Iwasaki, Kiyotaka

Publication type:

Article

The reliability of the angle of deviation measurement from the Photo-Hirschberg tests and Krimsky tests.

Published in:

PLoS ONE, 2021, v. 16, n. 12, p. 1, doi. 10.1371/journal.pone.0258744

By:

Tengtrisorn, S.;
Tungsattayathitthan, A.;
Na Phatthalung, S.;
Singha, P.;
Rattanalert, N.;
Bhurachokviwat, S.;
Chouyjan, S.

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

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

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

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

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

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

Efficiency of mutation operators and selective mutation strategies: an empirical study.

Published in:

Software Testing: Verification & Reliability, 1999, v. 9, n. 4, p. 205, doi. 10.1002/(SICI)1099-1689(199912)9:4<205::AID-STVR186>3.0.CO;2-X

By:

Mresa, Elfuriani S.;
Bottaci, Leonardo

Publication type:

Article

Automatically detecting equivalent mutants and infeasible paths.

Published in:

Software Testing: Verification & Reliability, 1997, v. 7, n. 3, p. 165, doi. 10.1002/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U

By:

Offutt, A. Jefferson;
Pan, Jie

Publication type:

Article

Using Compiler Optimization Techniques to Detect Equivalent Mutants.

Published in:

Software Testing: Verification & Reliability, 1994, v. 4, n. 3, p. 131, doi. 10.1002/stvr.4370040303

By:

Offutt, A. Jefferson;
Craft, W. Michael

Publication type:

Article

Editorial.

Published in:

1994

By:

Woodward, Martin

Publication type:

Editorial

Validating Functional Equivalence of Re- engineered Programs via Control Path, Result, and Data Flow Comparison.

Published in:

Software Testing: Verification & Reliability, 1994, v. 4, n. 1, p. 33, doi. 10.1002/stvr.4370040105

By:

Sneed, Harry M.

Publication type:

Article

An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria.

Published in:

Software Testing: Verification & Reliability, 1994, v. 4, n. 1, p. 9, doi. 10.1002/stvr.4370040104

By:

Mathur, Aditya P.;
Wong, W. Eric

Publication type:

Article

A Relationship Between Software Coverage Metrics and Reliability.

Published in:

Software Testing: Verification & Reliability, 1994, v. 4, n. 1, p. 3, doi. 10.1002/stvr.4370040103

By:

Veevers, Alan;
Marshall, Adam C.

Publication type:

Article