1. Adacore. Technical report on OBC/MCDC properties. Technical report, Couverture project (2010)
2. Ahishakiye, F., Jakšić, S., Stolz, V., Lange, F.D., Schmitz, M., Thoma, D.: Non-intrusive MC/DC measurement based on traces. In: International Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 86–92. IEEE (2019)
3. Lecture Notes in Computer Science;F Ahishakiye,2020
4. Awedikian, Z., Ayari, K., Antoniol, G.: MC/DC automatic test input data generation. In: Annual Conference on Genetic and Evolutionary Computation Conference (GECCO), pp. 1657–1664. ACM (2009)
5. Bordin, M., Comar, C., Gingold, T., Guitton, J., Hainque, O., Quinot, T.: Object and source coverage for critical applications with the COUVERTURE open analysis framework. In: European Congress Embedded Real Time Software and Systems (ERTS), pp. 1–9 (2010)