Mutation‐inspired symbolic execution for software testing by Kevin J. Valle‐Gómez, Antonio García‐Domínguez, Pedro Delgado‐Pérez, Inmaculada Medina‐Bulo

“…Abstract Software testing is a complex and costly stage during the software development lifecycle. …”
Get full text

ABOUT ESTIMATION OF SOFTWARE TESTS SENSITIVITY TO TRANSIENT FAULTS by B. M. Basok, V. N. Zakharov, S. L. Frenkel

“…The article suggests a method for estimation of the sensitivity of software tests to transient faults of a computer system. …”
Get full text

SOFTWARE TEST AUTOMATION FOR AUTOMATED SYSTEMS OF SLIDING FORMWORK by Dmitry A. Korotky

Get full text

SOFTWARE TESTING USING THE CODE REVIEW TECHNIQUE: AN EXPLORATORY STUDY by Juan Pablo Ucán Pech, Raúl Antonio Aguilar Vera, Julio César Díaz Mendoza, Antonio Armando Aguileta Güemez

Subjects: Get full text

Application of Automatic Test Technology in Network Control Software Testing by YOU Guizhen, LIU Buqi, ZHOU Quanqiang

Subjects: “…software test…”
Get full text

Discussion of Software Testing for Basic Control Software in LKJ System by LONG Hai-quan, HE Xie-zhen, TAN Qi, ZHANG Jia-huan

Subjects: Get full text

Real-Time Extended Interface Automata for Software Testing Cases Generation by Shunkun Yang, Jiaqi Xu, Tianlong Man, Bin Liu

“…We also establish the input interface automaton for every input in order to solve the problems of input controlling and interface covering nimbly when applied in the software testing field. Detailed definitions of the RTEIA and the testing cases generation algorithm are provided in this paper. …”
Get full text

Creating a simulation model of software testing using Simulink package by V. M. Dubovoi, I. V. Pylypenko

“…The determination of the solution model of software testing that allows prediction both the whole process and its specific stages is actual for IT-industry. …”
Get full text

Constrained adversarial learning for automated software testing: a literature review by João Vitorino, Tiago Dias, Tiago Fonseca, Eva Maia, Isabel Praça

“…Therefore, this literature review is focused on the current state-of-the-art of constrained data generation methods applied for adversarial learning and software testing, aiming to guide researchers and developers to enhance software testing tools with adversarial testing methods and improve the resilience and robustness of their information systems. …”
Get full text

Application of the Orthogonal Test in Basic Control Software Testing for LKJ Device by JIANG Jian, SHANGGUAN Xianan, HE Xiezhen

Subjects: “…software test…”
Get full text

Using Fuzzy Logic Techniques for Assertion-Based Software Testing Metrics by Ali M. Alakeel

“…Software testing is a very labor intensive and costly task. …”
Get full text

A Model Independent S/W Framework for Search-Based Software Testing by Jungsup Oh, Jongmoon Baik, Sung-Hwa Lim

“…In Model-Based Testing (MBT) area, Search-Based Software Testing (SBST) has been employed to generate test cases from the model of a system under test. …”
Get full text

Generation of Benchmark of Software Testing Methods for Java with Realistic Introduced Errors by Tomas Potuzak, Richard Lipka

Get full text

Natural Language Processing-Based Software Testing: A Systematic Literature Review by Mohamed Boukhlif, Mohamed Hanine, Nassim Kharmoum, Atenea Ruigomez Noriega, David Garcia Obeso, Imran Ashraf

Subjects: “…Software testing…”
Get full text

Applying a system dynamics approach for decision-making in software testing projects. by Wang Li, Chih-Chiang Fang

“…Developers must balance rigorous software testing with tight schedules and budgets. This often forces them to choose between quality and cost. …”
Get full text

Developing an Automated Model-Based Software Testing Tool From the Design Phase by Rasha Gh. Alsarraj, Atica M. Altaie, Esra Zuhair Majeed

“…Model-based software testing is one of the most widely used methods of software quality assurance in the business world is model-based software testing. …”
Get full text

Exploration of experimental teaching mode of software testing course based on OBE concept and deep learning by Yin Liu, Quanxin Wang

Subjects: Get full text

Application of LDRA TestBed in CTCS2-200C Expansion Unit Software Testing by Zhou Yongjian, Fan Ming, Zhang Miao, Zhao Dongxu

Subjects: “…software testing…”
Get full text

Effective Seed Scheduling for Directed Fuzzing with Function Call Sequence Complexity Estimation by Xi Peng, Peng Jia, Ximing Fan, Cheng Huang, Jiayong Liu

Subjects: Get full text

Innovative Applications of Black Box Testing: A New Strategy for Teaching Assessment in Higher Education by Hanjiao Wang, Yongbin Zhang, Xiuli Fu

Subjects: Get full text