Sciweavers

    3544 search results - page 39 / 709
    » Software Testing
    Sort
    View
    AMOST
    2007
    ACM
    241views Software Engineering» more  AMOST 2007»
    Model-based regression test suite generation using dependence analysis
    15 years 10 months ago
    Model-based regression test suite generation using dependence analysis
    Download  www.site.uottawa.ca
    Yanping Chen, Robert L. Probert, Hasan Ural
    claim paper
    Read More »
    AMOST
    2007
    ACM
    240views Software Engineering» more  AMOST 2007»
    Relating counterexamples to test cases in CTL model checking specifications
    15 years 10 months ago
    Relating counterexamples to test cases in CTL model checking specifications
    Download  www.ist.tugraz.at
    Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...
    claim paper
    Read More »
    COMPSAC
    2004
    IEEE
    138views Software Engineering» more  COMPSAC 2004»
    Generating Regression Tests via Model Checking
    15 years 9 months ago
    Generating Regression Tests via Model Checking
    Download  eagle.csie.ntut.edu.tw
    Lihua Xu, Marcio S. Dias, Debra J. Richardson
    claim paper
    Read More »
    CODES
    2001
    IEEE
    98views Software Engineering» more  CODES 2001»
    SystemC: a homogenous environment to test embedded systems
    15 years 9 months ago
    SystemC: a homogenous environment to test embedded systems
    Download  www.cs.york.ac.uk
    Alessandro Fin, Franco Fummi, Maurizio Martignano,...
    claim paper
    Read More »
    ICSE
    2000
    IEEE-ACM
    97views Software Engineering» more  ICSE 2000»
    Deriving test plans from architectural descriptions
    15 years 9 months ago
    Deriving test plans from architectural descriptions
    Download  members.tripod.com
    Antonia Bertolino, Flavio Corradini, Paola Inverar...
    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.