Sciweavers

    476 search results - page 12 / 96
    » Representation dependence testing using program inversion
    Sort
    View
    FMICS
    2008
    Springer
    196views Formal Methods» more  FMICS 2008»
    Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
    13 years 9 months ago
    Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
    Download  membres-liglab.imag.fr
    Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
    Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
    claim paper
    Read More »
    IJCAI
    2007
    159views Artificial Intelligence» more  IJCAI 2007»
    A Machine Learning Approach for Statistical Software Testing
    13 years 9 months ago
    A Machine Learning Approach for Statistical Software Testing
    Download  www.ijcai.org
    Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
    Nicolas Baskiotis, Michèle Sebag, Marie-Cla...
    claim paper
    Read More »
    CASCON
    1996
    118views Education» more  CASCON 1996»
    On predicting reliability of modules using code coverage
    13 years 9 months ago
    On predicting reliability of modules using code coverage
    Download  www.cs.ubc.ca
    The estimation of reliability of modules using code coverage is motivated by a two-phase method for estimating the quality of software using static structure and predicted quality...
    Saileshwar Krishnamurthy, Aditya P. Mathur
    claim paper
    Read More »
    DEXAW
    2003
    IEEE
    113views Database» more  DEXAW 2003»
    Integrating Ontology Languages and Answer Set Programming
    14 years 28 days ago
    Integrating Ontology Languages and Answer Set Programming
    Download  www.kr.tuwien.ac.at
    We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
    Stijn Heymans, Dirk Vermeir
    claim paper
    Read More »
    JOT
    2007
    123views more  JOT 2007»
    Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs
    13 years 7 months ago
    Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs
    Download  www.jot.fm
    Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
    Philippe Massicotte, Linda Badri, Mourad Badri
    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.