Yingying Zhang, Emmanuel Rodriguez, Hao Zheng 0001, Chris J. Myers. A Behavioral Analysis Approach for Efficient Partial Order Reduction. In Taghi M. Khoshgoftaar, editor, 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011. pages 49-56, IEEE Computer Society, 2011. [doi]
@inproceedings{ZhangRZM11, title = {A Behavioral Analysis Approach for Efficient Partial Order Reduction}, author = {Yingying Zhang and Emmanuel Rodriguez and Hao Zheng 0001 and Chris J. Myers}, year = {2011}, doi = {10.1109/HASE.2011.15}, url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2011.15}, researchr = {https://researchr.org/publication/ZhangRZM11}, cites = {0}, citedby = {0}, pages = {49-56}, booktitle = {13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011}, editor = {Taghi M. Khoshgoftaar}, publisher = {IEEE Computer Society}, isbn = {978-1-4673-0107-7}, }