Sciweavers

    5855 search results - page 36 / 1171
    » Test generation and minimization with
    Sort
    View
    IJAC
    2007
    49views more  IJAC 2007»
    Minimal Semigroups Generating Varieties with Complex subvariety Lattices
    13 years 11 months ago
    Minimal Semigroups Generating Varieties with Complex subvariety Lattices
    Download  people.math.sfu.ca
    Edmond W. H. Lee
    claim paper
    Read More »
    ISCIS
    2003
    Springer
    196views Information Technology» more  ISCIS 2003»
    Test Case Generation According to the Binary Search Strategy
    14 years 4 months ago
    Test Case Generation According to the Binary Search Strategy
    Download  ebus.informatik.uni-leipzig.de
    One of the important tasks during software testing is the generation of test cases. Unfortunately, existing approaches to test case generation often have problems limiting their us...
    Sami Beydeda, Volker Gruhn
    claim paper
    Read More »
    GECCO
    2009
    Springer
    162views Optimization» more  GECCO 2009»
    TestFul: using a hybrid evolutionary algorithm for testing stateful systems
    14 years 3 months ago
    TestFul: using a hybrid evolutionary algorithm for testing stateful systems
    Download  home.dei.polimi.it
    This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
    Matteo Miraz, Pier Luca Lanzi, Luciano Baresi
    claim paper
    Read More »
    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
    14 years 18 days 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 »
    TACAS
    1997
    Springer
    132views Algorithms» more  TACAS 1997»
    Test Generation for Intelligent Networks Using Model Checking
    14 years 3 months ago
    Test Generation for Intelligent Networks Using Model Checking
    Download  www-master.ufr-info-p6.jussieu.fr
    We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
    André Engels, Loe M. G. Feijs, Sjouke Mauw
    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.