Sciweavers

    IASTEDSE   2004
    Wall of Fame | Most Viewed IASTEDSE-2004 Paper
    IASTEDSE
    2004
    220views Software Engineering» more  IASTEDSE 2004»
    A symbolic Java virtual machine for test case generation
    13 years 6 months ago
    A symbolic Java virtual machine for test case generation
    Download  miami.uni-muenster.de
    Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
    Roger A. Müller, Christoph Lembeck, Herbert K...
    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 source220
    A symbolic Java virtual machine for test case generation
    claim
    2Download preprint from source168
    A pro-active middleware platform for mobile environments
    claim
    3Download preprint from source147
    An authorization and access control scheme for pervasive computing
    claim
    4Download preprint from source143
    A conceptual model for requirements engineering and management for change-intensive software
    claim
    5Download preprint from source142
    A Java API for Experimental analysis of algorithms
    claim
    6Download preprint from source142
    Mapping UML statecharts to java code
    claim
    7Download preprint from source133
    A deterministic density algorithm for pairwise interaction coverage
    claim
    8Download preprint from source131
    Towards a model-based and incremental development process for service-based systems
    claim
    9Download preprint from source127
    Visual interface for adaptation of data sources to semantic web
    claim
    10Download preprint from source125
    Types of quality of service contracts for component-based systems
    claim
    11Download preprint from source123
    Mobile, on demand access of service-annotated 3D maps
    claim
    12Download preprint from source122
    Design and evaluation of birthmarks for detecting theft of java programs
    claim
    13Download preprint from source116
    Security and reliability challenges in component-based software for consumer devices
    claim
    14Download preprint from source115
    Automatic control flow based generation of stubs for structural testing
    claim
    15Download preprint from source109
    Experience of communications software evolution and performance improvement with patterns
    claim
    16Download preprint from source105
    The challenges of automated methods for integrating systems
    claim
    17Download preprint from source100
    Conflict checking of separation of duty constraints in RBAC - implementation experiences
    claim
    18Download preprint from source97
    Formal fault tree construction and system safety analysis
    claim
    19Download preprint from source95
    Targeted messages in indoor mobile environment: A software - oriented approach
    claim
    20Download preprint from source94
    A coordination architecture for time-dependent components
    claim
    21Download preprint from source88
    Flexible incremental development by integrating specification and code
    claim
    22Download preprint from source87
    Providing multidimensional decomposition in object-oriented analysis and design
    claim
    23Download preprint from source84
    A software development process supporting non-functional properties
    claim
    24Download preprint from source82
    Does active guidance improve software inspections? A preliminary empirical study
    claim
    25Download preprint from source74
    Using application domain ontology to construct an initial system model
    claim
    26Download preprint from source70
    Service specification with MSCs and roles
    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.