Regression Testing of Virtual Prototypes Using Symbolic Execution. - Bin Lin; Dejun Qian (CoRR, 2016)