173
click to vote
PEPM
15 years 6 months ago
2010 ACM 
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
133
click to vote
PEPM
16 years 1 months ago
2010 ACM 
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
157
Voted
PEPM
16 years 1 months ago
2010 ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
138
click to vote
PEPM
16 years 1 months ago
2010 ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
128
click to vote
PEPM
16 years 1 months ago
2010 ACM 
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
|
Software Engineering