Improving software testability with assertion insertion | IEEE Conference Publication | IEEE Xplore