Biswajit Bhowmik, Jatindra Kumar Deka, Santosh Biswas. Directed Symbolic Execution for VLSI Circuits. In 2015 IEEE International Conference on Systems, Man, and Cybernetics, Kowloon Tong, Hong Kong, October 9-12, 2015. pages 50-55, IEEE, 2015. [doi]
Abstract is missing.