A new disjunctive literal insertion fault detection strategy in boolean specifications. - T. K. Paul; Mohammad Jabed Morshed Chowdhury; Man Fai Lau (J. Softw. Evol. Process., 2021)