Sciweavers

    6704 search results - page 68 / 1341
    » Testing Scenario-Based Models
    Sort
    View
    HVC
    2007
    Springer
    109views Hardware» more  HVC 2007»
    Symbolic Execution and Model Checking for Testing
    16 years 22 days ago
    Symbolic Execution and Model Checking for Testing
    Download  ti.arc.nasa.gov
    Corina S. Pasareanu, Willem Visser
    claim paper
    Read More »
    127
    Voted
    ICWE
    2007
    Springer
    92views Internet Technology» more  ICWE 2007»
    A Survey of Analysis Models and Methods in Website Verification and Testing
    16 years 22 days ago
    A Survey of Analysis Models and Methods in Website Verification and Testing
    Download  research.cs.queensu.ca
    Manar H. Alalfi, James R. Cordy, Thomas R. Dean
    claim paper
    Read More »
    LADC
    2007
    Springer
    149views Applied Computing» more  LADC 2007»
    Designing Fault Injection Experiments Using State-Based Model to Test a Space Software
    16 years 22 days ago
    Designing Fault Injection Experiments Using State-Based Model to Test a Space Software
    Download  mtc-m17.sid.inpe.br
    Ana Maria Ambrosio, Maria de Fátima Mattiel...
    claim paper
    Read More »
    DEPCOS
    2006
    IEEE
    93views Hardware» more  DEPCOS 2006»
    Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
    16 years 19 days ago
    Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
    Download  home.mit.bme.hu
    Zoltán Micskei, István Majzik
    claim paper
    Read More »
    COMPSAC
    2005
    IEEE
    120views Software Engineering» more  COMPSAC 2005»
    Model-Based Software Testing and Verification
    16 years 6 days ago
    Model-Based Software Testing and Verification
    Download  conferences.computer.org
    tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
    Aditya P. Mathur
    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.