ARSENAL: automatic requirements specification extraction from natural language

S Ghosh, D Elenius, W Li, P Lincoln, N Shankar… - NASA Formal Methods …, 2016 - Springer
Requirements are informal and semi-formal descriptions of the expected behavior of a
complex system from the viewpoints of its stakeholders (customers, users, operators …

A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy

S Esfandyari, V Rafe - Information and Software Technology, 2018 - Elsevier
Context To improve the quality and correctness of a software product it is necessary to test
different aspects of the software system. Among different approaches for software testing …

Hybrid harmony search algorithm with grey wolf optimizer and modified opposition-based learning

AA Alomoush, AA Alsewari, HS Alamri, K Aloufi… - IEEE …, 2019 - ieeexplore.ieee.org
Most metaheuristic algorithms, including harmony search (HS), suffer from parameter
selection. Many variants have been developed to cope with this problem and improve …

[HTML][HTML] BOOMPizer: Minimization and prioritization of CONCOLIC based boosted MC/DC test cases

SK Barisal, SPS Chauhan, A Dutta, S Godboley… - Journal of King Saud …, 2022 - Elsevier
Recent research evidence indicates that the powerful testing tools, even though generate
test inputs automatically for coverage measures, but not up to satisfaction. These tools …

[PDF][PDF] ABCVS: An artificial bee colony for generating variable t-way test sets

AK Alazzawi, HM Rais, S Basri - International Journal of …, 2019 - pdfs.semanticscholar.org
To achieve acceptable quality and performance of any software product, it is crucial to
assess various software components in the application. There exist various softwaretesting …

An Experimental Study of a Fuzzy Adaptive Emperor Penguin Optimizer for Global Optimization Problem

MA Kader, KZ Zamli, BY Alkazemi - IEEE Access, 2022 - ieeexplore.ieee.org
Emperor Penguin Optimizer (EPO) is a recently developed population-based meta-heuristic
algorithm that simulates the huddling behavior of emperor penguins. Mixed results have …

Adapting the elitism on greedy algorithm for variable strength combinatorial test cases generation

AA BA Homaid, ARA Alsewari, KZ Zamli… - IET …, 2019 - Wiley Online Library
A combinatorial testing (CT) is an important technique usually employed in the generation of
test cases. The generation of an optimal sized test case is a non‐deterministic polynomial …

A memetic algorithm for high‐strength covering array generation

X Guo, X Song, J Zhou, F Wang, K Tang… - IET Software, 2023 - Wiley Online Library
Covering array generation (CAG) is the key research problem in combinatorial testing and is
an NP‐complete problem. With the increasing complexity of software under test and the …

Hyper-heuristic strategy for input-output-based interaction testing

F Din, KZ Zamli - Recent Trends in Mechatronics Towards Industry 4.0 …, 2022 - Springer
Software testing aims at exploring faults within software in order to ensure it meets all
necessary specifications. Test case design strategies play key role in software testing …

[PDF][PDF] Software product line test list generation based on harmony search algorithm with constraints support

ARA Alsewari, MN Kabir, KZ Zamli… - International Journal of …, 2019 - academia.edu
In software product line (SPL), selecting product's features to be tested is an essential issue
to enable the manufactories to release new products earlier than others. Practically, it is …