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 |