3792 search results - page 109 / 759 » Techniques for Trusted Software Engineering |
104
click to vote
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a technique that leverages an existing regression test-selection algorithm to compute accurate, updated coverage data on a version of the software, Pi+1, witho...
136
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Workspace awareness techniques have been proposed to enhance the effectiveness of software configuration management systems in coordinating parallel work. These techniques share i...
128
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Many software engineering applications require points-to analysis. Client applications range from optimizing compilers to program development and testing environments to reverse...
111
Voted
AVI
2006
15 years 5 months ago
2006
The rapid increase in display sizes and resolutions has led to the re-emergence of many pen-based interaction systems like tabletop and wall display environments. Pointing in thes...
135
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...