Automated software robustness testing - static and adaptive test case design methods | IEEE Conference Publication | IEEE Xplore