- Automatic Test Program Generation for Out-of-Order Superscalar Processors
Ying Zhang, Ahmed Rezine, Petru Eles, Zebo Peng
21st IEEE Asian Test Symposium (ATS 2012), Niigata, Japan, November 19-22, 2012.
- Counter-Example Guided Fence Insertion under TSO
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
18th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), Tallinn, Estonia, March 24 - April 1, 2012.
|
|
