Study on the perturbation of lunar and planetary orbiters

Study Paper on Test Case generation for GUI Based Testing

Studying the Feasibility and Importance of Software Testing: An Analysis

Support for Debugging Automatically Parallelized Programs

Support for Evolving Software Architectures in the ArchWare ADL

Survey of Technologies for Web Application Development

Survey-Based Analysis of the Proposed Component-Based Development Process

Symbolic Implementation of Connectors in BIP

Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study

System Integration of High Level Applications during the Commissioning of the Swiss Light Source

Systematic Debugging of Attribute Grammars

Systematic Method for Path-Complete White Box Testing

Tackling the testing migration problem with SAT-Solvers

Tailored business solutions by workflow technologies

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

Teaching Spreadsheets: Curriculum Design Principles

TellTable Spreadsheet Audit: from Technical Possibility to Operating Prototype

Temporal Analysis of Literary and Programming Prose

Test Case Generation using Mutation Operators and Fault Classification