Sciweavers

    ISSTA   2004 International Symposium on Software Testing and Analysis
    Wall of Fame | Most Viewed ISSTA-2004 Paper
    ISSTA
    2004
    ACM
    237views Software Engineering» more  ISSTA 2004»
    Test input generation with java PathFinder
    14 years 8 months ago
    Test input generation with java PathFinder
    Download  users.ece.utexas.edu
    We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
    Willem Visser, Corina S. Pasareanu, Sarfraz Khursh...
    claim paper
    Read More »
    Disclaimer and Copyright Notice
    Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
    IdReadViewsTitleStatus
    1Download preprint from source237
    Test input generation with java PathFinder
    claim
    2Download preprint from source182
    Evolutionary testing of classes
    claim
    3Download preprint from source144
    Automated black-box testing of functional correctness using function approximation
    claim
    4Download preprint from source140
    Faster constraint solving with subtypes
    claim
    5Download preprint from source131
    An experimental evaluation of continuous testing during development
    claim
    6Download preprint from source126
    Model checking XML manipulating software
    claim
    7Download preprint from source125
    Automating commutativity analysis at the design level
    claim
    8Download preprint from source125
    An optimizing compiler for batches of temporal logic formulas
    claim
    9Download preprint from source118
    Testing of java web services for robustness
    claim
    10Download preprint from source113
    Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
    claim
    11Download preprint from source110
    Optimal strategies for testing nondeterministic systems
    claim
    12Download preprint from source104
    Covering arrays for efficient fault characterization in complex configuration spaces
    claim
    13Download preprint from source101
    Verifying process models built using parameterized state machines
    claim
    14Download preprint from source100
    Exploiting purity for atomicity
    claim
    15Download preprint from source97
    Software assurance by bounded exhaustive testing
    claim
    16Download preprint from source93
    Where the bugs are
    claim
    17Download preprint from source91
    Testing malware detectors
    claim
    18Download preprint from source84
    Active learning for automatic classification of software behavior
    claim
    19Download preprint from source71
    Improving the adaptability of multi-mode systems via program steering
    claim
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.