418 search results - page 22 / 84 » GUI Inspection from Source Code Analysis |
CORR
2007
Springer
14 years 11 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
PPPJ
2006
ACM
15 years 5 months ago
2006
ACM
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
112
click to vote
ACHI
2008
IEEE
15 years 6 months ago
2008
IEEE
— To meet fast changing demands on modern software architectures the ambition to shorten and improve software development processes has increased. The approach of model-driven so...
102
click to vote
IEEEPACT
2002
IEEE
15 years 4 months ago
2002
IEEE
Optimizations performed at link time or directly applied to final program executables have received increased attention in recent years. Such low-level optimizations can benefit...
112
click to vote
SP
2002
IEEE
14 years 11 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...