Sciweavers

    16725 search results - page 122 / 3345
    » Engineering Software Correctness
    Sort
    View
    SOCO
    2009
    Springer
    97views Software Engineering» more  SOCO 2009»
    Language-Independent Quantification and Weaving for Feature Composition
    15 years 9 months ago
    Language-Independent Quantification and Weaving for Feature Composition
    Download  www.infosun.fim.uni-passau.de
    Stefan Boxleitner, Sven Apel, Christian Kästn...
    claim paper
    Read More »
    CIBSE
    2009
    ACM
    127views Software Engineering» more  CIBSE 2009»
    Enfoque Integrado para el Procesamiento de Flujos de Datos: Un Escenario de Uso
    15 years 9 months ago
    Enfoque Integrado para el Procesamiento de Flujos de Datos: Un Escenario de Uso
    Download  ideas09.eafit.edu.co
    Mario José Diván, Luis Olsina
    claim paper
    Read More »
    INDIASE
    2009
    ACM
    132views Software Engineering» more  INDIASE 2009»
    Integrated specification and quality assurance for large business information systems
    15 years 9 months ago
    Integrated specification and quality assurance for large business information systems
    Download  www.de.capgemini-sdm.com
    Frank Salger, Stefan Sauer, Gregor Engels
    claim paper
    Read More »
    ISSTA
    2009
    ACM
    119views Software Engineering» more  ISSTA 2009»
    Clash of the Titans: tools and techniques for hunting bugs in concurrent programs
    15 years 9 months ago
    Clash of the Titans: tools and techniques for hunting bugs in concurrent programs
    Download  vv.cs.byu.edu
    Neha Rungta, Eric G. Mercer
    claim paper
    Read More »
    ISSTA
    2009
    ACM
    106views Software Engineering» more  ISSTA 2009»
    Automatic mining of functionally equivalent code fragments via random testing
    15 years 9 months ago
    Automatic mining of functionally equivalent code fragments via random testing
    Download  wwwcsif.cs.ucdavis.edu
    Lingxiao Jiang, Zhendong Su
    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.