1. Abreu, R.: Gzoltar: a toolset for automatic test suite minimization and fault identification. In: International Workshop on the Future of Debugging, Lugano, Switzerland (2013)
2. Abrial, J.R.: The B Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
3. Anonymous: Addendum, the bane of generate-and-validate program repair, crcfix data. Technical report. https://anonymous.4open.science/r/7c54e6e6-1c2f-491c-bf5a-d7f451fb463c/ (May 2020)
4. Anonymous: Addendum, the bane of generate-and-validate program repair, crcfix tool. Technical report. https://anonymous.4open.science/r/95d330a9-97bf-44ab-9144-f214dce174d2/ (September 2020)
5. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.E.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)