| 10503633 |
Symbolic execution of alternative branches |
Tatyana Veksler |
2019-12-10 |
| 9898395 |
Unit-level formal verification for vehicular software systems |
Allon Adir, Fady Copty, Tamer Salman |
2018-02-20 |
| 9875175 |
Unit-level formal verification for vehicular software systems |
Allon Adir, Fady Copty, Tamer Salman |
2018-01-23 |
| 9870313 |
Unit-level formal verification for vehicular software systems |
Allon Adir, Fady Copty, Tamer Salman |
2018-01-16 |
| 9588877 |
Unit-level formal verification for vehicular software systems |
Allon Adir, Fady Copty, Tamer Salman |
2017-03-07 |
| 9389984 |
Directing verification towards bug-prone portions |
Hana Chockler, Oded Margalit, Sitvanit Ruah |
2016-07-12 |
| 8856755 |
Dominant-state-based coverage metric |
Hana Chockler, Sitvanit Ruah, Karen Frida Yorav |
2014-10-07 |
| 8219376 |
Verification using directives having local variables |
Sitvanit Ruah |
2012-07-10 |
