418 search results - page 22 / 84 » GUI Inspection from Source Code Analysis |
CORR
2007
Springer
14 years 9 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 3 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...
ACHI
2008
IEEE
15 years 4 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...
IEEEPACT
2002
IEEE
15 years 2 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...
SP
2002
IEEE
14 years 9 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...