Failover of Software Services with State Replication
Fairness as a QoS Measure for Web Services
Fault Based Techniques for Testing Boolean Expressions: A Survey
Fault Localization for Java Programs using Probabilistic Program Dependence Graph
Fault Predictions in Object Oriented Software
FAYE: A Java Implement of the Frame/Stream/Stop Analysis Model
Feature-Aware Verification
File Managing and Program Execution in Web Operating Systems
Filling the Gap between Business Process Modeling and Behavior Driven Development
Finding Failure Causes through Automated Testing
Finite State Machine Based Evaluation Model for Web Service Reliability Analysis
FLOW-Methode - Methodenbeschreibung zur Anwendung von FLOW
Footprints in Local Reasoning
Formal Modeling in a Commercial Setting: A Case Study
Formal Modelling of a Usable Identity Management Solution for Virtual Organisations
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Formalising the Continuous/Discrete Modeling Step
Formalization and Validation of Safety-Critical Requirements
Formalizing Safety Requirements Using Controlling Automata
Formalizing Traceability and Derivability in Software Product Lines