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

From MaRDI portal
Revision as of 18:57, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 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
    CUTE
    0 references
    log4j
    0 references
    ArgoUML
    0 references
    JCrasher
    0 references

    Identifiers

    zbMATH DE Number
    6385305
    0 references
    OpenAlex ID
    W2407677063
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2937545&oldid=31432667"
    Powered by MediaWiki