2009 IEEE/ACM International Conference on Automated Software Engineering最新文献_第5页

Supporting Requirements Validation: The EuRailCheck Tool 支持需求验证:EuRailCheck工具

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.49

Roberto Cavada, A. Cimatti, Alessandro Mariotti, Cristian Mattarei, A. Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, A. Susi, Stefano Tonetta

引用次数: 16

Model Checking of Domain Artifacts in Product Line Engineering 产品线工程领域工件的模型检验

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.16

Kim Lauenroth, K. Pohl, Simon Toehning

引用次数: 148

An Open Source-Based Approach to Software Development Infrastructures 基于开源的软件开发基础结构方法

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.73

Yuhoon Ki, M. Song

引用次数: 8

Inferring Resource Specifications from Natural Language API Documentation 从自然语言API文档中推断资源规范

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.94

Hao Zhong, Lu Zhang, Tao Xie, Hong Mei

{"title":"Inferring Resource Specifications from Natural Language API Documentation","authors":"Hao Zhong, Lu Zhang, Tao Xie, Hong Mei","doi":"10.1109/ASE.2009.94","DOIUrl":"https://doi.org/10.1109/ASE.2009.94","url":null,"abstract":"Typically, software libraries provide API documentation, through which developers can learn how to use libraries correctly. However, developers may still write code inconsistent with API documentation and thus introduce bugs, as existing research shows that many developers are reluctant to carefully read API documentation. To find those bugs, researchers have proposed various detection approaches based on known specifications. To mine specifications, many approaches have been proposed, and most of them rely on existing client code. Consequently, these mining approaches would fail to mine specifications when client code is not available. In this paper, we propose an approach, called Doc2Spec, that infers resource specifications from API documentation. For our approach, we implemented a tool and conducted an evaluation on Javadocs of five libraries. The results show that our approach infers various specifications with relatively high precisions, recalls, and F-scores. We further evaluated the usefulness of inferred specifications through detecting bugs in open source projects. The results show that specifications inferred by Doc2Spec are useful to detect real bugs in existing projects.","PeriodicalId":320607,"journal":{"name":"2009 IEEE/ACM International Conference on Automated Software Engineering","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114641487","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}

引用次数: 192

Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering 基于需求聚类的e-ID系统半自动测试计划

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.86

Baris Güldali, Holger Funke, M. Jahnich, Stefan Sauer, G. Engels

{"title":"Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering","authors":"Baris Güldali, Holger Funke, M. Jahnich, Stefan Sauer, G. Engels","doi":"10.1109/ASE.2009.86","DOIUrl":"https://doi.org/10.1109/ASE.2009.86","url":null,"abstract":"In acceptance testing, customer requirements as specified in system specifications have to be tested for their successful implementation. This is a time-consuming task due to inherent system complexity and thus a large number of requirements. In order to reduce efforts in acceptance testing, we introduce a novel approach that exploits redundancies and implicit relations in requirements specifications, which are based on multi-viewpoint techniques, in our case the reference model for open distributed processing (RM-ODP). It deploys requirements clustering and linguistic analysis techniques for reducing the total number of test cases. We report on concrete experiences with this approach within joint R&D work of the Software Quality Lab (s-lab) of the University of Paderborn and HJP Consulting, an international consulting company, specialized in planning, procurement and acceptance testing of national electronic identification (e-ID) systems. The paper is concluded with an overview on the current tool support especially for automated detection of the redundancies and implicit relations in requirements. Also the future work on the tool support for the overall test specification process is discussed.","PeriodicalId":320607,"journal":{"name":"2009 IEEE/ACM International Conference on Automated Software Engineering","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125287227","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}

引用次数: 8

Enhanced Automation for Managing Model and Metamodel Inconsistency 用于管理模型和元模型不一致性的增强自动化

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.57

Louis M. Rose, D. Kolovos, R. Paige, F. Polack

引用次数: 19

KaitoroBase: Visual Exploration of Software Architecture Documents KaitoroBase:软件架构文档的可视化探索

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.26

M. T. Su, Christian Hirsch, J. Hosking

引用次数: 12

Evaluating the Accuracy of Fault Localization Techniques 评估故障定位技术的准确性

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.89

Shaimaa Ali, J. Andrews, T. Dhandapani, Wantao Wang

{"title":"Evaluating the Accuracy of Fault Localization Techniques","authors":"Shaimaa Ali, J. Andrews, T. Dhandapani, Wantao Wang","doi":"10.1109/ASE.2009.89","DOIUrl":"https://doi.org/10.1109/ASE.2009.89","url":null,"abstract":"We investigate claims and assumptions made in several recent papers about fault localization (FL) techniques. Most of these claims have to do with evaluating FL accuracy. Our investigation centers on a new subject program having properties useful for FL experiments. We find that Tarantula (Jones et al.) works well on the program, and we show weak support for the assertion that coverage-based test suites help Tarantula to localize faults. Baudry et al. used automatically-generated mutants to evaluate the accuracy of an FL technique that generates many distinct scores for program locations. We find no evidence to suggest that the use of mutants for this purpose is invalid. However, we find evidence that the standard method for evaluating FL accuracy is unfairly biased toward techniques that generate many distinct scores, and we propose a fairer method of accuracy evaluation. Finally, Denmat et al. suggest that data mining techniques may apply to FL. We investigate this suggestion with the data mining tool Weka, using standard techniques for evaluating the accuracy of data mining classifiers. We find that standard classifiers suffer from the class imbalance problem. However, we find that adding cost information improves accuracy.","PeriodicalId":320607,"journal":{"name":"2009 IEEE/ACM International Conference on Automated Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131329714","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}

引用次数: 61

Type Inference for Soft-Error Fault-Tolerance Prediction 软错误容错预测的类型推断

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.61

G. Munkby, S. Schupp

引用次数: 2

Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses 使用基于自动机的前向和后向符号分析生成字符串操作程序的漏洞签名

2009 IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2009-11-16 DOI: 10.1109/ASE.2009.20

Fang Yu, Muath Alkhalaf, T. Bultan

引用次数: 43