Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
1 | Pagariya, Rohit | Direct equivalence testing of embedded software | Compiler testing; Embedded software; Equivalence testing; Verification | 2011-08 | thesis | |
2 | Chen, Yang | Improving the utility of compiler fuzzers | Bug reporting; Compiler defect; Compiler testing; Random testing; Test-case minimization; Test-case reduction | 2014-05 | dissertation |