Generating test programs to cover pipeline interactions

• Main Authors: Thanh, N.D., Roychoudhury, A., Mitra, T., Mishra, P.
• 其他作者: COMPUTER SCIENCE
• 格式: Conference or Workshop Item
• 出版: 2013
• 主題: Automated test generation; Pipelines; State space exploration
• 在線閱讀: http://scholarbank.nus.edu.sg/handle/10635/41803
• 機構: National University of Singapore

Proceedings - Design Automation Conference