Sciweavers

5 search results - page 1 / 1
» ssiri 2010
Sort
View
SSIRI
2010
13 years 2 months ago
Model-Based Argument Analysis for Evolving Security Requirements
Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar...
SSIRI
2010
13 years 2 months ago
Modelling and Implementing Complex Systems with Timebands
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei
SSIRI
2010
13 years 8 months ago
Recent Catastrophic Accidents: Investigating How Software was Responsible
Areas crucial to life such as medicine, transportation, nuclearenergy research and industry, aeronautics, and others, all make use of software in one way or another. However, the ...
W. Eric Wong, Vidroha Debroy, Adithya Surampudi, H...
SSIRI
2010
13 years 2 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
SSIRI
2010
13 years 8 months ago
An Industrial Case Study on Speeding Up User Acceptance Testing by Mining Execution Logs
—Software reliability is defined as the probability of failure-free operation for a period of time, under certain conditions. To determine whether the reliability of an applicat...
Zhen Ming Jiang, Alberto Avritzer, Emad Shihab, Ah...