Sciweavers

    2774 search results - page 7 / 555
    » Query-Driven Program Testing
    Sort
    View
    HASKELL
    2008
    ACM
    133views Programming Languages» more  HASKELL 2008»
    Smallcheck and lazy smallcheck: automatic exhaustive testing for small values
    15 years 3 months ago
    Smallcheck and lazy smallcheck: automatic exhaustive testing for small values
    Download  www.cs.york.ac.uk
    Colin Runciman, Matthew Naylor, Fredrik Lindblad
    claim paper
    Read More »
    ICALP
    2010
    Springer
    144views Programming Languages» more  ICALP 2010»
    Data Stream Algorithms for Codeword Testing
    15 years 2 months ago
    Data Stream Algorithms for Codeword Testing
    Download  www.acsu.buffalo.edu
    Atri Rudra, Steve Uurtamo
    claim paper
    Read More »
    GECCO
    2005
    Springer
    189views Optimization» more  GECCO 2005»
    Molecular programming: evolving genetic programs in a test tube
    15 years 7 months ago
    Molecular programming: evolving genetic programs in a test tube
    Download  www.cs.bham.ac.uk
    We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
    Byoung-Tak Zhang, Ha-Young Jang
    claim paper
    Read More »
    SAC
    2011
    ACM
    135views Applied Computing» more  SAC 2011»
    An empirical study on the effectiveness of time-aware test case prioritization techniques
    14 years 4 months ago
    An empirical study on the effectiveness of time-aware test case prioritization techniques
    Download  software.nju.edu.cn
    Regression testing is often performed with a time budget and it does not allow executing all test cases. Test case prioritization techniques re-order test cases to increase the ra...
    Dongjiang You, Zhenyu Chen, Baowen Xu, Bin Luo, Ch...
    claim paper
    Read More »
    CAV
    2011
    Springer
    253views Hardware» more  CAV 2011»
    HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
    14 years 5 months ago
    HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
    Download  people.csail.mit.edu
    Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
    Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. G...
    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-2026, USA.