View in EDS

Parallel Symbolic Execution: Merging In-Flight Requests.

Saved in:
Bibliographic Details
Title: Parallel Symbolic Execution: Merging In-Flight Requests.
Authors: Nowack, Martin, Tietze, Katja, Fetzer, Christof
Source: Hardware & Software: Verification & Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings; 2015, p120-135, 16p
Database: Complementary Index
Be the first to leave a comment!
You must be logged in first