4722 search results - page 538 / 945 » Representation-independent program analysis |
200
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...
189
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
296
click to vote
Publication
Still and multi-media images are subject to transformations for compression, steganographic embedding and digital watermarking. In a major program of activities we are engaged in t...
147
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
178
click to vote
PEPM
2010
ACM
16 years 3 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...