289 search results - page 41 / 58 » Using Slicing to Identify Duplication in Source Code |
99
Voted
ENTCS
2007
15 years 1 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
146
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
123
click to vote
ACMSE
2006
ACM
15 years 7 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
METRICS
2003
IEEE
15 years 7 months ago
2003
IEEE
Design patterns are recognized, named solutions to common design problems. The use of the most commonly referenced design patterns should promote adaptable and reusable program co...
108
Voted
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
Classic fault localization techniques can automatically provide information about the suspicious code blocks that are likely responsible for observed failures. This information is...