2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)最新文献

DRIVER -- A Platform for Collaborative Framework Understanding DRIVER——协作框架理解的平台

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Pub Date : 2015-11-09 DOI: 10.1109/ASE.2015.105

Nuno H. Flores, Ademar Aguiar

引用次数: 2

JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T) JaConTeBe: Java并发性bug的基准测试套件(T)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Pub Date : 2015-11-09 DOI: 10.1109/ASE.2015.87

Ziyi Lin, D. Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao

引用次数: 35

Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T) 可配置系统性能预测的成本效益抽样(T)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Pub Date : 2015-11-09 DOI: 10.1109/ASE.2015.45

Atrisha Sarkar, Jianmei Guo, Norbert Siegmund, S. Apel, K. Czarnecki

引用次数: 145

Synergizing Specification Miners through Model Fissions and Fusions (T) 通过模型裂变和融合协同规范矿工(T)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Pub Date : 2015-11-09 DOI: 10.1109/ASE.2015.83

Tien-Duy B. Le, X. Le, D. Lo, Ivan Beschastnikh

{"title":"Synergizing Specification Miners through Model Fissions and Fusions (T)","authors":"Tien-Duy B. Le, X. Le, D. Lo, Ivan Beschastnikh","doi":"10.1109/ASE.2015.83","DOIUrl":"https://doi.org/10.1109/ASE.2015.83","url":null,"abstract":"Software systems are often developed and released without formal specifications. For those systems that are formally specified, developers have to continuously maintain and update the specifications or have them fall out of date. To deal with the absence of formal specifications, researchers have proposed techniques to infer the missing specifications of an implementation in a variety of forms, such as finite state automaton (FSA). Despite the progress in this area, the efficacy of the proposed specification miners needs to improve if these miners are to be adopted. We propose SpecForge, a new specification mining approach that synergizes many existing specification miners. SpecForge decomposes FSAs that are inferred by existing miners into simple constraints, through a process we refer to as model fission. It then filters the outlier constraints and fuses the constraints back together into a single FSA (i.e., model fusion). We have evaluated SpecForge on execution traces of 10 programs, which includes 5 programs from DaCapo benchmark, to infer behavioral models of 13 library classes. Our results show that SpecForge achieves an average precision, recall and F-measure of 90.57%, 54.58%, and 64.21% respectively. SpecForge outperforms the best performing baseline by 13.75% in terms of F-measure.","PeriodicalId":6586,"journal":{"name":"2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)","volume":"92 1","pages":"115-125"},"PeriodicalIF":0.0,"publicationDate":"2015-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76983017","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}

引用次数: 47

Refactorings for Android Asynchronous Programming Android异步编程的重构

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Pub Date : 2015-11-09 DOI: 10.1109/ASE.2015.100

Yu Lin, Danny Dig

引用次数: 8

Dynamically Testing GUIs Using Ant Colony Optimization (T) 使用蚁群优化(T)动态测试gui

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Pub Date : 2015-11-09 DOI: 10.1109/ASE.2015.70

Santo Carino, J. Andrews

引用次数: 23

Model-Based Testing of Stateful APIs with Modbat Modbat中有状态api基于模型的测试

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Pub Date : 2015-11-09 DOI: 10.1109/ASE.2015.95

Cyrille Artho, M. Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, A. Mori, R. Ramler, Yoriyuki Yamagata

引用次数: 7

CodeExchange: Supporting Reformulation of Internet-Scale Code Queries in Context (T) CodeExchange:支持上下文中internet规模代码查询的重构(T)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Pub Date : 2015-11-09 DOI: 10.1109/ASE.2015.51

Lee Martie, Thomas D. Latoza, A. Hoek

引用次数: 30

Array Shadow State Compression for Precise Dynamic Race Detection (T) 精确动态种族检测的阵列阴影状态压缩(T)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Pub Date : 2015-11-09 DOI: 10.1109/ASE.2015.19

James R. Wilcox, P. Finch, C. Flanagan, Stephen N. Freund

引用次数: 24

Executing Model-Based Tests on Platform-Specific Implementations (T) 在平台特定实现(T)上执行基于模型的测试

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Pub Date : 2015-11-09 DOI: 10.1109/ASE.2015.64

Dongjiang You, Sanjai Rayadurgam, M. Heimdahl, John Komp, Baekgyu Kim, O. Sokolsky

{"title":"Executing Model-Based Tests on Platform-Specific Implementations (T)","authors":"Dongjiang You, Sanjai Rayadurgam, M. Heimdahl, John Komp, Baekgyu Kim, O. Sokolsky","doi":"10.1109/ASE.2015.64","DOIUrl":"https://doi.org/10.1109/ASE.2015.64","url":null,"abstract":"Model-based testing of embedded real-time systems is challenging because platform-specific details are often abstracted away to make the models amenable to various analyses. Testing an implementation to expose non-conformance to such a model requires reconciling differences arising from these abstractions. Due to stateful behavior, naive comparisons of model and system behaviors often fail causing numerous false positives. Previously proposed approaches address this by being reactively permissive: passing criteria are relaxed to reduce false positives, but may increase false negatives, which is particularly bothersome for safety-critical systems. To address this concern, we propose an automated approach that is proactively adaptive: test stimuli and system responses are suitably modified taking into account platform-specific aspects so that the modified test when executed on the platform-specific implementation exercises the intended scenario captured in the original model-based test. We show that the new framework eliminates false negatives while keeping the number of false positives low for a variety of platform-specific configurations.","PeriodicalId":6586,"journal":{"name":"2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)","volume":"34 2 1","pages":"418-428"},"PeriodicalIF":0.0,"publicationDate":"2015-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83441576","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