Conference Proceedings

Empirical study towards a leading indicator for cost of formal software verification

D Matichuk, T Murray, J Andronick, R Jeffery, G Klein, M Staples

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering | IEEE | Published : 2015