944 search results - page 8 / 189 » Software model checking without source code |
CC
2009
Springer
14 years 8 days ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...
SPLC
2008
13 years 9 months ago
2008
Implementing software product lines is a challenging task. Depending on the implementation technique the code that realizes a feature is often scattered across multiple code units...
CSMR
2006
IEEE
14 years 1 months ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Code clones in software increase maintenance cost and lower software quality. We have devised a new algorithm to detect duplicated parts of source code in large software. Our algo...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
