Runtime Exception Detection in Java Programs Using Symbolic Execution (Q2937545)

From MaRDI portal
Revision as of 05:42, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Runtime Exception Detection in Java Programs Using Symbolic Execution
scientific article

    Statements

    title
    Runtime Exception Detection in Java Programs Using Symbolic Execution (English)
    0 references
    author
    István Kádár
    0 references
    Peter Hegedűs
    0 references
    Rudolf Ferenc
    0 references
    publication date
    9 January 2015
    0 references
    zbMATH DE Number
    6385305
    0 references
    zbMATH Keywords
    Java runtime exception
    0 references
    symbolic execution
    0 references
    rule checking
    0 references
    describes a project that uses
    DART
    0 references
    Java PathFinder
    0 references
    jEdit
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2937545&oldid=23701187"
    Powered by MediaWiki