| Legend | ||||||
|---|---|---|---|---|---|---|
| Keynote | Regular Session | Industry Practice | Fast Abstracts | Student Paper | Panel | |
| 8:30am - 9:30 | Keynote: "Model-Driven Engineering: Concepts and Challenges for Managing Reliability," Bernhard Rumpe | |||
| 9:30 - 10:00 | Coffee Break | |||
| 10:00 - Noon | Testing III | Tools & Automation II | Reliability II | |
| Noon - 2:00pm | Lunch | |||
| 2:00 - 3:00 | Panel 3 | Security | Quality Assurance | Software Reliability Models |
| 3:00 - 3:30 | Software Fault Studies | |||
Model Engineering is a new paradigm becoming more and more interesting within the software development community, because of its improvements in both in development efficiency and quality of the result.
After introducing the foundational concept of model engineering, we demonstrate an approch to use model engineering for evolution of software architectures.
We show how such software evolution can already be managed on an architectural level provided that reliability ensuring mechanisms, such as test models exist. The key idea of the approach is to use model artifacts to describe the architecture of a system and others to model tests. Both can be analyzed for consistency and can be animated in order to derive test results.
An architecture is evolved using systematic refactoring techniques and thus becomes a lot easier when regression tests allow to repeatedly check the correctness of each evolution step and thus retain reliability over the evolutionary process.
The presented approach describes a synergetic combination of techniques from model engineering and agile methods.
Prof. Dr. Bernhard Rumpe is running the Institute for Software Systems Engineering at the Braunschweig University of Technology, Germany.
His main interests are software development methods and techniques that benefit form both rigorous and practical approaches. This includes the impact of new technologies such as model-engineering based on UML-like notations and evolutionary, test-based methods as well as the methodical and technical implications of their use in industry.
He is author and editor of eight books and Editor-in-Chief of the new Springer International Journal on Software and Systems Modeling.
Multiple Profile Evaluation Using a Single Test Suite in Random Testing
S. Mankefors-Christiernin, A. Boklund
From Test Count to Code Coverage using the Log-normal Failure Rate Model
S. Gokhale, R. Mullen
Validation and Reliability Estimation of a Fingerprint Image Registration Software
D. Desovski, V. Gandikota, Y. Liu, Y. Jiang, B. Cukic
An Extended Operational Profile Model
M. Gittens, H. Lutfiyya, M. Bauer
Bridging the Gap Between Neuroscience and Software Technology, an Effective Method to Detect Software Memory Leakage Based on Findings From Human Memory Study
J. Wang, J. Xu, C. Pham
Automatically Inferring Temporal Properties for Program Evolution
J. Yang, D. Evans
Middleware Transparent Development of Dependable CORBA Applications
B. Kamalakar, S. Ghosh, P. Vile
Survivability Analysis of Telephone Access Network
Y. Liu, V. Mendiratta, K. Trivedi
Updates to the Schneidewind Software Reliability Model in SMERFS3
W. Farr, J. Crigler, D. Wallace
A Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and its System Interface
M. Feather
Empirical Study of Session-based Workload and Reliability for Web Servers
K. Goseva-Popstojanova, S. Mazimdar, A. Singh
Model-driven Validation and Verification
TBD
A novel approach for distributed updates of MAC policies using a meta-protection framework
M. Blanc, P. Courtieu, G. Hains, L. Oudot, C. Toinard
Automating forensic software analysis
S. Ramakrishnan
Effectiveness of stochastically generated dependencies in pairwise testing
Kera Z. Bell and Mladen A. Vouk
Legislation to develop national software certification laboratories
Norman F. Schneidewind and Jeffrey Voas
Robust Prediction of Fault-Proneness by Random Forests
L. Guo, Y. Ma, B. Cukic, H. Singh
A Preliminary Investigation of Automated Software Inspection
N. Nagappan, L. Williams, J. Hudepohl, W. Snipes, M. Vouk
Software Release Control using Defect Based Quality Estimation
J. Cangussu, R. Karcich, A. Mathur, R. DeCarlo
Tree-Based Methods for Classifying Software Failures
P. Francis, D. Leon, M. Minch, A. Podgurski
Software Reliability Models
Baris Surucu
Discrete stochastic Gompertz equations and software reliability growth models
Daisuke Satoh
Parameter reestimation for a reliability model for modular software
James Ledoux
Bayesian approach to estimate software reliability in fault-removal environment
Hiroyuki Okamura, Hitoshi Furumura, and Tadashi Dohi
Finding upper bounds for dependencies between software components by using Bayesian hypothesis testing
Monica Kristiansen and Rune Winther
An approach of estimating the probability of fault propagation
Yuan Wei and Carol Smidts
On the relationship between single and double faults in logical expression
M.F. Lau and Y.T. Yu
Evaluating Web page reliability across varied browsing environments
Cyntrica Eaton and Atif Memon