Artificial Intelligence (AI) can enable the development of next-generation autonomous safety-
critical systems in which Machine Learning (ML) algorithms learn optimized and safe …

Software testing activities account for a considerable portion of systems development cost
and, for this reason, many studies have sought to automate these activities. Test data …

Unit testing focused on MC/DC criterion is essential in development of safety-critical
systems. However design of test data that meet the MC/DC criterion needs detailed manual …

Software testing is the most effort consuming phase in software development process. To
minimize the human effort and maximize the number of faults detected, it is desirable to …

The US Federal Aviation Administration requires complete modified condition/decision
coverage (MC/DC) for the most critical (level A) software. Complete MC/DC is a gold …

Unit testing focused on Modified Condition/Decision Coverage (MC/DC) criterion is essential
in development safety-critical systems. However, design of test data that meets the MC/DC …

Unit testing focused on the Modified Condition/Decision Coverage (MC/DC) criterion is
essential in development of safety-critical systems as recommended by international …

A logo placed on Quick Response (QR) code provides additional aesthetic value and visual
information to the user. Visual quality of the embedded logo is an important criterion besides …

Search based software testing uses metaheuristic algorithms to automate the generation of
test cases. This thesis partially replicates a literature study published in 2010 by Ali et al. to …