Author image not provided
 Yin Liu

Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article10.63
Citation Count85
Publication count8
Publication years2003-2010
Available for download5
Average downloads per article524.20
Downloads (cumulative)2,621
Downloads (12 Months)49
Downloads (6 Weeks)3
Arrow RightAuthor only

See all colleagues of this author

See all subject areas


8 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 8 of 8
Sort by:

March 2010 CSMR '10: Proceedings of the 2010 14th European Conference on Software Maintenance and Reengineering
Publisher: IEEE Computer Society
Citation Count: 4

Reasoning about information flow can help software engineering. Static information flow inference analysis is a technique which automatically infers information flows based on data or control dependence. It can be utilized for the purposes of general program understanding, detection of security attacks and security vulnerabilities, and type inference for security ...
Keywords: information flow, type inference, security vulnerability, automatic inference

January 2010
Citation Count: 0

For the software quality and security concerns, it is important to reason about security-related program securities. We present a static analysis framework for inference of security-related program properties. Within this framework we infer ownership, immutability and information flow for the protection of object access, data confidentiality and integrity. ...

3 published by ACM
November 2008 PASTE '08: Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Publisher: ACM
Citation Count: 5
Downloads (6 Weeks): 1,   Downloads (12 Months): 6,   Downloads (Overall): 307

Full text available: PDFPDF
This paper proposes a new static analysis for inference of explicit information flow. The analysis is context-sensitive, cubic, and works both on complete programs and software components. We perform experiments on several Java components which show that the analysis is precise and practical. Thus, the analysis can be incorporated in ...
Keywords: flow analysis, points-to analysis

May 2007 ICSE '07: Proceedings of the 29th international conference on Software Engineering
Publisher: IEEE Computer Society
Citation Count: 9
Downloads (6 Weeks): 1,   Downloads (12 Months): 8,   Downloads (Overall): 329

Full text available: PDFPDF
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verification of these constraints through reverse engineering. These constraints inherently support software design principles, and impose requirements on the implementation that may help ...

October 2006 CASCON '06: Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Publisher: IBM Corp.
Citation Count: 0
Downloads (6 Weeks): 1,   Downloads (12 Months): 2,   Downloads (Overall): 378

Full text available: HtmlHtml  PDFPDF
Coupling measures have important applications in software development and maintenance. They are used to reason about the structural complexity of software and have been shown to predict quality attributes such as fault-proneness, ripple effects of changes and changeability. Traditional object-oriented coupling measures do not account for polymorphic interactions, and thus ...

6 published by ACM
April 2006 ACM Transactions on Software Engineering and Methodology (TOSEM): Volume 15 Issue 2, April 2006
Publisher: ACM
Citation Count: 41
Downloads (6 Weeks): 1,   Downloads (12 Months): 26,   Downloads (Overall): 1,085

Full text available: PDFPDF
To facilitate software maintenance and evolution, a helpful step is to locate features concerned in a particular maintenance task. In the literature, both dynamic and interactive approaches have been proposed for feature location. In this article, we present a static and noninteractive method for achieving this objective. The main idea ...
Keywords: feature location, information retrieval, BRCG, static analysis, traceability, Program comprehension

May 2004 ICSE '04: Proceedings of the 26th International Conference on Software Engineering
Publisher: IEEE Computer Society
Citation Count: 20
Downloads (6 Weeks): 0,   Downloads (12 Months): 6,   Downloads (Overall): 521

Full text available: PDFPDF
To facilitate software maintenance and evolution, a helpfulstep is to locate features concerned in a particular maintenancetask. In the literature, both dynamic and interactive approacheshave been proposed for feature location. In this paper, wepresent a static and non-interactive method for achieving thisobjective. The main idea of our approach is to ...

December 2003 APSEC '03: Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
Publisher: IEEE Computer Society
Citation Count: 6

For software maintenance and evolution, a commonproblem is to understand how each requirement isimplemented in the source code. The basic solution of thisproblem is to find the fragment of source code that iscorresponding to the implementation of each requirement.This can be viewed as a requirement-slicing problem --slicing the source code ...
Keywords: program comprehension, softwaremaintenance, traceability, information retrieval, staticanalysis

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us