掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Software Engineering
International Conference on Software Engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Quantitative program slicing: Separating statements by relevance
机译:
定量程序切片:按相关性分隔语句
作者:
Santelices Raul
;
Zhang Yiji
;
Jiang Siyuan
;
Cai Haipeng
会议名称:
《International Conference on Software Engineering》
|
2013年
2.
Example-Driven Modeling: Model #x003D; Abstractions #x002B; Examples
机译:
示例驱动的建模:模型=抽象+示例
作者:
Bak Kacper
;
Zayan Dina
;
Czarnecki Krzysztof
;
Antkiewicz Michal
会议名称:
《International Conference on Software Engineering》
|
2013年
3.
Towards recognizing and rewarding efficient developer work patterns
机译:
致力于识别和奖励高效的开发人员工作模式
作者:
Snipes Will
;
Augustine Vinay
;
Nair Anil R.
;
Murphy-Hill Emerson
会议名称:
《International Conference on Software Engineering》
|
2013年
4.
Selecting checkpoints along the time line: A novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes
机译:
沿时间线选择检查点:一种新颖的时间检查点选择策略,用于监视一批并行业务流程
作者:
Liu Xiao
;
Yang Yun
;
Cao Dahai
;
Yuan Dong
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Checkpoint Selection;
Parallel Processes;
Temporal Verification;
5.
LambdaFicator: From imperative to functional programming through automated refactoring
机译:
LambdaFicator:从命令式编程到函数式编程,再到自动重构
作者:
Franklin Lyle
;
Gyori Alex
;
Lahoda Jan
;
Dig Danny
会议名称:
《International Conference on Software Engineering》
|
2013年
6.
JITTAC: A Just-in-Time tool for architectural consistency
机译:
JITTAC:实现架构一致性的即时工具
作者:
Buckley Jim
;
Mooney Sean
;
Rosik Jacek
;
Ali Nour
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Reverse Engineering;
Software architecture discovery;
compliance;
software architecture consistency;
7.
Seahawk: Stack Overflow in the IDE
机译:
Seahawk:IDE中的堆栈溢出
作者:
Ponzanelli Luca
;
Bacchelli Alberto
;
Lanza Michele
会议名称:
《International Conference on Software Engineering》
|
2013年
8.
Build your own model checker in one month
机译:
一个月内建立自己的模型检查器
作者:
Dong Jin Song
;
Sun Jun
;
Liu Yang
会议名称:
《International Conference on Software Engineering》
|
2013年
9.
Data science for software engineering
机译:
软件工程数据科学
作者:
Menzies Tim
;
Kocaguneli Ekrem
;
Peters Fayola
;
Turhan Burak
会议名称:
《International Conference on Software Engineering》
|
2013年
10.
Software analytics: Achievements and challenges
机译:
软件分析:成就和挑战
作者:
Zhang Dongmei
;
Xie Tao
会议名称:
《International Conference on Software Engineering》
|
2013年
11.
Developing verified programs with Dafny
机译:
与Dafny一起开发经过验证的程序
作者:
Leino K.Rustan M.
会议名称:
《International Conference on Software Engineering》
|
2013年
12.
Software metrics: Pitfalls and best practices
机译:
软件指标:陷阱和最佳实践
作者:
Bouwers Eric
;
van Deursen Arie
;
Visser Joost
会议名称:
《International Conference on Software Engineering》
|
2013年
13.
A hands-on Java Pathfinder tutorial
机译:
动手Java Pathfinder教程
作者:
Mehlitz Peter
;
Rungta Neha
;
Visser Willem
会议名称:
《International Conference on Software Engineering》
|
2013年
14.
Efficient quality assurance of variability-intensive systems
机译:
变异性强的系统的有效质量保证
作者:
Heymans Patrick
;
Legay Axel
;
Cordy Maxime
会议名称:
《International Conference on Software Engineering》
|
2013年
15.
Automatic synthesis of modular connectors via composition of protocol mediation patterns
机译:
通过协议中介模式的组合自动合成模块化连接器
作者:
Inverardi Paola
;
Tivoli Massimo
会议名称:
《International Conference on Software Engineering》
|
2013年
16.
Robust reconfigurations of component assemblies
机译:
强大的零部件装配重新配置
作者:
Boyer Fabienne
;
Gruber Olivier
;
Pous Damien
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Component models;
Dynamic reconfiguration;
Robustness;
17.
Drag-and-drop refactoring: Intuitive and efficient program transformation
机译:
拖放重构:直观高效的程序转换
作者:
Lee Yun Young
;
Chen Nicholas
;
Johnson Ralph E.
会议名称:
《International Conference on Software Engineering》
|
2013年
18.
Managing non-functional uncertainty via model-driven adaptivity
机译:
通过模型驱动的适应性管理非功能性不确定性
作者:
Ghezzi Carlo
;
Pinto Leandro Sales
;
Spoletini Paola
;
Tamburrelli Giordano
会议名称:
《International Conference on Software Engineering》
|
2013年
19.
GuideArch: Guiding the exploration of architectural solution space under uncertainty
机译:
GuideArch:指导不确定性下的建筑解决方案空间的探索
作者:
Esfahani Naeem
;
Malek Sam
;
Razavi Kaveh
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Decision Making;
Software Architecture;
Uncertainty;
20.
Coupling software architecture and human architecture for collaboration-aware system adaptation
机译:
耦合软件体系结构和人员体系结构,以实现协作感知的系统适应
作者:
Dorn Christoph
;
Taylor Richard N.
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
architecture reconfiguration;
collaboration topology;
dynamic adaptation;
runtime mapping;
software architecture;
21.
Learning revised models for planning in adaptive systems
机译:
学习修改的模型以在自适应系统中进行规划
作者:
Sykes Daniel
;
Corapi Domenico
;
Magee Jeff
;
Kramer Jeff
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
adaptive systems;
feedback;
machine learning;
runtime model;
software architecture;
22.
RERAN: Timing- and touch-sensitive record and replay for Android
机译:
RERAN:定时和触敏记录和Android回放
作者:
Gomez Lorenzo
;
Neamtiu Iulian
;
Azim Tanzirul
;
Millstein Todd
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Google Android;
Record-and-replay;
23.
Inferring likely mappings between APIs
机译:
推断API之间的可能映射
作者:
Gokhale Amruta
;
Ganapathy Vinod
;
Padmanaban Yogesh
会议名称:
《International Conference on Software Engineering》
|
2013年
24.
Estimating mobile application energy consumption using program analysis
机译:
使用程序分析估算移动应用能耗
作者:
Hao Shuai
;
Li Ding
;
Halfond William G.J.
;
Govindan Ramesh
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Mobile app;
fine-grained energy estimation;
program analysis;
25.
Observable modified condition/decision coverage
机译:
可观察的修改后的条件/决策范围
作者:
Whalen Michael
;
Gay Gregory
;
You Dongjiang
;
Heimdahl Mats P.E.
会议名称:
《International Conference on Software Engineering》
|
2013年
26.
Creating a shared understanding of testing culture on a social coding site
机译:
在社交编码网站上建立对测试文化的共识
作者:
Pham Raphael
;
Singer Leif
;
Liskin Olga
;
Filho Fernando Figueira
会议名称:
《International Conference on Software Engineering》
|
2013年
27.
Billions and billions of constraints: Whitebox fuzz testing in production
机译:
数十亿个约束:生产中的白盒测试
作者:
Bounimova Ella
;
Godefroid Patrice
;
Molnar David
会议名称:
《International Conference on Software Engineering》
|
2013年
28.
Feedback-directed unit test generation for C/C#x002B;#x002B; using concolic execution
机译:
使用Conolic执行为C / C ++生成反馈导向的单元测试
作者:
Garg Pranav
;
Ivancic Franjo
;
Balakrishnan Gogul
;
Maeda Naoto
会议名称:
《International Conference on Software Engineering》
|
2013年
29.
A learning-based method for combining testing techniques
机译:
一种基于学习的测试技术组合方法
作者:
Cotroneo Domenico
;
Pietrantuono Roberto
;
Russo Stefano
会议名称:
《International Conference on Software Engineering》
|
2013年
30.
Human performance regression testing
机译:
人体绩效回归测试
作者:
Swearngin Amanda
;
Cohen Myra B.
;
John Bonnie E.
;
Bellamy Rachel K.E.
会议名称:
《International Conference on Software Engineering》
|
2013年
31.
Guided test generation for web applications
机译:
Web应用程序的指导测试生成
作者:
Thummalapenta Suresh
;
Lakshmi K.Vasanta
;
Sinha Saurabh
;
Sinha Nishant
会议名称:
《International Conference on Software Engineering》
|
2013年
32.
Comparing Multi-Point Stride Coverage and dataflow coverage
机译:
比较多点跨步覆盖率和数据流覆盖率
作者:
Hassan Mohammad Mahdi
;
Andrews James H.
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Control Flow Coverage;
Data Flow Coverage;
Partial Execution Pattern;
Software Testing;
33.
Interaction-based test-suite minimization
机译:
基于交互的测试套件最小化
作者:
Blue Dale
;
Segall Itai
;
Tzoref-Brill Rachel
;
Zlotnick Aviad
会议名称:
《International Conference on Software Engineering》
|
2013年
34.
Bridging the gap between the total and additional test-case prioritization strategies
机译:
弥合总体测试案例优先级策略与其他测试案例优先级策略之间的差距
作者:
Zhang Lingming
;
Hao Dan
;
Zhang Lu
;
Rothermel Gregg
会议名称:
《International Conference on Software Engineering》
|
2013年
35.
Detecting spurious counterexamples efficiently in abstract model checking
机译:
在抽象模型检查中有效检测虚假的反例
作者:
Tian Cong
;
Duan Zhenhua
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
abstraction;
formal verification;
model checking;
parallel algorithm;
refinement;
36.
Segmented symbolic analysis
机译:
分段符号分析
作者:
Le Wei
会议名称:
《International Conference on Software Engineering》
|
2013年
37.
Explicating symbolic execution (xSymExe): An evidence-based verification framework
机译:
符号执行(xSymExe):基于证据的验证框架
作者:
Hatcliff John
;
Robby
;
Chalin Patrice
;
Belt Jason
会议名称:
《International Conference on Software Engineering》
|
2013年
38.
Aluminum: Principled scenario exploration through minimality
机译:
铝:通过最小化进行有原则的方案探索
作者:
Nelson Tim
;
Saghafi Salman
;
Dougherty Daniel J.
;
Fisler Kathi
会议名称:
《International Conference on Software Engineering》
|
2013年
39.
Counter play-out: Executing unrealizable scenario-based specifications
机译:
计数器播出:执行无法实现的基于场景的规范
作者:
Maoz Shahar
;
Saar Yaniv
会议名称:
《International Conference on Software Engineering》
|
2013年
40.
Unifying FSM-inference algorithms through declarative specification
机译:
通过声明性规范统一FSM推理算法
作者:
Beschastnikh Ivan
;
Brun Yuriy
;
Abrahamson Jenny
;
Ernst Michael D.
会议名称:
《International Conference on Software Engineering》
|
2013年
41.
What good are strong specifications?
机译:
强规格有什么好处?
作者:
Polikarpova Nadia
;
Furia Carlo A.
;
Pei Yu
;
Wei Yi
会议名称:
《International Conference on Software Engineering》
|
2013年
42.
Comparative causality: Explaining the differences between executions
机译:
比较因果关系:解释处决之间的差异
作者:
Sumner William N.
;
Zhang Xiangyu
会议名称:
《》
|
2013年
43.
Automatic testing of sequential and concurrent substitutability
机译:
自动测试顺序和并发可替代性
作者:
Pradel Michael
;
Gross Thomas R.
会议名称:
《International Conference on Software Engineering》
|
2013年
44.
Data clone detection and visualization in spreadsheets
机译:
电子表格中的数据克隆检测和可视化
作者:
Hermans Felienne
;
Sedee Ben
;
Pinzger Martin
;
van Deursen Arie
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
clone detection;
code smells;
spreadsheet smells;
spreadsheets;
45.
Partition-based regression verification
机译:
基于分区的回归验证
作者:
Bohme Marcel
;
Oliveira Bruno C.D.S.
;
Roychoudhury Abhik
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Software Verification;
Testing and Analysis;
46.
Automated diagnosis of software configuration errors
机译:
自动诊断软件配置错误
作者:
Zhang Sai
;
Ernst Michael D.
会议名称:
《International Conference on Software Engineering》
|
2013年
47.
Detecting deadlock in programs with data-centric synchronization
机译:
通过以数据为中心的同步检测程序中的死锁
作者:
Marino Daniel
;
Hammer Christian
;
Dolby Julian
;
Vaziri Mandana
会议名称:
《International Conference on Software Engineering》
|
2013年
48.
The design of bug fixes
机译:
错误修复的设计
作者:
Murphy-Hill Emerson
;
Zimmermann Thomas
;
Bird Christian
;
Nagappan Nachiappan
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
bugs;
design;
empirical study;
faults;
49.
PorchLight: A tag-based approach to bug triaging
机译:
PorchLight:基于标签的错误分类方法
作者:
Bortis Gerald
;
van der Hoek Andre
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
bug trackers;
bug triaging;
tags;
50.
Expositor: Scriptable time-travel debugging with first-class traces
机译:
Expositor:具有一流跟踪的脚本化时间旅行调试
作者:
Phang Khoo Yit
;
Foster Jeffrey S.
;
Hicks Michael
会议名称:
《International Conference on Software Engineering》
|
2013年
51.
Chronicler: Lightweight recording to reproduce field failures
机译:
编年史:轻巧的记录可重现现场故障
作者:
Bell Jonathan
;
Sarda Nikhil
;
Kaiser Gail
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Debugging aids;
Error handling and recovery;
Maintainability;
Software maintenance;
52.
Does bug prediction support human developers? Findings from a Google case study
机译:
错误预测是否支持人类开发人员? Google案例研究的发现
作者:
Lewis Chris
;
Lin Zhongpeng
;
Sadowski Caitlin
;
Zhu Xiaoyan
会议名称:
《International Conference on Software Engineering》
|
2013年
53.
Transfer defect learning
机译:
转移缺陷学习
作者:
Nam Jaechang
;
Pan Sinno Jialin
;
Kim Sunghun
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
cross-project defect prediction;
empirical software engineering;
transfer learning;
54.
It's not a bug, it's a feature: How misclassification impacts bug prediction
机译:
这不是错误,而是一个功能:错误分类如何影响错误预测
作者:
Herzig Kim
;
Just Sascha
;
Zeller Andreas
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Mining software repositories;
bias;
bug reports;
data quality;
noise;
55.
Assisting developers of Big Data Analytics Applications when deploying on Hadoop clouds
机译:
在Hadoop云上部署时协助大数据分析应用程序的开发人员
作者:
Shang Weiyi
;
Jiang Zhen Ming
;
Hemmati Hadi
;
Adams Brain
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Big-Data Analytics Application;
Cloud Computing;
Hadoop;
Log Analysis;
Monitoring and Debugging;
56.
Broken sets in software repository evolution
机译:
软件存储库演变中的残破集
作者:
Vouillon Jerome
;
Di Cosmo Roberto
会议名称:
《International Conference on Software Engineering》
|
2013年
57.
Boa: A language and infrastructure for analyzing ultra-large-scale software repositories
机译:
Boa:一种用于分析超大规模软件存储库的语言和基础架构
作者:
Dyer Robert
;
Nguyen Hoan Anh
;
Rajan Hridesh
;
Nguyen Tien N.
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
ease of use;
lower barrier to entry;
mining;
repository;
reproducible;
scalable;
software;
58.
How, and why, process metrics are better
机译:
过程指标如何以及为什么更好
作者:
Rahman Foyzur
;
Devanbu Premkumar
会议名称:
《International Conference on Software Engineering》
|
2013年
59.
The role of domain knowledge and cross-functional communication in socio-technical coordination
机译:
领域知识和跨职能沟通在社会技术协调中的作用
作者:
Damian Daniela
;
Helms Remko
;
Kwan Irwin
;
Marczak Sabrina
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Software coordination;
cross-functional communication;
distributed development;
domain knowledge;
global software teams;
socio-technical coordination;
60.
Dual ecological measures of focus in software development
机译:
专注于软件开发的双重生态措施
作者:
Posnett Daryl
;
DSouza Raissa
;
Devanbu Premkumar
;
Filkov Vladimir
会议名称:
《International Conference on Software Engineering》
|
2013年
61.
Not going to take this anymore: Multi-objective overtime planning for Software Engineering projects
机译:
不再考虑:软件工程项目的多目标加班计划
作者:
Ferrucci Filomena
;
Harman Mark
;
Ren Jian
;
Sarro Federica
会议名称:
《International Conference on Software Engineering》
|
2013年
62.
Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features
机译:
布尔产品线模型检查之外:处理要素属性和多要素
作者:
Cordy Maxime
;
Schobbens Pierre-Yves
;
Heymans Patrick
;
Legay Axel
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Feature Cardinalities;
Model Checking;
Numeric Features;
Semantics;
Software Product Lines;
Tools;
63.
Strategies for product-line verification: Case studies and experiments
机译:
产品线验证策略:案例研究和实验
作者:
Apel Sven
;
von Rhein Alexander
;
Wendler Philipp
;
Groslinger Armin
会议名称:
《International Conference on Software Engineering》
|
2013年
64.
On the value of user preferences in search-based software engineering: A case study in software product lines
机译:
基于搜索的软件工程中用户偏好的价值:软件产品线中的案例研究
作者:
Sayyad Abdel Salam
;
Menzies Tim
;
Ammar Hany
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Feature Models;
Indicator-Based Evolutionary Algorithm;
Multiobjective Optimization;
Optimal Feature Selection;
Search-Based Software Engineering;
Software Product Lines;
65.
Lase: Locating and applying systematic edits by learning from examples
机译:
Lase:通过学习实例来定位和应用系统编辑
作者:
Meng Na
;
Kim Miryung
;
McKinley Kathryn S.
会议名称:
《International Conference on Software Engineering》
|
2013年
66.
Search-based genetic optimization for deployment and reconfiguration of software in the cloud
机译:
基于搜索的遗传优化,用于在云中部署和重新配置软件
作者:
Frey Soren
;
Fittkau Florian
;
Hasselbring Wilhelm
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Cloud computing;
Deployment optimization;
Search-based software engineering;
67.
How to effectively use topic models for software engineering tasks? An approach based on Genetic Algorithms
机译:
如何有效地将主题模型用于软件工程任务?一种基于遗传算法的方法
作者:
Panichella Annibale
;
Dit Bogdan
;
Oliveto Rocco
;
Di Penta Massimilano
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Genetic Algoritms;
Latent Dirichlet Allocation;
Textual Analysis in Software Engineering;
68.
Green Streams for data-intensive software
机译:
用于数据密集型软件的Green Streams
作者:
Bartenstein Thomas W.
;
David Liu Yu
会议名称:
《International Conference on Software Engineering》
|
2013年
69.
Dynamic synthesis of local time requirement for service composition
机译:
服务组合本地时间需求的动态综合
作者:
Tan Tian Huat
;
Andre Etienne
;
Sun Jun
;
Liu Yang
会议名称:
《International Conference on Software Engineering》
|
2013年
70.
Supporting swift reaction: Automatically uncovering performance problems by systematic experiments
机译:
支持快速反应:通过系统实验自动发现性能问题
作者:
Wert Alexander
;
Happe Jens
;
Happe Lucia
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
measurement;
performance;
problem detection;
71.
Toddler: Detecting performance problems via similar memory-access patterns
机译:
幼儿:通过类似的内存访问模式检测性能问题
作者:
Nistor Adrian
;
Song Linhai
;
Marinov Darko
;
Lu Shan
会议名称:
《International Conference on Software Engineering》
|
2013年
72.
Departures from optimality: Understanding human analyst's information foraging in assisted requirements tracing
机译:
偏离最优性:了解人类分析师在辅助需求跟踪中寻找信息的信息
作者:
Niu Nan
;
Mahmoud Anas
;
Chen Zhangji
;
Bradshaw Gary
会议名称:
《》
|
2013年
关键词:
Traceability;
information foraging;
requirements engineering;
study of human analysts;
73.
Analysis of user comments: An approach for software requirements evolution
机译:
用户评论分析:软件需求演化的一种方法
作者:
Carreno Laura V.Galvis
;
Winbladh Kristina
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Information Retrieval;
Requirements;
Software Evolution;
Topic Modeling;
User Comments;
User feedback;
74.
Requirements modelling by synthesis of deontic input-output automata
机译:
通过综合输入输出自动机进行需求建模
作者:
Letier Emmanuel
;
Heaven William
会议名称:
《International Conference on Software Engineering》
|
2013年
75.
Automated reliability estimation over partial systematic explorations
机译:
通过部分系统性探索自动进行可靠性评估
作者:
Pavese Esteban
;
Braberman Victor
;
Uchitel Sebastian
会议名称:
《International Conference on Software Engineering》
|
2013年
76.
Safe software updates via multi-version execution
机译:
通过多版本执行安全地更新软件
作者:
Hosek Petr
;
Cadar Cristian
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
multi-version execution;
software updates;
surviving software crashes;
77.
Reliability analysis in Symbolic PathFinder
机译:
符号路径查找器中的可靠性分析
作者:
Filieri Antonio
;
Pasareanu Corina S.
;
Visser Willem
会议名称:
《International Conference on Software Engineering》
|
2013年
78.
Engineering adaptive privacy: On the role of privacy awareness requirements
机译:
工程适应性隐私:关于隐私意识要求的作用
作者:
Omoronyia Inah
;
Cavallaro Luca
;
Salehie Mazeiar
;
Pasquale Liliana
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Privacy;
adaptation;
selective disclosure;
utility;
79.
Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis
机译:
使用混合程序分析来挖掘SQL注入和跨站点脚本漏洞
作者:
Shar Lwin Khin
;
Beng Kuan Tan Hee
;
Briand Lionel C.
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Defect prediction;
empirical study;
input validation and sanitization;
static and dynamic analysis;
vulnerability;
80.
Path sensitive static analysis of web applications for remote code execution vulnerability detection
机译:
Web应用程序的路径敏感静态分析,用于远程执行代码漏洞
作者:
Zheng Yunhui
;
Zhang Xiangyu
会议名称:
《International Conference on Software Engineering》
|
2013年
81.
Automated software architecture security risk analysis using formalized signatures
机译:
使用形式化签名的自动化软件体系结构安全风险分析
作者:
Almorsy Mohamed
;
Grundy John
;
Ibrahim Amani S.
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Architecture Security Risk analysis;
Common attack patterns enumeration and classification (CAPEC);
Formal attack patterns specification;
Software security;
82.
Why don't software developers use static analysis tools to find bugs?
机译:
为什么软件开发人员不使用静态分析工具来发现错误?
作者:
Johnson Brittany
;
Song Yoonki
;
Murphy-Hill Emerson
;
Bowdidge Robert
会议名称:
《International Conference on Software Engineering》
|
2013年
83.
Exploring the impact of inter-smell relations on software maintainability: An empirical study
机译:
探索嗅觉关系对软件可维护性的影响:一项实证研究
作者:
Yamashita Aiko
;
Moonen Leon
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
bad smells;
code smells;
inter-smell relations;
smell interaction;
software maintenance;
software quality;
84.
An empirical study on the developers' perception of software coupling
机译:
开发人员对软件耦合感知的实证研究
作者:
Bavota Gabriele
;
Dit Bogdan
;
Oliveto Rocco
;
Di Penta Massimilano
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Empirical Studies;
Software Coupling;
85.
X-PERT: Accurate identification of cross-browser issues in web applications
机译:
X-PERT:准确识别Web应用程序中的跨浏览器问题
作者:
Choudhary Shauvik Roy
;
Prasad Mukul R.
;
Orso Alessandro
会议名称:
《International Conference on Software Engineering》
|
2013年
86.
Expectations, outcomes, and challenges of modern code review
机译:
现代代码审查的期望,结果和挑战
作者:
Bacchelli Alberto
;
Bird Christian
会议名称:
《International Conference on Software Engineering》
|
2013年
87.
UML in practice
机译:
实践中的UML
作者:
Petre Marian
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
UML;
empirical studies;
notation;
software design;
software development;
88.
Cassandra: Proactive conflict minimization through optimized task scheduling
机译:
卡桑德拉(Cassandra):通过优化的任务调度来最大限度地减少冲突
作者:
Kasi Bakhtiar Khan
;
Sarma Anita
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Collaborative development;
collaboration conflicts;
coordination;
task scheduling;
89.
Are your incoming aliases really necessary? Counting the cost of object ownership
机译:
您的传入别名真的必要吗?计算对象拥有成本
作者:
Potanin Alex
;
Damitio Monique
;
Noble James
会议名称:
《International Conference on Software Engineering》
|
2013年
90.
Efficient construction of approximate call graphs for JavaScript IDE services
机译:
有效构建JavaScript IDE服务的近似调用图
作者:
Feldthaus Asger
;
Schafer Max
;
Sridharan Manu
;
Dolby Julian
会议名称:
《International Conference on Software Engineering》
|
2013年
91.
Improving feature location practice with multi-faceted interactive exploration
机译:
通过多方位互动探索改善要素定位实践
作者:
Wang Jinshui
;
Peng Xin
;
Xing Zhenchang
;
Zhao Wenyun
会议名称:
《International Conference on Software Engineering》
|
2013年
92.
SemFix: Program repair via semantic analysis
机译:
SemFix:通过语义分析修复程序
作者:
Nguyen Hoang Duong Thien
;
Qi Dawei
;
Roychoudhury Abhik
;
Chandra Satish
会议名称:
《International Conference on Software Engineering》
|
2013年
93.
Automatic recovery from runtime failures
机译:
从运行时故障中自动恢复
作者:
Carzaniga Antonio
;
Gorla Alessandra
;
Mattavelli Andrea
;
Perino Nicolo
会议名称:
《International Conference on Software Engineering》
|
2013年
94.
Program transformations to fix C integers
机译:
程序转换以修复C整数
作者:
Coker Zack
;
Hafiz Munawar
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Integer Problem;
Program Transformation;
95.
Automatic patch generation learned from human-written patches
机译:
从人工编写的补丁程序中自动学习补丁程序
作者:
Kim Dongsun
;
Nam Jaechang
;
Song Jaewoo
;
Kim Sunghun
会议名称:
《International Conference on Software Engineering》
|
2013年
96.
Reverb: Recommending code-related web pages
机译:
混响:推荐与代码相关的网页
作者:
Sawadsky Nicholas
;
Murphy Gail C.
;
Jiresal Rahul
会议名称:
《International Conference on Software Engineering》
|
2013年
97.
Dynamic injection of sketching features into GEF based diagram editors
机译:
将草图特征动态注入基于GEF的图表编辑器中
作者:
Scharf Andreas
;
Amma Till
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Sketching;
graphical editor;
modeling;
recognition;
98.
Discovering essential code elements in informal documentation
机译:
在非正式文档中发现基本代码元素
作者:
Rigby Peter C.
;
Robillard Martin P.
会议名称:
《International Conference on Software Engineering》
|
2013年
99.
Automatic query reformulations for text retrieval in software engineering
机译:
软件工程中用于文本检索的自动查询格式
作者:
Haiduc Sonia
;
Bavota Gabriele
;
Marcus Andrian
;
Oliveto Rocco
会议名称:
《International Conference on Software Engineering》
|
2013年
关键词:
Query Reformulation;
Text Retrieval;
100.
Are software patents bad? (Keynote)
机译:
软件专利不好吗? (基调)
作者:
Samuelson Pamela
会议名称:
《International Conference on Software Engineering》
|
2013年
意见反馈
回到顶部
回到首页