Parallel Symbolic Execution: Merging In-Flight Requests.
Uloženo v:
| Název: | Parallel Symbolic Execution: Merging In-Flight Requests. |
|---|---|
| Autoři: | Nowack, Martin, Tietze, Katja, Fetzer, Christof |
| Zdroj: | Hardware & Software: Verification & Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings; 2015, p120-135, 16p |
| Databáze: | Complementary Index |
| ISBN: | 9783319262864 |
|---|---|
| DOI: | 10.1007/978-3-319-26287-1_8 |