173 search results - page 4 / 35 » Automatically Identifying Known Software Problems |
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Developers frequently integrate complex COTS frameworks and components in software applications. COTS products are often only partially documented, and developers may misuse techn...
FSTTCS
2010
Springer
13 years 5 months ago
2010
Springer
Bisimulation equivalence is decidable in polynomial time over normed graphs generated by a context-free grammar. We present a new algorithm, working in time O(n5 ), thus improving...