WISE: Automated test generation for worst-case complexity | IEEE Conference Publication | IEEE Xplore