| Original language | English |
|---|---|
| Pages (from-to) | 124-141 |
| Journal | The Journal of Systems and Software |
| Volume | 139 |
| Publication status | Published - 2018 |
Automated generation of (F)LTL oracles for testing and debugging
Ingo Pill, Franz Wotawa
Research output: Contribution to journal › Article