Search Results - "Processors—compilers Keywords compiler testing"

Testcase reduction for C compiler bugs

Authors: John Regehr Yang Chen Pascal Cuoq et al.

Contributors: John Regehr Yang Chen Pascal Cuoq et al.

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

Subject Terms: 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

Availability: 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

Authors: John Regehr Yang Chen Pascal Cuoq et al.

Contributors: John Regehr Yang Chen Pascal Cuoq et al.

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

Subject Terms: 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

File Description: application/pdf

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

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