Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/ldta2003.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | A. Kalinov, A. Kossatchev, A. Petrenko, M. Posypkin, and V. Shishkov, "Coverage-driven Automated Compiler Test Suite Generation". In Proceedings of LDTA'2003, Electronic Notes in Theoretical Computer Science 82(3), 2003. | ||||||
|---|---|---|---|---|---|---|---|
Summary:
|
Montage-based specifications of source languages for compilers are
used to generate compiler test suites (with both positive and negative
examples).
|
Subjects:
| Compiler Correctness,
Montages
|
Download:
| From Mikhail Posypkin's home
page in
PDF.
|
Notes:
| See also earlier work.
| |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/ldta2003.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT