Sciweavers

    4299 search results - page 115 / 860
    » Concurrent Test Generation
    Sort
    View
    AMOST
    2007
    ACM
    241views Software Engineering» more  AMOST 2007»
    Model-based regression test suite generation using dependence analysis
    15 years 7 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 »
    98
    Voted
    CASSIS
    2004
    Springer
    85views Human Computer Interaction» more  CASSIS 2004»
    Mastering Test Generation from Smart Card Software Formal Models
    15 years 7 months ago
    Mastering Test Generation from Smart Card Software Formal Models
    Download  www-sop.inria.fr
    Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...
    claim paper
    Read More »
    COMPSAC
    2004
    IEEE
    138views Software Engineering» more  COMPSAC 2004»
    Generating Regression Tests via Model Checking
    15 years 7 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 »
    FMCAD
    2006
    Springer
    144views Formal Methods» more  FMCAD 2006»
    Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip
    15 years 7 months ago
    Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip
    Download  www-verimag.imag.fr
    Claude Helmstetter, Florence Maraninchi, Laurent M...
    claim paper
    Read More »
    104
    Voted
    ATS
    1995
    IEEE
    91views Hardware» more  ATS 1995»
    Deterministic test generation for non-classical faults on the gate level
    15 years 7 months ago
    Deterministic test generation for non-classical faults on the gate level
    Download  www.tet.uni-hannover.de
    Udo Mahlstedt, Jürgen Alt, Ingo Hollenbeck
    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.