1. Structural Concolic Testing for Sequential Function Chart. Issue 7 (2018) Authors: Simon, Hendrik; Triefenbach, Lucas; Kowalewski, Stefan Journal: IFAC-PapersOnLine Issue: Volume 51:Issue 7(2018) Page Start: 422 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗