Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Paper
Improper Solutions under Existence Assumptions: An Example
Abstract
No abstract available.
Related
György E. Révész
Theoretical Computer Science
Yao Qi, Raja Das, et al.
ISSTA 2009
Nanda Kambhatla
ACL 2004