Výsledky vyhledávání - "Processors—compilers Keywords compiler testing"

Testcase reduction for C compiler bugs

Autoři: John Regehr Yang Chen Pascal Cuoq a další

Přispěvatelé: John Regehr Yang Chen Pascal Cuoq a další

Zdroj: http://www.flux.utah.edu/download?uid=115.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, D.3.4 [Programming Languages, Processors—compilers Keywords compiler testing, compiler defect, automated testing, random testing, bug reporting

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.3936; http://www.flux.utah.edu/download?uid=115

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.3936
http://www.flux.utah.edu/download?uid=115

Testcase reduction for C compiler bugs

Autoři: John Regehr Yang Chen Pascal Cuoq a další

Přispěvatelé: John Regehr Yang Chen Pascal Cuoq a další

Zdroj: http://www.cs.utah.edu/~regehr/papers/pldi12-preprint.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, D.3.4 [Programming Languages, Processors—compilers Keywords compiler testing, compiler defect, automated testing, random testing, bug reporting

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.7616

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.7616
http://www.cs.utah.edu/~regehr/papers/pldi12-preprint.pdf