Sciweavers

412 search results - page 30 / 83
» The documentary structure of source code
Sort
View
CASES
2007
ACM
15 years 5 months 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»
15 years 5 months 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»
15 years 3 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
15 years 8 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
15 years 6 days 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