Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Applying Concept Analysis to User-Session-Based Testing of Web Applications

IEEE Transactions on Software Engineering

English

Using CSP to Detect Errors in the TMN Protocol

IEEE Transactions on Software Engineering

English

Implementation of the Database Machine Direct

IEEE Transactions on Software Engineering

English

Improving Speed and Productivity of Software Development: A Global Survey of Software Developers

IEEE Transactions on Software Engineering

English

Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms

IEEE Transactions on Software Engineering

English

A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System

IEEE Transactions on Software Engineering

English

Region Analysis: A Parallel Elimination Method for Data Flow Analysis

IEEE Transactions on Software Engineering

English

Using Program Slicing in Software Maintenance

IEEE Transactions on Software Engineering

English

Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process

IEEE Transactions on Software Engineering

English

The Exception Handling Effectiveness of POSIX Operating Systems

IEEE Transactions on Software Engineering

English