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 › peer-review