174 search results - page 7 / 35 » On Finding Duplication and Near-Duplication in Large Softwar... |
CSREAESA
2006
13 years 8 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
GECCO
2007
Springer
13 years 11 months ago
2007
Springer
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 model checke...
MSR
2010
ACM
14 years 13 days ago
2010
ACM
Abstract—In Open Source System (OSS) development, software components are often imported and reused; for this reason we might expect that files are copied in multiple projects (...
SERP
2004
13 years 8 months ago
2004
Attention to aspect oriented programming (AOP) is rapidly growing as its benefits in large software system development and maintenance are increasingly recognized. However, existin...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Code cloning is not only assumed to inflate maintenance costs but also considered defect-prone as inconsistent changes to code duplicates can lead to unexpected behavior. Conseque...