174 search results - page 8 / 35 » On Finding Duplication and Near-Duplication in Large Softwar... |
MSR
2005
ACM
14 years 28 days ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
CEC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
CASCON
2004
13 years 8 months ago
2004
Previous research shows that most software systems contain significant amounts of duplicated, or cloned, code. Some clones are exact duplicates of each other, while others differ ...
MASCOTS
2008
13 years 8 months ago
2008
Manually tuning tens to hundreds of configuration parameters in a complex software system like a database or an application server is an arduous task. Recent work has looked into ...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
Within the HCI community, there is a growing interest in how technology is used and appropriated outside the workplace. In this paper, we present preliminary findings of how large...