John OLeary

Hardware/Software Co-verification Using Path-based Symbolic Execution

By Rajdeep Mukherjee