Sciweavers

412 search results - page 30 / 83
» The documentary structure of source code
Sort
View
CASES
2007
ACM
14 years 14 days ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
ECBS
2004
IEEE
129views Hardware» more  ECBS 2004»
14 years 6 days ago
Using Feature Modeling for Program Comprehension and Software Architecture Recovery
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
Ilian Pashov, Matthias Riebisch
DGO
2003
106views Education» more  DGO 2003»
13 years 10 months ago
A Framework for Regulation Comparison with Application to Accessibility Codes
An objective of this research is to develop a framework for regulation management as well as for comparing regulations from multiple sources. An online repository for regulatory d...
Gloria T. Lau, Kincho H. Law, Gio Wiederhold
ACSAC
2007
IEEE
14 years 2 months ago
Automated Security Debugging Using Program Structural Constraints
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...
Chongkyung Kil, Emre Can Sezer, Peng Ning, Xiaolan...
IWPC
2010
IEEE
13 years 7 months ago
Studying the Impact of Social Structures on Software Quality
Abstract—Correcting software defects accounts for a significant amount of resources such as time, money and personnel. To be able to focus testing efforts where needed the most,...
Nicolas Bettenburg, Ahmed E. Hassan