Sciweavers

3688 search results - page 394 / 738
» Static analysis of aspects
Sort
View
ASUNAM
2011
IEEE
14 years 6 months ago
SCENE: Structural Conversation Evolution NEtwork
—It’s not just what you say, but it is how you say it. To date, the majority of the Instant Message (IM) analysis and research has focused on the content of the conversation.Th...
Marina Danilevsky, Joshua M. Hailpern, Jiawei Han
CSMR
2007
IEEE
16 years 1 months ago
The Dynamic Function Coupling Metric and Its Use in Software Evolution
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
Árpád Beszédes, Tamás ...
ACSC
2006
IEEE
16 years 29 days ago
Manufacturing opaque predicates in distributed systems for code obfuscation
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
Anirban Majumdar, Clark D. Thomborson
IEEEPACT
2006
IEEE
16 years 28 days ago
Region array SSA
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...
Silvius Rus, Guobin He, Christophe Alias, Lawrence...
SEFM
2006
IEEE
16 years 27 days ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani