3792 search results - page 137 / 759 » Techniques for Trusted Software Engineering |
137
Voted
ICSM
1998
IEEE
15 years 8 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...
149
Voted
RAID
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In the ongoing arms race against malware, antivirus software is at the forefront, as one of the most important defense tools in our arsenal. Antivirus software is flexib...
126
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...
134
Voted
TFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
105
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...