Sciweavers

    16725 search results - page 203 / 3345
    » Engineering Software Correctness
    Sort
    View
    134
    Voted
    KBSE
    1999
    IEEE
    79views Software Engineering» more  KBSE 1999»
    NAVCo: Negotiation-based Adaptive View Coordination
    15 years 11 months ago
    NAVCo: Negotiation-based Adaptive View Coordination
    Download  www.mitre.org
    Prasanta K. Bose, Mark G. Matthews
    claim paper
    Read More »
    149
    Voted
    KBSE
    1999
    IEEE
    107views Software Engineering» more  KBSE 1999»
    Automatic Generation of Test Oracles-From Pilot Studies to Application
    15 years 11 months ago
    Automatic Generation of Test Oracles-From Pilot Studies to Application
    Download  ase.cs.uni-essen.de
    Martin S. Feather, Benjamin D. Smith
    claim paper
    Read More »
    132
    Voted
    ESEC
    1999
    Springer
    142views Software Engineering» more  ESEC 1999»
    The Concept of Dynamic Analysis
    15 years 11 months ago
    The Concept of Dynamic Analysis
    Download  www.cs.arizona.edu
    Thomas Ball
    claim paper
    Read More »
    142
    Voted
    ESEC
    1999
    Springer
    114views Software Engineering» more  ESEC 1999»
    Using Model Checking to Generate Tests from Requirements Specifications
    15 years 11 months ago
    Using Model Checking to Generate Tests from Requirements Specifications
    Download  cs.unibg.it
    Angelo Gargantini, Constance L. Heitmeyer
    claim paper
    Read More »
    132
    Voted
    ESEC
    1999
    Springer
    113views Software Engineering» more  ESEC 1999»
    Efficient Points-to Analysis for Whole-Program Analysis
    15 years 11 months ago
    Efficient Points-to Analysis for Whole-Program Analysis
    Download  www.cs.colostate.edu
    Donglin Liang, Mary Jean Harrold
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.