2015 IEEE/ACM 37th IEEE International Conference on Software Engineering最新文献_第10页

On the Role of Value Sensitive Concerns in Software Engineering Practice 论价值敏感关注点在软件工程实践中的作用

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI: 10.1109/ICSE.2015.182

B. Barn, R. Barn, F. Raimondi

引用次数: 20

Coexecutability for Efficient Verification of Data Model Updates 有效验证数据模型更新的可执行性

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI: 10.1109/ICSE.2015.87

Ivan Bocic, T. Bultan

{"title":"Coexecutability for Efficient Verification of Data Model Updates","authors":"Ivan Bocic, T. Bultan","doi":"10.1109/ICSE.2015.87","DOIUrl":"https://doi.org/10.1109/ICSE.2015.87","url":null,"abstract":"Modern applications use back-end data stores for persistent data. Automated verification of the code that updates the data store would prevent bugs that can cause loss or corruption of data. In this paper, we focus on the most challenging part of this problem: automated verification of code that updates the data store and contains loops. Due to dependencies between loop iterations, verification of code that contains loops is a hard problem, and typically requires manual assistance in the form of loop invariants. We present a fully automated technique that improves verifiability of loops. We first define co execution, a method for modeling loop iterations that simplifies automated reasoning about loops. Then, we present a fully automated static program analysis that detects whether the behavior of a given loop can be modeled using co execution. We provide a customized verification technique for co executable loops that results in more effective verification. In our experiments we observed that, in 45% of cases, modeling loops using co execution reduces verification time between 1 and 4 orders of magnitude. In addition, the rate of inconclusive verification results in the presence of loops is reduced from 65% down to 24%, all without requiring loop invariants or any manual intervention.","PeriodicalId":330487,"journal":{"name":"2015 IEEE/ACM 37th IEEE International Conference on Software Engineering","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132960317","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}

引用次数: 6

VERMEER: A Tool for Tracing and Explaining Faulty C Programs VERMEER:一个跟踪和解释错误C程序的工具

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI: 10.1109/ICSE.2015.236

Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies

引用次数: 5

Performance Analysis Using Subsuming Methods: An Industrial Case Study 用包容方法进行绩效分析:一个工业案例研究

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI: 10.1109/ICSE.2015.143

D. Maplesden, Karl von Randow, E. Tempero, J. Hosking, J. Grundy

引用次数: 8

relifix: Automated Repair of Software Regressions relifix:软件回归的自动修复

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI: 10.1109/ICSE.2015.65

Shin Hwei Tan, Abhik Roychoudhury

引用次数: 128

1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and Security (TELERISE 2015) 第一届数据隐私和安全的技术和法律方面国际研讨会(TELERISE 2015)

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI: 10.5555/2819009.2819257

I. Matteucci, P. Mori, M. Petrocchi

引用次数: 0

Automated Decomposition of Build Targets 构建目标的自动分解

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI: 10.1109/ICSE.2015.34

Mohsen Vakilian, R. Sauciuc, J. D. Morgenthaler, V. Mirrokni

{"title":"Automated Decomposition of Build Targets","authors":"Mohsen Vakilian, R. Sauciuc, J. D. Morgenthaler, V. Mirrokni","doi":"10.1109/ICSE.2015.34","DOIUrl":"https://doi.org/10.1109/ICSE.2015.34","url":null,"abstract":"A (build) target specifies the information that is needed to automatically build a software artifact. This paper focuses on underutilized targets - an important dependency problem that we identified at Google. An underutilized target is one with files not needed by some of its dependents. Underutilized targets result in less modular code, overly large artifacts, slow builds, and unnecessary build and test triggers. To mitigate these problems, programmers decompose underutilized targets into smaller targets. However, manually decomposing a target is tedious and error-prone. Although we prove that finding the best target decomposition is NP-hard, we introduce a greedy algorithm that proposes a decomposition through iterative unification of the strongly connected components of the target. Our tool found that 19,994 of 40,000 Java library targets at Google can be decomposed to at least two targets. The results show that our tool is (1) efficient because it analyzes a target in two minutes on average and (2) effective because for each of 1,010 targets, it would save at least 50% of the total execution time of the tests triggered by the target.","PeriodicalId":330487,"journal":{"name":"2015 IEEE/ACM 37th IEEE International Conference on Software Engineering","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116214760","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}

引用次数: 34

Dynamic Generation of Likely Invariants for Multithreaded Programs 多线程程序可能不变量的动态生成

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI: 10.1109/ICSE.2015.95

Markus Kusano, Arijit Chattopadhyay, Chao Wang

引用次数: 9

How Can I Use This Method? 如何使用这种方法?

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI: 10.1109/ICSE.2015.98

Laura Moreno, G. Bavota, M. D. Penta, R. Oliveto, Andrian Marcus

{"title":"How Can I Use This Method?","authors":"Laura Moreno, G. Bavota, M. D. Penta, R. Oliveto, Andrian Marcus","doi":"10.1109/ICSE.2015.98","DOIUrl":"https://doi.org/10.1109/ICSE.2015.98","url":null,"abstract":"Code examples are small source code fragments whose purpose is to illustrate how a programming language construct, an API, or a specific function/method works. Since code examples are not always available in the software documentation, researchers have proposed techniques to automatically extract them from existing software or to mine them from developer discussions. In this paper we propose MUSE (Method USage Examples), an approach for mining and ranking actual code examples that show how to use a specific method. MUSE combines static slicing (to simplify examples) with clone detection (to group similar examples), and uses heuristics to select and rank the best examples in terms of reusability, understandability, and popularity. MUSE has been empirically evaluated using examples mined from six libraries, by performing three studies involving a total of 140 developers to: (i) evaluate the selection and ranking heuristics, (ii) provide their perception on the usefulness of the selected examples, and (iii) perform specific programming tasks using the MUSE examples. The results indicate that MUSE selects and ranks examples close to how humans do, most of the code examples (82%) are perceived as useful, and they actually help when performing programming tasks.","PeriodicalId":330487,"journal":{"name":"2015 IEEE/ACM 37th IEEE International Conference on Software Engineering","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131772499","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}

引用次数: 132

Cognitively Sustainable ICT with Ubiquitous Mobile Services - Challenges and Opportunities 认知可持续ICT与无处不在的移动服务-挑战与机遇

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI: 10.1109/ICSE.2015.189

Marcus Jägemar, G. Dodig-Crnkovic

{"title":"Cognitively Sustainable ICT with Ubiquitous Mobile Services - Challenges and Opportunities","authors":"Marcus Jägemar, G. Dodig-Crnkovic","doi":"10.1109/ICSE.2015.189","DOIUrl":"https://doi.org/10.1109/ICSE.2015.189","url":null,"abstract":"Information and Communication Technology (ICT) has led to an unprecedented development in almost all areas of human life. It forms the basis for what is called \"the cognitive revolution\" -- a fundamental change in the way we communicate, feel, think and learn based on an extension of individual information processing capacities by communication with other people through technology. This so-called \"extended cognition\" shapes human relations in a radically new way. It is accompanied by a decrease of shared attention and affective presence within closely related groups. This weakens the deepest and most important bonds, that used to shape human identity. Sustainability, both environmental and social (economic, technological, political and cultural) is one of the most important issues of our time. In connection with \"extended cognition\" we have identified a new, basic type of social sustainability that everyone takes for granted, and which we claim is in danger due to our changed ways of communication. We base our conclusion on a detailed analysis of the current state of the practice and observed trends. The contribution of our article consists of identifying cognitive sustainability and explaining its central role for all other aspects of sustainability, showing how it relates to the cognitive revolution, its opportunities and challenges. Complex social structures with different degrees of proximity have always functioned as mechanisms behind belongingness and identity. To create a long-term cognitive sustainability, we need to rethink and design new communication technologies that support differentiated and complex social relationships.","PeriodicalId":330487,"journal":{"name":"2015 IEEE/ACM 37th IEEE International Conference on Software Engineering","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134583972","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}

引用次数: 7