Sciweavers

    6800 search results - page 12 / 1360
    » Testing with Functions as Specifications
    Sort
    View
    SERP
    2007
    182views Software Engineering» more  SERP 2007»
    From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of
    13 years 9 months ago
    From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of
    Download  web.fokus.fraunhofer.de
    - Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
    Justyna Zander-Nowicka, Abel Marrero Pérez,...
    claim paper
    Read More »
    AMC
    2006
    87views more  AMC 2006»
    Numerical solution of a non-classical parabolic problem: An integro-differential approach
    13 years 7 months ago
    Numerical solution of a non-classical parabolic problem: An integro-differential approach
    Download  www3.ntu.edu.sg
    A numerical method based on an integro-differential formulation and approximation by local interpolating functions is proposed for solving a one-dimensional parabolic partial diff...
    Whye-Teong Ang
    claim paper
    Read More »
    ACSD
    2003
    IEEE
    102views Hardware» more  ACSD 2003»
    Specification Coverage Aided Test Selection
    13 years 11 months ago
    Specification Coverage Aided Test Selection
    Download  www.tcs.hut.fi
    In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
    Tuomo Pyhälä, Keijo Heljanko
    claim paper
    Read More »
    BMCBI
    2005
    62views more  BMCBI 2005»
    Linking enzyme sequence to function using conserved property difference locator to identify and annotate positions likely to con
    13 years 7 months ago
    Linking enzyme sequence to function using conserved property difference locator to identify and annotate positions likely to con
    Download  www.biomedcentral.com
    Kimberly M. Mayer, Sean R. McCorkle, John Shanklin
    claim paper
    Read More »
    SIGSOFT
    2005
    ACM
    270views Software Engineering» more  SIGSOFT 2005»
    CUTE: a concolic unit testing engine for C
    14 years 8 months ago
    CUTE: a concolic unit testing engine for C
    Download  osl.cs.uiuc.edu
    In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
    Koushik Sen, Darko Marinov, Gul Agha
    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.