Concolic test generation for PLC programs using coverage metrics.
| Autor: | Bohlender, Dimitri, Simon, Hendrik, Friedrich, Nico, Kowalewski, Stefan, Hauck-Stattelmann, Stefan |
|---|---|
| Zdroj: | 2016 13th International Workshop on Discrete Event Systems (WODES); 2016, p432-437, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|