掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE/ACM International Conference on Automated Software Engineering
IEEE/ACM International Conference on Automated Software Engineering
召开年:
2012
召开地:
Essen(DE)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
1176
条结果
1.
Accelerating All-SAT Computation with Short Blocking Clauses
机译:
使用短暂的阻塞条款加速全系列计算
作者:
Yueling Zhang
;
Geguang Pu
;
Jun Sun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Model checking;
Minimization;
Computational efficiency;
Complexity theory;
Acceleration;
Sun;
Software engineering;
2.
A Predictive Analysis for Detecting Deadlock in MPI Programs
机译:
检测MPI程序中死锁的预测分析
作者:
Yu Huang
;
Benjamin Ogles
;
Eric Mercer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Schedules;
Filtering;
System recovery;
Programming;
Encoding;
Predictive analytics;
Software engineering;
3.
Learning to Handle Exceptions
机译:
学习处理例外
作者:
Jian Zhang
;
Xu Wang
;
Hongyu Zhang
;
Hailong Sun
;
Yanjun Pu
;
Xudong Liu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Deep learning;
Java;
Runtime;
Target recognition;
Semantics;
Task analysis;
Software development management;
4.
BUILDFAST: History-Aware Build Outcome Prediction for Fast Feedback and Reduced Cost in Continuous Integration
机译:
Buildfast:历史意识到建立结果预测快速反馈和持续集成中的成本降低
作者:
Bihuan Chen
;
Linlin Chen
;
Chen Zhang
;
Xin Peng
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Analytical models;
Adaptation models;
Switches;
Predictive models;
Software;
Time measurement;
Software engineering;
5.
SCDetector: Software Functional Clone Detection Based on Semantic Tokens Analysis
机译:
SCDetector:软件功能克隆检测基于语义令牌分析
作者:
Yueming Wu
;
Deqing Zou
;
Shihan Dou
;
Siru Yang
;
Wei Yang
;
Feng Cheng
;
Hong Liang
;
Hai Jin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Scalability;
Semantics;
Cloning;
Detectors;
Transforms;
Static analysis;
Software engineering;
6.
Generating Concept based API Element Comparison Using a Knowledge Graph
机译:
使用知识图生成基于概念的API元素比较
作者:
Yang Liu
;
Mingwei Liu
;
Xin Peng
;
Christoph Treude
;
Zhenchang Xing
;
Xiaoxin Zhang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Context-aware services;
Documentation;
Task analysis;
Software engineering;
7.
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
机译:
多路复用符号执行:通过解决一次探索多条路径
作者:
Yufeng Zhang
;
Zhenbang Chen
;
Ziqi Shuai
;
Tianqi Zhang
;
Kenli Li
;
Ji Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Multiplexing;
Scalability;
Tools;
Search problems;
Explosions;
Space exploration;
Software engineering;
8.
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling
机译:
Zeror:用覆盖敏感的跟踪和调度加速模糊
作者:
Chijin Zhou
;
Mingzhe Wang
;
Jie Liang
;
Zhe Liu
;
Yu Jiang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Instruments;
Prototypes;
Switches;
Fuzzing;
Real-time systems;
Internet;
Software engineering;
9.
Verified from Scratch: Program Analysis for Learners' Programs
机译:
从Scratch验证:学习者计划的计划分析
作者:
Andreas Stahlbauer
;
Christoph Frädrich
;
Gordon Fraser
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer languages;
Visualization;
Semantics;
Model checking;
Software;
Task analysis;
Programming environments;
10.
Interval Change-Point Detection for Runtime Probabilistic Model Checking
机译:
运行时概率模型检查的间隔变化点检测
作者:
Xingyu Zhao
;
Radu Calinescu
;
Simos Gerasimou
;
Valentin Robu
;
David Flynn
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Runtime;
Uncertainty;
Model checking;
Markov processes;
Probabilistic logic;
Software systems;
Bayes methods;
11.
UNCHARTIT: An Interactive Framework for Program Recovery from Charts
机译:
Unchartit:从图表中恢复的互动框架
作者:
Daniel Ramos
;
Jorge Pereira
;
Inês Lynce
;
Vasco Manquinho
;
Ruben Martins
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Data visualization;
Benchmark testing;
Tools;
Data mining;
Task analysis;
Software engineering;
12.
Demystifying Diehard Android Apps
机译:
DemystifyiendiedIehard Android应用程序
作者:
Hao Zhou
;
Haoyu Wang
;
Yajin Zhou
;
Xiapu Luo
;
Yutian Tang
;
Lei Xue
;
Ting Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Privacy;
Systematics;
Design methodology;
Blogs;
Internet;
Batteries;
Software engineering;
13.
UI Obfuscation and Its Effects on Automated UI Analysis for Android Apps
机译:
UI混淆及其对Android应用程序自动UI分析的影响
作者:
Hao Zhou
;
Ting Chen
;
Haoyu Wang
;
Le Yu
;
Xiapu Luo
;
Ting Wang
;
Wei Zhang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Systematics;
Design methodology;
Tools;
Feeds;
Faces;
Testing;
Software engineering;
14.
Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives
机译:
良好的事情来自三分之一:通过帮助目标改善基于搜索的崩溃再生产
作者:
Pouria Derakhshanfar
;
Xavier Devroey
;
Andy Zaidman
;
Arie van Deursen
;
Annibale Panichella
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Evolutionary computation;
Writing;
Search problems;
Computer crashes;
Task analysis;
Open source software;
Software engineering;
15.
Defect Prediction Guided Search-Based Software Testing
机译:
缺陷预测引导基于搜索的软件测试
作者:
Anjana Perera
;
Aldeida Aleti
;
Marcel Böhme
;
Burak Turhan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Software testing;
Computer bugs;
Software algorithms;
Tools;
Test pattern generators;
Resource management;
Software engineering;
16.
API-Misuse Detection Driven by Fine-Grained API-Constraint Knowledge Graph
机译:
由细粒度API约束知识图驱动的API误用检测
作者:
Xiaoxue Ren
;
Xinyuan Ye
;
Zhenchang Xing
;
Xin Xia
;
Xiwei Xu
;
Liming Zhu
;
Jianling Sun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Knowledge engineering;
Java;
Detectors;
Documentation;
Information retrieval;
Software;
Software engineering;
17.
Subdomain-Based Generality-Aware Debloating
机译:
基于子域的一般性感知解索
作者:
Qi Xin
;
Myeongsoo Kim
;
Qirun Zhang
;
Alessandro Orso
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Utility programs;
Benchmark testing;
Software;
Security;
Surges;
Optimization;
Software engineering;
18.
Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size
机译:
重新审视故障检测,测试充足性标准和测试集大小之间的关系
作者:
Yiqun T. Chen
;
Rahul Gopinath
;
Anita Tadakamalla
;
Michael D. Ernst
;
Reid Holmes
;
Gordon Fraser
;
Paul Ammann
;
René Just
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Couplings;
Fault detection;
Size measurement;
Probabilistic logic;
Software reliability;
Software measurement;
Testing;
19.
Multi-task Learning based Pre-trained Language Model for Code Completion
机译:
基于多任务学习的代码完成的预训练语言模型
作者:
Fang Liu
;
Ge Li
;
Yunfei Zhao
;
Zhi Jin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Tools;
Predictive models;
Software;
Real-time systems;
Task analysis;
Context modeling;
Software engineering;
20.
Audee: Automated Testing for Deep Learning Frameworks
机译:
奥贝:深度学习框架的自动化测试
作者:
Qianyu Guo
;
Xiaofei Xie
;
Yi Li
;
Xiaoyu Zhang
;
Yang Liu
;
Xiaohong Li
;
Chao Shen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Deep learning;
Analytical models;
Computer bugs;
Testing;
Software engineering;
21.
Synthesis of Infinite-State Systems with Random Behavior
机译:
随机行为的综合无限状态系统
作者:
Andreas Katis
;
Grigory Fedyukovich
;
Jeffrey Chen
;
David Greve
;
Sanjai Rayadurgam
;
Michael W. Whalen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Robot motion;
Knowledge engineering;
Fuzzing;
Planning;
Standards;
Testing;
Software engineering;
22.
Demystifying Loops in Smart Contracts
机译:
在智能合同中脱酥饼循环
作者:
Benjamin Mariano
;
Yanju Chen
;
Yu Feng
;
Shuvendu K. Lahiri
;
Isil Dillig
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Smart contracts;
Semantics;
Blockchain;
Syntactics;
DSL;
Software engineering;
Domain specific languages;
23.
Patching as Translation: the Data and the Metaphor
机译:
修补作为翻译:数据和隐喻
作者:
Yangruibo Ding
;
Baishakhi Ray
;
Premkumar Devanbu
;
Vincent J. Hellendoorn
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Adaptation models;
Machine learning;
Computer architecture;
Maintenance engineering;
Software;
Task analysis;
Software engineering;
24.
DeepTC-Enhancer: Improving the Readability of Automatically Generated Tests
机译:
DEEPTC-ENHANCER:提高自动生成测试的可读性
作者:
Devjeet Roy
;
Ziyi Zhang
;
Maggie Ma
;
Venera Arnaoudova
;
Annibale Panichella
;
Sebastiano Panichella
;
Danielle Gonzalez
;
Mehdi Mirakhorli
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Deep learning;
Natural languages;
Documentation;
Tools;
Software engineering;
25.
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction
机译:
通过概率抽象来解释经常性神经网络
作者:
Guoliang Dong
;
Jingyi Wang
;
Jun Sun
;
Yang Zhang
;
Xinyu Wang
;
Ting Dai
;
Jin Song Dong
;
Xingen Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Sentiment analysis;
Recurrent neural networks;
Scalability;
Tools;
Probabilistic logic;
Task analysis;
Software engineering;
26.
Continuous Compliance
机译:
持续合规
作者:
Martin Kellogg
;
Martin Schäf
;
Serdar Tasiran
;
Michael D. Ernst
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Industries;
Production;
Manuals;
Tools;
Standards;
Open source software;
Software engineering;
27.
Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems
机译:
混合深神经网络推断出黑箱系统的状态模型
作者:
Mohammad Jafar Mashhadi
;
Hadi Hemmati
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Instruments;
Time series analysis;
Time measurement;
Classification algorithms;
Task analysis;
Software engineering;
Testing;
28.
Representing and Reasoning about Dynamic Code
机译:
表示和推理动态代码
作者:
Jesse Bartels
;
Jon Stephens
;
Saumya Debray
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Runtime;
Program processors;
Computer bugs;
Prototypes;
Cognition;
Generators;
Performance analysis;
29.
Owl Eyes: Spotting UI Display Issues via Visual Understanding
机译:
猫头鹰的眼睛:通过视觉理解发现UI显示问题
作者:
Zhe Liu
;
Chunyang Chen
;
Junjie Wang
;
Yuekai Huang
;
Jun Hu
;
Qing Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer bugs;
Visual effects;
Software;
User experience;
Mobile applications;
Usability;
Graphical user interfaces;
30.
Multiple-Boundary Clustering and Prioritization to Promote Neural Network Retraining
机译:
多边界聚类和优先级促进神经网络再培训
作者:
Weijun Shen
;
Yanhui Li
;
Lin Chen
;
Yuanlei Han
;
Yuming Zhou
;
Baowen Xu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Training;
Training data;
Data models;
Labeling;
Task analysis;
Testing;
Context modeling;
31.
SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations
机译:
SADT:SSL / TLS实现中证书验证的语法感知差异测试
作者:
Lili Quan
;
Qianyu Guo
;
Hongxu Chen
;
Xiaofei Xie
;
Xiaohong Li
;
Yang Liu
;
Jing Hu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer bugs;
Semantics;
Fuzzing;
Syntactics;
Security;
Testing;
Software engineering;
32.
CoFI: Consistency-Guided Fault Injection for Cloud Systems
机译:
COFI:云系统的一致性引导故障注射
作者:
Haicheng Chen
;
Wensheng Dou
;
Dong Wang
;
Feng Qin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
System testing;
Computer bugs;
Production;
Timing;
Yarn;
Software engineering;
33.
ER Catcher: A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android
机译:
ER捕手:Android中准确和可扩展的事件竞争检测的静态分析框架
作者:
Navid Salehnamadi
;
Abdulaziz Alshayban
;
Iftekhar Ahmed
;
Sam Malek
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Concurrent computing;
Static analysis;
Tools;
Real-time systems;
Libraries;
Erbium;
Software engineering;
34.
A Deep Multitask Learning Approach for Requirements Discovery and Annotation from Open Forum
机译:
开放论坛要求发现和注释的深度多任务学习方法
作者:
Mingyang Li
;
Lin Shi
;
Ye Yang
;
Qing Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Training;
Text mining;
Annotations;
Training data;
Data models;
Task analysis;
Software engineering;
35.
Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems
机译:
大理石:基于模型的鲁棒性分析,有状态深度学习系统
作者:
Xiaoning Du
;
Yi Li
;
Xiaofei Xie
;
Lei Ma
;
Yang Liu
;
Jianjun Zhao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Deep learning;
Analytical models;
Recurrent neural networks;
Scalability;
Rendering (computer graphics);
Robustness;
Software engineering;
36.
MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests
机译:
MockSniffer:表征和推荐用于单位测试的模拟决策
作者:
Hengcheng Zhu
;
Lili Wei
;
Ming Wen
;
Yepang Liu
;
Shing-Chi Cheung
;
Qin Sheng
;
Cui Zhou
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Machine learning;
Tools;
Open source software;
Testing;
Software engineering;
37.
ChemTest: An Automated Software Testing Framework for an Emerging Paradigm
机译:
Chemtest:新兴范式的自动化软件测试框架
作者:
Michael C. Gerten
;
James I. Lathrop
;
Myra B. Cohen
;
Titus H. Klinge
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Software testing;
Systematics;
Scalability;
Model checking;
Software;
Chemicals;
Software engineering;
38.
Automatic Extraction of Cause-Effect-Relations from Requirements Artifacts
机译:
自动提取从需求伪影的原因关系
作者:
Julian Frattini
;
Maximilian Junker
;
Michael Unterkalmsteiner
;
Daniel Mendez
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Natural languages;
Pipelines;
Prototypes;
Manuals;
Syntactics;
Requirements engineering;
Software engineering;
39.
Retrieve and Refine: Exemplar-based Neural Comment Generation
机译:
检索和完善:基于示例的神经性评论生成
作者:
Bolin Wei
;
Yongmin Li
;
Ge Li
;
Xin Xia
;
Zhi Jin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Java;
Neural networks;
Semantics;
Natural languages;
Task analysis;
Software reusability;
Software engineering;
40.
Where Shall We Log? Studying and Suggesting Logging Locations in Code Blocks
机译:
我们在哪里登录?学习和建议代码块中的记录位置
作者:
Zhenhao Li
;
Tse-Hsun Chen
;
Weiyi Shang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Deep learning;
Software maintenance;
Semantics;
Manuals;
Syntactics;
Task analysis;
Software engineering;
41.
BiLO-CPDP: Bi-Level Programming for Automated Model Discovery in Cross-Project Defect Prediction
机译:
BILO-CPDP:跨项目缺陷预测中自动模型发现的双级编程
作者:
Ke Li
;
Zilin Xiang
;
Tao Chen
;
Kay Chen Tan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computational modeling;
Tools;
Programming;
Predictive models;
Software;
Optimization;
Tuning;
42.
Automating Just-In-Time Comment Updating
机译:
自动化即时评论更新
作者:
Zhongxin Liu
;
Xin Xia
;
Meng Yan
;
Shanping Li
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Software maintenance;
Computer bugs;
Maintenance engineering;
Task analysis;
Software engineering;
43.
How Incidental are the Incidents? Characterizing and Prioritizing Incidents for Large-Scale Online Service Systems
机译:
事件的偶然是如何?对大型在线服务系统的事件特征和优先突出
作者:
Junjie Chen
;
Shu Zhang
;
Xiaoting He
;
Qingwei Lin
;
Hongyu Zhang
;
Dan Hao
;
Yu Kang
;
Feng Gao
;
Zhangwei Xu
;
Yingnong Dang
;
Dongmei Zhang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Deep learning;
Quality assurance;
Statistical analysis;
Predictive models;
Maintenance engineering;
Software;
Software engineering;
44.
Stay Professional and Efficient: Automatically Generate Titles for Your Bug Reports
机译:
保持专业和高效:自动为您的错误报告生成标题
作者:
Songqiang Chen
;
Xiaoyuan Xie
;
Bangguo Yin
;
Yuanxiang Ji
;
Lin Chen
;
Baowen Xu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer bugs;
Task analysis;
Open source software;
Software engineering;
45.
Automated Implementation of Windows-related Security-Configuration Guides
机译:
自动实现Windows相关的安全配置指南
作者:
Patrick Stöckle
;
Bernd Grobauer
;
Alexander Pretschner
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Operating systems;
Manuals;
Organizations;
Natural language processing;
Security;
Data mining;
Task analysis;
46.
Identifying Software Performance Changes Across Variants and Versions
机译:
识别Variants和版本的软件性能更改
作者:
Stefan Mühlbauer
;
Sven Apel
;
Norbert Siegmund
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Static analysis;
Software performance;
Software systems;
Extraterrestrial measurements;
Time measurement;
Software measurement;
Software engineering;
47.
Just-In-Time Reactive Synthesis
机译:
即时反应合成
作者:
Shahar Maoz
;
Ilia Shevrin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Adaptive systems;
Synthesizers;
Memory management;
Loading;
Tools;
Benchmark testing;
Software engineering;
48.
JISET: JavaScript IR-based Semantics Extraction Toolchain
机译:
JISET:基于JavaScript IR的语义提取工具链
作者:
Jihyeok Park
;
Jihee Park
;
Seungmin An
;
Sukyoung Ryu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Semantics;
Tools;
Syntactics;
Feature extraction;
Proposals;
Task analysis;
Testing;
49.
FlashRegex: Deducing Anti-ReDoS Regexes from Examples
机译:
Flash Regex:从示例中减少反redos正则表达式
作者:
Yeting Li
;
Zhiwu Xu
;
Jialun Cao
;
Haiming Chen
;
Tingjian Ge
;
Shing-Chi Cheung
;
Haoren Zhao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer science;
Computer languages;
Databases;
Maintenance engineering;
Tools;
Security;
Software engineering;
50.
Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors
机译:
在部署描述符中推断和应用DEF使用,如配置耦合
作者:
Chengyuan Wen
;
Yaxuan Zhang
;
Xiao He
;
Na Meng
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Couplings;
Computer bugs;
XML;
Tools;
Data mining;
Open source software;
Software development management;
51.
Mastering Uncertainty in Performance Estimations of Configurable Software Systems
机译:
在可配置软件系统的性能估算中掌握不确定性
作者:
Johannes Dorn
;
Sven Apel
;
Norbert Siegmund
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Uncertainty;
Programming;
Predictive models;
Software systems;
Probabilistic logic;
Software reliability;
Software engineering;
52.
Team Discussions and Dynamics During DevOps Tool Adoptions in OSS Projects
机译:
OSS项目中Devops工具采用过程中的团队讨论和动态
作者:
Likang Yin
;
Vladimir Filkov
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Analytical models;
Data analysis;
Pipelines;
Tools;
Data models;
Task analysis;
Software development management;
53.
ImpAPTr: A Tool For Identifying The Clues To Online Service Anomalies
机译:
Impaptr:一种用于将线索识别在线服务异常的工具
作者:
Hao Wang
;
Guoping Rong
;
Yangchen Xu
;
Yong You
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Urban areas;
Tools;
Software systems;
Rendering (computer graphics);
Online services;
Business;
Software engineering;
54.
OSLDetector: Identifying Open-Source Libraries through Binary Analysis
机译:
Osldetector:通过二进制分析识别开源库
作者:
Dan Zhang
;
Ping Luo
;
Wei Tang
;
Min Zhou
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Cloning;
Forestry;
Tools;
Licenses;
Feature extraction;
Libraries;
Open source software;
55.
TestMC: Testing Model Counters using Differential and Metamorphic Testing
机译:
tsetmc:使用差分和变形测试测试模型计数器
作者:
Muhammad Usman
;
Wenxi Wang
;
Sarfraz Khurshid
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Software design;
Computational modeling;
Computer bugs;
Tools;
Probabilistic logic;
Minimization;
Testing;
56.
BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction
机译:
BigFuzz:使用框架抽象的数据分析有效的模糊测试
作者:
Qian Zhang
;
Jiyuan Wang
;
Muhammad Ali Gulzar
;
Rohan Padhye
;
Miryung Kim
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Fuzzing;
Big Data;
Tools;
Test pattern generators;
Security;
Testing;
Software engineering;
57.
Sosed: a tool for finding similar software projects
机译:
sosed:用于查找类似的软件项目的工具
作者:
Egor Bogomolov
;
Yaroslav Golubev
;
Artyom Lobanov
;
Vladimir Kovalenko
;
Timofey Bryksin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer languages;
Ecosystems;
Tools;
Task analysis;
Open source software;
Software development management;
Software engineering;
58.
WASim: Understanding WebAssembly Applications through Classification
机译:
WASIM:通过分类了解WebasseMbly应用程序
作者:
Alan Romano
;
Weihang Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer languages;
Binary codes;
Tools;
Software engineering;
59.
Scaling Client-Specific Equivalence Checking via Impact Boundary Search
机译:
通过冲击边界搜索缩放特定于客户端的等价性检查
作者:
Nick Feng
;
Federico Mora
;
Vincent Hui
;
Marsha Chechik
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Scalability;
Prototypes;
Benchmark testing;
Search problems;
Libraries;
Computational complexity;
Software engineering;
60.
Code to Comment “Translation”: Data, Metrics, Baselining Evaluation
机译:
评论“翻译”代码:数据,指标,基线和评估
作者:
David Gros
;
Hariharan Sezhiyan
;
Prem Devanbu
;
Zhou Yu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Current measurement;
Natural languages;
US Government;
Information retrieval;
Data models;
Calibration;
Task analysis;
61.
MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation
机译:
Metpurity:自动测试生成的纯方法识别的基于学习的工具
作者:
Runze Yu
;
Youzhe Zhang
;
Jifeng Xuan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Training;
Error analysis;
Training data;
Tools;
Test pattern generators;
Random forests;
Software engineering;
62.
STIFA: Crowdsourced Mobile Testing Report Selection Based on Text and Image Fusion Analysis
机译:
STIFA:众群移动测试报告选择基于文本和图像融合分析
作者:
Zhenfei Cao
;
Xu Wang
;
Shengcheng Yu
;
Yexiao Yun
;
Chunrong Fang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Image recognition;
Text recognition;
Computer bugs;
Feature extraction;
Data mining;
Image fusion;
Testing;
63.
Exploring the Architectural Impact of Possible Dependencies in Python Software
机译:
探索Python软件可能依赖性的架构影响
作者:
Wuxia Jin
;
Yuanfang Cai
;
Rick Kazman
;
Gang Zhang
;
Qinghua Zheng
;
Ting Liu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer architecture;
Tools;
Syntactics;
Maintenance engineering;
Software;
Python;
Software engineering;
64.
Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of Variance
机译:
深度学习软件系统的问题和机遇:方差分析
作者:
Hung Viet Pham
;
Shangshu Qian
;
Jiannan Wang
;
Thibaud Lutellier
;
Jonathan Rosenthal
;
Lin Tan
;
Yaoliang Yu
;
Nachiappan Nagappan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Training;
Deep learning;
Computational modeling;
Debugging;
Libraries;
Software;
Software engineering;
65.
JITBot: An Explainable Just-In-Time Defect Prediction Bot
机译:
Jitbot:可解释的即时缺陷预测机器人
作者:
Chaiyakarn Khanan
;
Worawit Luewichana
;
Krissakorn Pruktharathikoon
;
Jirayus Jiarpakdee
;
Chakkrit Tantithamthavorn
;
Morakot Choetkiertikul
;
Chaiyong Ragkhitwetsagul
;
Thanwadee Sunetnanta
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Pipelines;
Software quality;
Predictive models;
Risk management;
Monitoring;
Software development management;
Software engineering;
66.
Speeding up GUI Testing by On-Device Test Generation
机译:
通过设备测试生成加快GUI测试
作者:
Nataniel P. Borges
;
Jenny Rau
;
Andreas Zeller
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Performance evaluation;
Scalability;
Generators;
Test pattern generators;
Testing;
Graphical user interfaces;
Software engineering;
67.
Lightweight MBT Testing for National e-Health Portal in Norway
机译:
轻量级MBT测试挪威国家电子健康门户网站
作者:
Davrondzhon Gafurov
;
Margrete Sunde Grovan
;
Arne Erik Hurum
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Authorization;
Privacy;
Graphical models;
Systematics;
Manuals;
Portals;
Testing;
68.
Code-Based Vulnerability Detection in Node.js Applications: How far are we?
机译:
基于代码的漏洞检测Node.js应用程序:我们有多远?
作者:
Bodin Chinthanet
;
Serena Elisa Ponta
;
Henrik Plate
;
Antonino Sabetta
;
Raula Gaikovina Kula
;
Takashi Ishio
;
Kenichi Matsumoto
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Runtime environment;
Detectors;
Tools;
Programming;
Software;
Complexity theory;
Software engineering;
69.
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects
机译:
perfci:在持续集成Python项目期间的自动性能测试的工具链条
作者:
Omar Javed
;
Joshua Heneage Dawes
;
Marta Han
;
Giovanni Franzoni
;
Andreas Pfeiffer
;
Giles Reger
;
Walter Binder
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Web services;
Software performance;
Tools;
Task analysis;
Solenoids;
Testing;
Python;
70.
SmartBugs: A Framework to Analyze Solidity Smart Contracts
机译:
SmartBugs:分析稳固智能合同的框架
作者:
João F. Ferreira
;
Pedro Cruz
;
Thomas Durieux
;
Rui Abreu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Smart contracts;
Documentation;
Debugging;
Tools;
Testing;
Software engineering;
Guidelines;
71.
A Framework for Automated Test Mocking of Mobile Apps
机译:
移动应用程序自动测试嘲笑的框架
作者:
Mattia Fazzini
;
Alessandra Gorla
;
Alessandro Orso
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Manuals;
Mobile applications;
Iterative methods;
Testing;
Software engineering;
72.
A Hybrid Analysis to Detect Java Serialisation Vulnerabilities
机译:
混合分析检测Java序列化漏洞
作者:
Shawn Rasheed
;
Jens Dietrich
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Java;
Static analysis;
Manuals;
Fuzzing;
Libraries;
Security;
Software engineering;
73.
RepoSkillMiner: Identifying software expertise from GitHub repositories using Natural Language Processing
机译:
Reposkillminer:使用自然语言处理识别从GitHub存储库的软件专业知识
作者:
Stratos Kourtzanidis
;
Alexander Chatzigeorgiou
;
Apostolos Ampatzoglou
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Project management;
Tools;
Natural language processing;
Planning;
Resource management;
Software development management;
Software engineering;
74.
A Machine Learning based Approach to Autogenerate Diagnostic Models for CNC machines
机译:
基于机器学习的CNC机器自动诊断模型的方法
作者:
Kamil Adipovich Masalimov
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Neural networks;
Machine learning;
Predictive models;
Maintenance engineering;
Machine tools;
Software engineering;
Electric motors;
75.
BugPecker: Locating Faulty Methods with Deep Learning on Revision Graphs
机译:
Bugpecker:在修订图中找到具有深度学习的故障方法
作者:
Junming Cao
;
Shouliang Yang
;
Wenhui Jiang
;
Hushuang Zeng
;
Beijun Shen
;
Hao Zhong
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Deep learning;
Computer bugs;
Buildings;
Task analysis;
Software engineering;
76.
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
机译:
更靠近边缘:通过减少保守的行为来测试编译器更彻底
作者:
Karine Even-Mendoza
;
Cristian Cadar
;
Alastair F. Donaldson
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer bugs;
Prototypes;
Tools;
Software;
Reliability;
Testing;
Software engineering;
77.
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program
机译:
基于节目验证的中断驱动程序中的数据竞争漏洞的方法
作者:
Haining Feng
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer bugs;
Static analysis;
Benchmark testing;
Synchronization;
Software engineering;
78.
A Unified Framework to Learn Program Semantics with Graph Neural Networks
机译:
使用图形神经网络学习程序语义的统一框架
作者:
Shangqing Liu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Limiting;
Semantics;
Cloning;
Artificial intelligence;
Software engineering;
79.
Anti-patterns for Java Automated Program Repair Tools
机译:
Java自动化程序维修工具的防模式
作者:
Yi Wu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Java;
Computer bugs;
Manuals;
Maintenance engineering;
Tools;
Inspection;
Software engineering;
80.
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing
机译:
通过组合基于搜索的测试和基于语法的模糊来生成高结构化输入数据
作者:
Mitchell Olsthoorn
;
Arie van Deursen
;
Annibale Panichella
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Java;
Fuzzing;
Software;
Task analysis;
Software engineering;
81.
Making Fair ML Software using Trustworthy Explanation
机译:
使用值得信赖的解释制作Fair ML软件
作者:
Joymallya Chakraborty
;
Kewen Peng
;
Tim Menzies
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Visualization;
Current measurement;
Predictive models;
Tools;
Software;
Software measurement;
Software engineering;
82.
CrossPriv: User Privacy Preservation Model for Cross-Silo Federated Software
机译:
Crosspriv:跨筒仓联邦软件的用户隐私保存模型
作者:
Harshita Diddee
;
Bhrigu Kansra
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Training;
Privacy;
Lung;
Distributed databases;
X-rays;
Data models;
Diseases;
83.
Discovering UI Display Issues with Visual Understanding
机译:
通过视觉理解发现UI显示问题
作者:
Zhe Liu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Visualization;
Computer bugs;
User experience;
Software;
Usability;
Graphical user interfaces;
Software engineering;
84.
On Benign Features in Malware Detection
机译:
在恶意软件检测中的良性功能
作者:
Michael Cao
;
Sahar Badihi
;
Khaled Ahmed
;
Peiyu Xiong
;
Julia Rubin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Detectors;
Tools;
Feature extraction;
Malware;
Reliability;
Software engineering;
Resilience;
85.
Proving Termination by k-Induction
机译:
通过k诱导证明终止
作者:
Jianhui Chen
;
Fei He
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Prototypes;
Task analysis;
Standards;
Software engineering;
86.
SRRTA: Regression Testing Acceleration via State Reuse
机译:
SRRTA:通过状态重用的回归测试加速度
作者:
Jinhao Dong
;
Yiling Lou
;
Dan Hao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Loading;
Life estimation;
Acceleration;
Optimization;
Testing;
Software engineering;
87.
An Automated Assessment of Android Clipboards
机译:
Android剪贴板的自动评估
作者:
Wei Wang
;
Ruoxi Sun
;
Minhui Xue
;
Damith C. Ranasinghe
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Data privacy;
Privacy;
Writing;
Servers;
Security;
Monitoring;
Software engineering;
88.
Dynamic Algorithm Selection for SMT
机译:
SMT的动态算法选择
作者:
Nikhil Pimpalkhare
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Training;
Runtime;
Heuristic algorithms;
Estimation;
Tools;
Classification algorithms;
Delays;
89.
FLUX: From SQL to GQL query translation tool
机译:
Flux:从SQL到GQL查询翻译工具
作者:
Chandan Sharma
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Structured Query Language;
Standards organizations;
Relational databases;
Organizations;
Tools;
Big Data;
Software engineering;
90.
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions
机译:
通过比较历史版本来查找Etereum Smart合同安全问题
作者:
Jiachi Chen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Smart contracts;
Computer bugs;
Blockchain;
Security;
History;
Sorting;
Software engineering;
91.
Formal Verification of Masking Countermeasures for Arithmetic Programs*
机译:
算术计划掩蔽对策的正式验证*
作者:
Pengfei Gao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Smart cards;
Power demand;
Statistical analysis;
Side-channel attacks;
Tools;
Electronic countermeasures;
Formal verification;
92.
Identifying Mutation Subsumption Relations
机译:
识别突变向度关系
作者:
Beatriz Souza
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Testing;
Software engineering;
93.
Edge4Sys: A Device-Edge Collaborative Framework for MEC based Smart Systems
机译:
Edge4sys:基于MEC的智能系统的设备边缘协作框架
作者:
Han Gao
;
Yi Xu
;
Xiao Liu
;
Jia Xu
;
Tianxiang Chen
;
Bowen Zhou
;
Rui Li
;
Xuejun Li
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Deep learning;
Cloud computing;
Collaboration;
Telecommunication traffic;
Unmanned aerial vehicles;
Servers;
Time factors;
94.
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy
机译:
具有自适应搜索策略的高效多路复用符号执行
作者:
Tianqi Zhang
;
Yufeng Zhang
;
Zhenbang Chen
;
Ziqi Shuai
;
Ji Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Multiplexing;
Scalability;
Search problems;
Explosions;
Software engineering;
95.
Scalability and Precision Improvement of Neural Program Synthesis
机译:
神经节目合成的可扩展性和精度提高
作者:
Yating Zhang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Analytical models;
Scalability;
Computer architecture;
Programming;
Software;
Probability distribution;
Software engineering;
96.
The Classification and Propagation of Program Comments
机译:
计划评论的分类和传播
作者:
Xiangzhe Xu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer languages;
Semantics;
Computer bugs;
Software;
Natural language processing;
Data mining;
Software engineering;
97.
Managing App Testing Device Clouds: Issues and Opportunities
机译:
管理应用程序测试设备云:问题和机会
作者:
Mattia Fazzini
;
Alessandro Orso
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Performance evaluation;
Taxonomy;
Software;
Object recognition;
Monitoring;
Testing;
Software engineering;
98.
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN
机译:
STYX:一个数据导向的突变框架,以提高DNN的稳健性
作者:
Meixi Liu
;
Weijiang Hong
;
Weiyu Pan
;
Chendong Feng
;
Zhenbang Chen
;
Ji Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Training;
Perturbation methods;
Neural networks;
Training data;
Robustness;
Image classification;
Software engineering;
99.
Synthesizing Smart Solving Strategy for Symbolic Execution
机译:
综合符号执行智能解决策略
作者:
Zehua Chen
;
Zhenbang Chen
;
Ziqi Shuai
;
Yufeng Zhang
;
Weiyu Pan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Deep learning;
Software engineering;
100.
The Symptom, Cause and Repair of Workaround
机译:
解决方法的症状,原因和修复
作者:
Daohan Song
;
Hao Zhong
;
Li Jia
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2020年
关键词:
Computer bugs;
Maintenance engineering;
Libraries;
Software;
Australia;
Standards;
Software engineering;
上一页
1
2
3
4
5
6
7
8
9
10
11
下一页
意见反馈
回到顶部
回到首页