Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems | IEEE Conference Publication | IEEE Xplore