Browsing by Subject Formal methods
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) |
|---|---|---|
| Jul-2020 | A model-based test generation approach for agile software product lines | Öztürk, Dilek |
| 2009 | Protocol-based testing of firewalls | Tuğlular, Tuğkan ; Belli, Fevzi |
| 2023 | Spectral test generation for Boolean expressions | Ayav, Tolga |