418 search results - page 20 / 84 » GUI Inspection from Source Code Analysis |
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
CSMR
2005
IEEE
15 years 3 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
IWPC
2009
IEEE
15 years 4 months ago
2009
IEEE
An approach to recommend a ranked list of developers to assist in performing software changes given a textual change request is presented. The approach employs a two-fold strategy...
CSMR
2007
IEEE
15 years 3 months ago
2007
IEEE
Despite the conventional wisdom concerning the risks related to the use of source code cloning as a software development strategy, several studies appeared in literature indicated...
ICSE
1999
IEEE-ACM
1999
IEEE-ACM
CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments
15 years 1 months ago
Source code browsing is an important part of program comprehension. Browsers expose semantic and syntactic relationships (such as between object references and definitions) in GU...