Treffer: Speculative Symbolic Execution
Title:
Speculative Symbolic Execution
Authors:
Source:
2012 IEEE 23rd International Symposium on Software Reliability Engineering Software Reliability Engineering (ISSRE), 2012 IEEE 23rd International Symposium on. :101-110 Nov, 2012
Relation:
2012 IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE)
Database:
IEEE Xplore Digital Library