Sciweavers

    PASTE
    2005
    ACM
    107views Software Engineering» more  PASTE 2005»
    Making distributed systems secure with program analysis and transformation
    13 years 11 months ago
    Making distributed systems secure with program analysis and transformation
    Download  groups.csail.mit.edu
    Andrew C. Myers
    claim paper
    Read More »
    PASTE
    2005
    ACM
    87views Software Engineering» more  PASTE 2005»
    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs
    13 years 11 months ago
    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs
    Download  www-users.cs.umn.edu
    Donglin Liang, Maikel Pennings, Mary Jean Harrold
    claim paper
    Read More »
    PASTE
    2005
    ACM
    111views Software Engineering» more  PASTE 2005»
    Low overhead program monitoring and profiling
    13 years 11 months ago
    Low overhead program monitoring and profiling
    Download  www.cs.virginia.edu
    Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
    Naveen Kumar, Bruce R. Childers, Mary Lou Soffa
    claim paper
    Read More »
    PASTE
    2005
    ACM
    190views Software Engineering» more  PASTE 2005»
    Generalizing symbolic execution to library classes
    13 years 11 months ago
    Generalizing symbolic execution to library classes
    Download  users.ece.utexas.edu
    Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
    Sarfraz Khurshid, Yuk Lai Suen
    claim paper
    Read More »
    PASTE
    2005
    ACM
    74views Software Engineering» more  PASTE 2005»
    Link-time static analysis for efficient separate compilation of object-oriented languages
    13 years 11 months ago
    Link-time static analysis for efficient separate compilation of object-oriented languages
    Download  groups.csail.mit.edu
    Jean Privat, Roland Ducournau
    claim paper
    Read More »
    PASTE
    2005
    ACM
    120views Software Engineering» more  PASTE 2005»
    A concept analysis inspired greedy algorithm for test suite minimization
    13 years 11 months ago
    A concept analysis inspired greedy algorithm for test suite minimization
    Download  groups.csail.mit.edu
    Sriraman Tallam, Neelam Gupta
    claim paper
    Read More »
    PASTE
    2005
    ACM
    115views Software Engineering» more  PASTE 2005»
    Invariants and state in testing and formal methods
    13 years 11 months ago
    Invariants and state in testing and formal methods
    Download  groups.csail.mit.edu
    Dick Hamlet
    claim paper
    Read More »
    PASTE
    2005
    ACM
    118views Software Engineering» more  PASTE 2005»
    MonDe: safe updating through monitored deployment of new component versions
    13 years 11 months ago
    MonDe: safe updating through monitored deployment of new component versions
    Download  www.cc.gatech.edu
    Safely updating software at remote sites is a cautious balance of enabling new functionality and avoiding adverse effects on existing functionality. A useful first step in this p...
    Jonathan E. Cook, Alessandro Orso
    claim paper
    Read More »
    PASTE
    2005
    ACM
    102views Software Engineering» more  PASTE 2005»
    String analysis for x86 binaries
    13 years 11 months ago
    String analysis for x86 binaries
    Download  mihai.christodorescu.org
    Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...
    Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh
    claim paper
    Read More »
    PASTE
    2005
    ACM
    103views Software Engineering» more  PASTE 2005»
    SableSpMT: a software framework for analysing speculative multithreading in Java
    13 years 11 months ago
    SableSpMT: a software framework for analysing speculative multithreading in Java
    Download  groups.csail.mit.edu
    Christopher J. F. Pickett, Clark Verbrugge
    claim paper
    Read More »
    « first‹ previous…101112131415161718…next ›last »
    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-2024, USA.