Black, P.
, Okun, V.
and Yesha, Y.
(2000),
Mutation Operators for Specifications, Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, , [online], https://doi.org/10.1109/ASE.2000.873653
(Accessed August 13, 2024)