Sciweavers

    1241 search results - page 20 / 249
    » Path-oriented random testing
    Sort
    View
    STOC
    2010
    ACM
    174views Algorithms» more  STOC 2010»
    Local list-decoding and testing of random linear codes from high error
    15 years 11 months ago
    Local list-decoding and testing of random linear codes from high error
    Download  web.mit.edu
    Swastik Kopparty, Shubhangi Saraf
    claim paper
    Read More »
    ICFP
    2000
    ACM
    105views Programming Languages» more  ICFP 2000»
    QuickCheck: a lightweight tool for random testing of Haskell programs
    15 years 11 months ago
    QuickCheck: a lightweight tool for random testing of Haskell programs
    Download  www.church-project.org
    Koen Claessen, John Hughes
    claim paper
    Read More »
    143
    Voted
    VLSID
    1999
    IEEE
    103views VLSI» more  VLSID 1999»
    POWERTEST: A Tool for Energy Conscious Weighted Random Pattern Testing
    15 years 11 months ago
    POWERTEST: A Tool for Energy Conscious Weighted Random Pattern Testing
    Download  www.ra.informatik.uni-stuttgart.de
    Xiaodong Zhang, Kaushik Roy, Sudipta Bhawmik
    claim paper
    Read More »
    ITC
    1991
    IEEE
    92views Hardware» more  ITC 1991»
    Refined Bounds on Signature Analysis Aliasing for Random Testing
    15 years 10 months ago
    Refined Bounds on Signature Analysis Aliasing for Random Testing
    Download  crc.stanford.edu
    Nirmal R. Saxena, Piero Franco, Edward J. McCluske...
    claim paper
    Read More »
    SERP
    2007
    82views Software Engineering» more  SERP 2007»
    Random Test Data Generation for Java Classes Annotated with JML Specifications
    15 years 8 months ago
    Random Test Data Generation for Java Classes Annotated with JML Specifications
    Download  www.cs.utep.edu
    Yoonsik Cheon, Carlos E. Rubio-Medrano
    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.