![](bg8.png)
Bokil, P., Darke, P., Shrotri, U., and Venkatesh, R. (2009).
Automatic test data generation for c programs. In
2009 Third IEEE International Conference on Se-
cure Software Integration and Reliability Improve-
ment, pages 359–368. IEEE.
Chang, J.-R. and Huang, C.-Y. (2007). A study of en-
hanced mc/dc coverage criterion for software test-
ing. In 31st Annual International Computer Software
and Applications Conference (COMPSAC 2007), vol-
ume 1, pages 457–464. IEEE.
Chauhan, N. (2010). Software Testing: Principles and
Practices. Oxford university press.
Chilenski, J. J. and Miller, S. P. (1994). Applicability of
modified condition/decision coverage to software test-
ing. Software Engineering Journal, 9(5):193–200.
Csallner, C., Smaragdakis, Y., and Xie, T. (2008). Dsd-
crasher: A hybrid analysis tool for bug finding. ACM
Transactions on Software Engineering and Methodol-
ogy (TOSEM), 17(2):1–37.
DeMillo, R. A. and Offutt, A. J. (1993). Experimental
results from an automatic test case generator. ACM
Transactions on Software Engineering and Methodol-
ogy (TOSEM), 2(2):109–127.
Gao, J., Espinoza, R., and He, J. (2005). Testing coverage
analysis for software component validation. In 29th
Annual International Computer Software and Appli-
cations Conference (COMPSAC’05), volume 1, pages
463–470. IEEE.
Ghani, K. and Clark, J. A. (2009). Automatic test data
generation for multiple condition and mcdc coverage.
In 2009 Fourth International Conference on Software
Engineering Advances, pages 152–157. IEEE.
Godboley, S. (2013). Improved modified condition/decision
coverage using code transformation techniques. PhD
thesis.
Godboley, S., Dutta, A., Mohapatra, D. P., Das, A., and
Mall, R. (2016). Making a concolic tester achieve in-
creased mc/dc. Innovations in systems and software
engineering, 12(4):319–332.
Godboley, S., Dutta, A., Mohapatra, D. P., and Mall, R.
(2017a). J3 model: a novel framework for improved
modified condition/decision coverage analysis. Com-
puter Standards & Interfaces, 50:1–17.
Godboley, S., Dutta, A., Mohapatra, D. P., and Mall, R.
(2018a). Gecojap: A novel source-code preprocess-
ing technique to improve code coverage. Computer
Standards & Interfaces, 55:27–46.
Godboley, S., Dutta, A., Mohapatra, D. P., and Mall, R.
(2018b). Scaling modified condition/decision cov-
erage using distributed concolic testing for java pro-
grams. Computer Standards & Interfaces, 59:61–86.
Godboley, S., Mohapatra, D. P., Das, A., and Mall, R.
(2017b). An improved distributed concolic test-
ing approach. Software: Practice and Experience,
47(2):311–342.
Godboley, S., Prashanth, G., Mohapatra, D. P., and Ma-
jhi, B. (2013a). Enhanced modified condition/deci-
sion coverage using exclusive-nor code transformer.
In 2013 International Mutli-Conference on Automa-
tion, Computing, Communication, Control and Com-
pressed Sensing (iMac4s), pages 524–531. IEEE.
Godboley, S., Prashanth, G., Mohapatro, D. P., and Majhi,
B. (2013b). Increase in modified condition/decision
coverage using program code transformer. In 2013 3rd
IEEE International Advance Computing Conference
(IACC), pages 1400–1407. IEEE.
Grindal, M., Offutt, J., and Andler, S. F. (2005). Combi-
nation testing strategies: a survey. Software Testing,
Verification and Reliability, 15(3):167–199.
Gupta, N., Mathur, A. P., and Soffa, M. L. (1998). Auto-
mated test data generation using an iterative relaxation
method. ACM SIGSOFT Software Engineering Notes,
23(6):231–244.
Haque, A., Khalil, I., and Zamli, K. Z. (2014). An auto-
mated tool for mc/dc test data generation. In 2014
IEEE Symp. Comput. Informatics, Kota Kinabalu,
Sabah, Malaysia.
Hayhurst, K. J. (2001). A practical tutorial on modified
condition/decision coverage. DIANE Publishing.
Hayhurst, K. J. and Veerhusen, D. S. (2001). A practi-
cal approach to modified condition/decision coverage.
In 20th DASC. 20th Digital Avionics Systems Confer-
ence (Cat. No. 01CH37219), volume 1, pages 1B2–1.
IEEE.
Johnson, L. A. et al. (1998). Do-178b, software considera-
tions in airborne systems and equipment certification.
Crosstalk, October, 199:11–20.
Jones, J. A. and Harrold, M. J. (2003). Test-suite reduc-
tion and prioritization for modified condition/decision
coverage. IEEE Transactions on software Engineer-
ing, 29(3):195–209.
Kandl, S. and Kirner, R. (2010). Error detection rate of
mc/dc for a case study from the automotive domain. In
IFIP International Workshop on Software Technolgies
for Embedded and Ubiquitous Systems, pages 131–
142. Springer.
Majumdar, R. and Sen, K. (2007). Hybrid concolic testing.
In 29th International Conference on Software Engi-
neering (ICSE’07), pages 416–426. IEEE.
Mall, R. (2018). Fundamentals of software engineering.
PHI Learning Pvt. Ltd.
Myers, G. J., Sandler, C., and Badgett, T. (2011). The art of
software testing. John Wiley & Sons.
Rajan, A., Whalen, M. W., and Heimdahl, M. P. (2008). The
effect of program and model structure on mc/dc test
adequacy coverage. In Proceedings of the 30th inter-
national conference on Software engineering, pages
161–170.
Younis, M. I., Zamli, K. Z., and Isa, N. A. M. (2008). Irps–
an efficient test data generation strategy for pairwise
testing. In International Conference on Knowledge-
Based and Intelligent Information and Engineering
Systems, pages 493–500. Springer.
ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering
204