Efficient Test Data Generation for MC/DC with OCL and Search.

Hassan Sartaj Muhammad Zohaib Iqbal Atif Aftab Ahmed Jilani Muhammad Uzair Khan

Published in: CoRR (2024)

Keyphrases

test data generation
test cases
simulated annealing algorithm
symbolic execution
search based testing
search algorithm
software testing
database
case study
search space
generation algorithm
test case generation
test generation