Sciweavers

    2527 search results - page 32 / 506
    » A UML-Based Approach to System Testing
    Sort
    View
    FORTEST
    2008
    152views Formal Methods» more  FORTEST 2008»
    Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
    13 years 11 months ago
    Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
    Download  research.microsoft.com
    Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
    Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
    claim paper
    Read More »
    ICRA
    2005
    IEEE
    140views Robotics» more  ICRA 2005»
    Field Testing of the Mars Exploration Rovers Descent Image Motion Estimation System
    14 years 3 months ago
    Field Testing of the Mars Exploration Rovers Descent Image Motion Estimation System
    Download  www-robotics.jpl.nasa.gov
    – The Mars Exploration Rover (MER) Descent Image Motion Estimation System (DIMES) is the first autonomous machine vision system used to safely land a robotics payload on another ...
    Andrew Edie Johnson, Reg G. Willson, Jay Goguen, J...
    claim paper
    Read More »
    PTS
    2008
    98views Hardware» more  PTS 2008»
    Modular System Verification by Inference, Testing and Reachability Analysis
    13 years 11 months ago
    Modular System Verification by Inference, Testing and Reachability Analysis
    Download  www.crim.ca
    Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
    Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
    claim paper
    Read More »
    PTS
    1998
    81views Hardware» more  PTS 1998»
    Testing Temporal Logic Properties in Distributed Systems
    13 years 11 months ago
    Testing Temporal Logic Properties in Distributed Systems
    Download  icapeople.epfl.ch
    Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
    Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
    claim paper
    Read More »
    DELTA
    2008
    IEEE
    124views Information Technology» more  DELTA 2008»
    Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks
    14 years 4 months ago
    Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks
    Download  www.vmars.tuwien.ac.at
    —Most innovations in the automotive domain are nowadays enabled by networked embedded systems. In this context a new communication subsystem termed FlexRay was recently introduce...
    Paul Milbredt, Andreas Steininger, Martin Horauer
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.