1308 search results - page 76 / 262 » Application of Hazard Analysis to Software Quality Modelling |
COMPSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
AADEBUG
1995
Springer
14 years 16 days ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Software product lines enjoy increasingly wide adoption in the software industry. Most authors focus on the technical and process aspects and assume an organizational model consis...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
CC
2001
Springer
14 years 1 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...