Sciweavers

    5668 search results - page 140 / 1134
    » The case for software evolution
    Sort
    View
    118
    Voted
    SIGSOFT
    2007
    ACM
    128views Software Engineering» more  SIGSOFT 2007»
    Contract driven development = test driven development - writing test cases
    16 years 4 months ago
    Contract driven development = test driven development - writing test cases
    Download  groups.csail.mit.edu
    Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertr...
    claim paper
    Read More »
    97
    Voted
    ICSE
    2005
    IEEE-ACM
    139views Software Engineering» more  ICSE 2005»
    A case study on the automated verification of groupware protocols
    16 years 3 months ago
    A case study on the automated verification of groupware protocols
    Download  fmt.isti.cnr.it
    Maurice H. ter Beek, Mieke Massink, Diego Latella,...
    claim paper
    Read More »
    92
    Voted
    KBSE
    2003
    IEEE
    99views Software Engineering» more  KBSE 2003»
    Automated Requirements-based Generation of Test Cases for Product Families
    15 years 9 months ago
    Automated Requirements-based Generation of Test Cases for Product Families
    Download  www.irisa.fr
    Clémentine Nebut, Simon Pickin, Yves Le Tra...
    claim paper
    Read More »
    ISSRE
    2002
    IEEE
    79views Software Engineering» more  ISSRE 2002»
    Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment
    15 years 8 months ago
    Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment
    Download  www.irisa.fr
    Benoit Baudry, Franck Fleurey, Jean-Marc Jé...
    claim paper
    Read More »
    92
    Voted
    ISSTA
    2000
    ACM
    79views Software Engineering» more  ISSTA 2000»
    Putting static analysis to work for verification: A case study
    15 years 8 months ago
    Putting static analysis to work for verification: A case study
    Download  rw4.cs.uni-saarland.de
    Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhar...
    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.