Learning the Language of Software Errors (Q5109907)

From MaRDI portal
scientific article; zbMATH DE number 7200879
Language Label Description Also known as
English
Learning the Language of Software Errors
scientific article; zbMATH DE number 7200879

    Statements

    title
    Learning the Language of Software Errors (English)
    0 references
    author
    Hana Chockler
    0 references
    Pascal Kesseli
    0 references
    Daniel Kroening
    0 references
    Ofer Strichman
    0 references
    publication date
    14 May 2020
    0 references
    describes a project that uses
    Sigma*
    0 references
    libalf
    0 references
    jq
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q32
    0 references
    68N30
    0 references
    68Q45
    0 references
    68Q60
    0 references
    zbMATH DE Number
    7200879
    0 references
    OpenAlex ID
    W3019910725
    0 references
    DOI
    10.1613/JAIR.1.11798
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5109907&oldid=39533457"
    Powered by MediaWiki