2010 14th European Conference on Software Maintenance and Reengineering最新文献_第3页

Utilizing Debug Information to Compact Loops in Large Program Traces 利用调试信息来压缩大型程序跟踪中的循环

2010 14th European Conference on Software Maintenance and Reengineering Pub Date : 2010-03-15 DOI: 10.1109/CSMR.2010.19

D. Myers, M. Storey, M. Salois

引用次数: 25

A Heuristic-Based Approach to Identify Concepts in Execution Traces 一种基于启发式的方法来识别执行轨迹中的概念

2010 14th European Conference on Software Maintenance and Reengineering Pub Date : 2010-03-15 DOI: 10.1109/CSMR.2010.17

F. Asadi, M. D. Penta, G. Antoniol, Yann-Gaël Guéhéneuc

引用次数: 42

Towards a Safe Method for Computing Dependencies in Database-Intensive Systems 面向数据库密集型系统中依赖关系计算的安全方法

2010 14th European Conference on Software Maintenance and Reengineering Pub Date : 2010-03-15 DOI: 10.1109/CSMR.2010.29

Csaba Nagy, Janos Pantos, T. Gergely, Árpád Beszédes

引用次数: 6

Modular network models for class dependencies in software 软件中类依赖关系的模块化网络模型

2010 14th European Conference on Software Maintenance and Reengineering Pub Date : 2010-03-15 DOI: 10.1109/CSMR.2010.56

Rodrigo Souza, D. Guerrero, J. Figueiredo

引用次数: 2

Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows 静态信息流分析与隐式流的处理及隐式流对显式流的影响研究

2010 14th European Conference on Software Maintenance and Reengineering Pub Date : 2010-03-15 DOI: 10.1109/CSMR.2010.26

Yin Liu, Ana L. Milanova

{"title":"Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows","authors":"Yin Liu, Ana L. Milanova","doi":"10.1109/CSMR.2010.26","DOIUrl":"https://doi.org/10.1109/CSMR.2010.26","url":null,"abstract":"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 type systems. This paper proposes a new static information flow inference analysis, which unlike most other information flow analyses, handles both explicit and implicit information flows. The analysis does not require annotations and it is relatively precise and practical. We illustrate the usage of the static information flow analysis on three applications. The first application of information flow analysis is security violation detection. We perform experiments on a set of Java web applications and the experiments show that our analysis effectively detects security violations. The second application is type inference. Our experiments on the Java web applications successfully infer security types. The last application studies the effect of thread-shared variables on thread-local variables. Our experiments on a set of multi-thread programs show that most of the thread-local variables are affected by the thread-shared variables. We study the impact of implicit flow versus explicit flow in these applications. Implicit flow has significant impact on all these applications. In security violation detection, implicit flow detects more security violations than explicit flow. In type inference, implicit flow infers more untrusted type variables. In the study of the effect of thread-shared variables, implicit flow detects more affected variables than explicit flow.","PeriodicalId":307062,"journal":{"name":"2010 14th European Conference on Software Maintenance and Reengineering","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122222702","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 31

SQM 2010: Fourth International Workshop on System Quality and Maintainability 第四届系统质量和可维护性国际研讨会

2010 14th European Conference on Software Maintenance and Reengineering Pub Date : 2010-03-15 DOI: 10.1109/CSMR.2010.53

Y. Kanellopoulos, R. Ferenc

{"title":"SQM 2010: Fourth International Workshop on System Quality and Maintainability","authors":"Y. Kanellopoulos, R. Ferenc","doi":"10.1109/CSMR.2010.53","DOIUrl":"https://doi.org/10.1109/CSMR.2010.53","url":null,"abstract":"Software is playing a crucial role in modern societies. Not only do people rely on it for their daily operations or business, but for their lives as well. For this reason, correct and consistent behaviour of software systems is a fundamental part of end user expectations. Additionally, businesses require cost-effective production, maintenance, and operation of their systems. Thus, the demand for good quality software is increasing and is setting it as a differentiator for the success or failure of a software product. In fact, high quality software is becoming not just a competitive advantage but a necessary factor for companies to be successful. The main question that arises now is how quality is measured. What, where and when we assess and assure quality, are still open issues. Many views have been expressed about software quality attributes, including maintainability, evolvability, portability, robustness, reliability, usability, and efficiency. These have been formulated in standards such as ISO/IEC-9126 and CMMI. However, the debate about quality and maintainability between software producers, vendors and users is ongoing, while organizations need the ability to evaluate the software systems that they use or develop from multiple angles.","PeriodicalId":307062,"journal":{"name":"2010 14th European Conference on Software Maintenance and Reengineering","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122656464","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

An Initial Study on the Bug Report Duplication Problem Bug报告重复问题的初步研究

2010 14th European Conference on Software Maintenance and Reengineering Pub Date : 2010-03-15 DOI: 10.1109/CSMR.2010.52

Y. Cavalcanti, E. Almeida, Carlos Eduardo Albuquerque da Cunha, D. Lucrédio, S. Meira

引用次数: 30

Supporting Collaboration Awareness with Real-Time Visualization of Development Activity 通过开发活动的实时可视化支持协作意识

2010 14th European Conference on Software Maintenance and Reengineering Pub Date : 2010-03-15 DOI: 10.1109/CSMR.2010.37

Michele Lanza, Lile Hattori, Anja Guzzi

引用次数: 36

Automating Coverage Metrics for Dynamic Web Applications 为动态Web应用程序自动化覆盖度量

2010 14th European Conference on Software Maintenance and Reengineering Pub Date : 2010-03-15 DOI: 10.1109/CSMR.2010.21

Manar H. Alalfi, J. Cordy, T. Dean

引用次数: 18

Co-evolving Annotations and Source Code through Smart Annotations 通过智能注释共同进化注释和源代码

2010 14th European Conference on Software Maintenance and Reengineering Pub Date : 2010-03-15 DOI: 10.1109/CSMR.2010.20

Andy Kellens, Carlos Noguera, K. Schutter, Coen De Roover, T. D'Hondt

引用次数: 12