Structural Concolic Testing for Sequential Function Chart

Frankfurt ; München [u.a.] / Elsevier (2018) [Contribution to a conference proceedings, Journal Article]

IFAC-PapersOnLine
Volume: 51
Issue: 7
Page(s): 422-427

Authors

Selected Authors

Simon, Hendrik
Triefenbach, Lucas
Kowalewski, Stefan

Identifier