Sciweavers

    ICST   2010 Verification Software Testing
    Wall of Fame | Most Viewed ICST-2010 Paper
    ICST
    2010
    IEEE
    205views Software Engineering» more  ICST 2010»
    Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
    13 years 11 months ago
    Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
    Download  www.irisa.fr
    Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
    Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit ...
    claim paper
    Read More »
    Disclaimer and Copyright Notice
    Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
    IdReadViewsTitleStatus
    1Download preprint from source205
    Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
    claim
    2Download preprint from source195
    Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
    claim
    3Download preprint from source189
    Longer is Better: On the Role of Test Sequence Length in Software Testing
    claim
    4Download preprint from source178
    Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
    claim
    5Download preprint from source175
    Automated Behavioral Regression Testing
    claim
    6Download preprint from source173
    Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes
    claim
    7Download preprint from source168
    GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
    claim
    8Download preprint from source166
    Regression Testing Ajax Applications: Coping with Dynamism
    claim
    9Download preprint from source157
    When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
    claim
    10Download preprint from source151
    Generating Transition Probabilities for Automatic Model-Based Test Generation
    claim
    11Download preprint from source149
    (Un-)Covering Equivalent Mutants
    claim
    12Download preprint from source146
    Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard
    claim
    13Download preprint from source138
    TestFul: An Evolutionary Test Approach for Java
    claim
    14Download preprint from source137
    Repairing GUI Test Suites Using a Genetic Algorithm
    claim
    15Download preprint from source132
    Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista
    claim
    16Download preprint from source128
    Fault Detection Likelihood of Test Sequence Length
    claim
    17Download preprint from source126
    Timed Moore Automata: Test Data Generation and Model Checking
    claim
    18Download preprint from source118
    GUI Testing Techniques Evaluation by Designed Experiments
    claim
    19Download preprint from source117
    Simulated Satisfaction of Coverage Criteria on UML State Machines
    claim
    20Download preprint from source116
    Model Based Testing and Abstract Interpretation in the Railway Signaling Context
    claim
    21Download preprint from source112
    Challenges with Software Verification and Validation Activities in the Space Industry
    claim
    22Download preprint from source107
    Precisely Detecting Runtime Change Interactions for Evolving Software
    claim
    23Download preprint from source99
    Does Hardware Configuration and Processor Load Impact Software Fault Observability?
    claim
    24Download preprint from source99
    Satisfying Test Preconditions through Guided Object Selection
    claim
    25Download preprint from source97
    MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
    claim
    26Download preprint from source96
    Verified Firewall Policy Transformations for Test Case Generation
    claim
    27Download preprint from source93
    Rex: Symbolic Regular Expression Explorer
    claim
    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.