670 search results - page 49 / 134 » Software safety: relating software assurance and software in... |
ECLIPSE
2007
ACM
14 years 2 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
SIGSOFT
2001
ACM
14 years 11 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
ICST
2009
IEEE
13 years 7 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
IWPSE
2003
IEEE
14 years 3 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
SIGSOFT
2008
ACM
14 years 11 months ago
2008
ACM
Quality assurance techniques for web applications have become increasingly important as web applications have gained in popularity and become an essential part of our daily lives....