掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
ACM SIGSOFT symposium on foundations of software engineering
ACM SIGSOFT symposium on foundations of software engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Proactive Detection of Collaboration Conflicts
机译:
主动检测协作冲突
作者:
Yuriv Brun
;
Reid Holmes
;
Michael D. Ernst
;
David Notkin
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
collaborative development;
collaboration conflicts;
developer awareness;
speculative analysis;
version control;
crystal;
2.
Boosting the Performance of Flow-sensitive Points-to Analysis using Value Flow
机译:
使用价值流动提高流动敏感点的性能 - 分析
作者:
Lian Li
;
Cristina Cifuentes
;
Nathan Keynes
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
precision;
efficiency;
3.
Reputation-based Self-management of Software Process Artifact Quality in Consortium Research Projects
机译:
基于信誉的软件过程工件素质在联盟研究项目中的自我管理
作者:
Christian R. Prause
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
software quality;
documentation;
collaboration;
reputation;
4.
Effective Communication of Software Development Knowledge Through Community Portals
机译:
通过社区门户的软件开发知识的有效沟通
作者:
Christoph Treude
;
Margaret-Anne Storey
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
community portal;
knowledge;
documentation;
5.
Improved Multithreaded Unit Testing
机译:
改进的多线程单元测试
作者:
Vilas Jagannath
;
Milos Gligoric
;
Dongyun Jin
;
Qingzhou Luo
;
Grigore Rosu
;
Darko Marinov
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
IMUnit;
unit testing;
multithreaded code;
6.
Sydit: Creating and Applying a Program Transformation from an Example
机译:
叙述:从示例创建和应用程序转换
作者:
Na Meng
;
Miryung Kim
;
Kathryn S. McKinley
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
software evolution;
program transformation and differencing;
7.
Synthesizing Data-structure Manipulations from Storyboards
机译:
从故事板综合数据结构操纵
作者:
Rishabh Singh
;
Armando Solar-Lezama
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
program synthesis;
storyboard programming. data structure manipulations;
8.
Inferring Test Results for Dynamic Software Product Lines
机译:
推断动态软件产品线的测试结果
作者:
Bruno B. P. Cafeo
;
Joost Noppen
;
Fabiano C. Ferrari
;
Ruzanna Chitchyan
;
Awais Rashid
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
dynamic software product lines;
software testing;
9.
Crystal: Precise and Unobtrusive Conflict Warnings
机译:
水晶:精确和不引人注目的冲突警告
作者:
Yuriy Brim
;
Reid Holmes
;
Michael D. Ernst
;
David Notkin
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
collaborative development;
collaboration conflicts;
developer awareness;
speculative analysis;
version control;
crystal;
10.
Exploiting Software Architecture to support Requirements satisfaction Testing
机译:
利用软件架构以支持需求满意度测试
作者:
Paul Clements
;
Maria J. Escalona
;
Paola Inverardi
;
Ivano Malavolta
;
Eda Marchetti
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
designl;
verification;
11.
The Onion Patch: Migration in Open Source Ecosystems
机译:
洋葱补丁:在开源生态系统中迁移
作者:
Corey Jergensen
;
Anita Sarma
;
Patrick Wagstrom
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
open source software;
project ecosystem;
contribution model;
12.
Software Architecture:Reflections on an Evolving Discipline
机译:
软件架构:对不断发展的纪律的思考
作者:
David Garlan
;
Mary Shaw
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
design;
13.
Mining Development Repositories To Study the Impact of Collaboration on Software Systems
机译:
采矿开发储存库研究协作对软件系统的影响
作者:
Nicolas Bettenburg
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
collaboration;
empirical studies;
software repositories;
unstructured data;
socio-technical congruence;
14.
On the Congruence of Modularity and Code Coupling
机译:
关于模块化和代码耦合的同时
作者:
Fabian Beck
;
Stephan Diehl
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
design;
experimentation;
measurement;
15.
Inferring Data Polymorphism in Systems Code
机译:
在系统代码中推断数据多态性
作者:
Brian Hackett
;
Alex Aiken
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
type checking;
type casting;
static analysis;
16.
Search Based Hierarchy Generation for Reverse Engineered State Machines
机译:
基于搜索的层次结构,用于反向工程状态机
作者:
Mathew Hall
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
state machines;
search-based clustering;
hill-climbing;
bunch;
hierarchy generation;
17.
Mitigating the Confounding Effects of Program Dependences for Effective Fault Localization
机译:
减轻计划依赖性对有效故障定位的混淆效果
作者:
George K. Baah
;
Andy Podgurski
;
Mary Jean Harrold
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
causal inference;
potential outcome model;
matching;
fault localization;
program analysis;
debugging;
18.
Finding Bugs by Isolating Unit Tests
机译:
通过隔离单元测试来查找错误
作者:
Kivanc Muslu
;
Bilge Soran
;
Jochen Wuttke
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
data dependency;
testing;
test isolation;
test reuse;
19.
PASTE'11: 10th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
机译:
Paste'11:10th ACM Sigplan-Sigsoft软件工具和工程方案分析方案分析研讨会
作者:
Jeffrey S. Foster
;
Lori L. Pollock
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
program analysis;
software tools;
software engineering;
pro gramming languages;
20.
The 4th International Workshop on Social Software Engineering (SSE'11)
机译:
社会软件工程(SSE'11)第四届国际研讨会
作者:
Walid Maalej
;
Raian AN
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
social computing;
social engineering;
21.
Testing Software In Age Of Data Privacy: A Balancing Act
机译:
测试软件在数据隐私中:平衡行为
作者:
Kunal Taneja
;
Mark Grechanik
;
Rayid Ghani
;
Tao Xie
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
data anonymity;
software testing;
privacy framework;
utility;
PRIEST;
22.
Experimental Specification Mining for Enterprise Applications
机译:
企业应用实验规范挖掘
作者:
Matthias Schur
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
specification mining;
test case generation;
model-based testing;
enterprise applications;
23.
Automatic Structural Testing with Abstraction Refinement and Coarsening
机译:
采用抽象细化和粗化的自动结构测试
作者:
Mauro Baluda
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
algorithms;
verification;
24.
Version-consistent Dynamic Reconfiguration of Component-based Distributed Systems
机译:
基于组件的分布式系统的版本 - 一致的动态重新配置
作者:
Xiaoxing Ma
;
Luciano Baresi
;
Carlo Ghezzi
;
Valerio Panzica La Manna
;
Jian Lu
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
dynamic reconfiguration;
version-consistency;
component-based distributed system;
25.
Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs
机译:
加入面向方面的模块推理的点接口
作者:
Milton Inostroza
;
Eric Tanter
;
Eric Bodden
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
aspect-oriented programming;
modularity;
26.
Taming Uncertainty in Self-Adaptive Software
机译:
驯服自适应软件中的不确定性
作者:
Naeem Esfahani
;
Ehsan Kouroshfar
;
Sam Malek
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
uncertainty;
self-adaptation;
software architecture;
27.
Static Deep Error Checking in Large System Applications using Parfait
机译:
使用Parfait的大型系统应用中的静态深度错误检查
作者:
Cristina Cifuentes
;
Nathan Keynes
;
Lian Li
;
Nathan Hawes
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
precision;
scalability;
28.
Fault Localization for Data-Centric Programs
机译:
数据以数据为中心的故障本地化
作者:
Diptikalyan Saha
;
V. Krishna Nandivada
;
Mangala Gowri Nanda
;
Vibha Sinha
;
Pankaj Dhoolia
;
Satish Chandra
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
automated debugging;
data-centric languages;
slicing;
semantic differencing;
29.
Automatic Test Suite Evolution
机译:
自动测试套件演化
作者:
Mehdi Mirzaaghaei
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
test case generation;
test case maintenance;
software evolution;
automated testing process;
30.
Querypoint: Moving Backwards on Wrong Values in the Buggy Execution
机译:
QueryPoint:在错误执行中向后移动错误值
作者:
Salman Mirghasemi
;
John J. Barton
;
Claude Petitpierre
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
debugging;
locating defects;
querypoint;
lastchange;
breakpoint;
watchpoint;
logging;
31.
Proving Programs Robust
机译:
证明计划强大
作者:
Swarat Chaudhuri
;
Sumit Gulwani
;
Roberto Lublinerman
;
Sara Navidpour
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
lipschitz;
continuity;
quantitative program analysis;
sensitivity;
robustness;
uncertainty;
perturbations;
program approximation;
32.
Fuzzy Set and Cache-based Approach for Bug Triaging
机译:
Bug Trijing的模糊集和基于缓存的方法
作者:
Ahmed Tamrawi
;
Tunq Thanh Nguyen
;
Jafar M. Al-Kofahi
;
Tien N. Nguyen
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
bug triaging;
fuzzy set;
developers' expertise;
33.
CSSL: A Logic for Specifying Conditional Scenarios
机译:
CSSL:用于指定条件方案的逻辑
作者:
Shoham Ben-David
;
Marsha Chechik
;
Arie Gurfinkel
;
Sebastian Uchitel
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
design;
verification;
34.
ADDiff: Semantic Differencing for Activity Diagrams
机译:
Addiff:活动图表的语义差异
作者:
Shahar Maoz
;
Jan Oliver Ringert
;
Bernhard Rumpe
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
software evolution;
activity diagrams;
differencing;
35.
QoS Verification and Model Tuning @ Runtime
机译:
QoS验证和模型调整@运行时
作者:
Antonio Filieri
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
36.
Partial Replay of Long-Running Applications
机译:
部分重播长期运行的应用程序
作者:
Alvin Cheung
;
Armando Solar-Lezama
;
Samuel Madden
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
reliability;
performance;
37.
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty
机译:
鹰:通过利用不确定性的普遍存在的地球技术
作者:
Marco Autili
;
Vittorio Cortellessa
;
Davide Di Ruscio
;
Paola Inverardi
;
Patrizio Pelliccione
;
Massimo Tivoh
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
ubiquitous computing;
uncertainty;
38.
Using an SMT Solver for Interactive Requirements Prioritization
机译:
使用SMT求解器进行交互式要求优先级
作者:
Francis Palma
;
Angelo Susi
;
Paolo Tonella
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
requirements prioritization;
constraint solving;
39.
BugCache for Inspections : Hit or Miss?
机译:
检验的Bugcache:击中或错过?
作者:
Foyzur Rahman
;
Daryl Posnett
;
Abram Hindle
;
Earl Barr
;
Premkumar Devanbu
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
empirical software engineering;
fault prediction;
inspection;
40.
High-Impact Defects: A Study of Breakage and Surprise Defects
机译:
高冲击缺陷:对破损和惊喜缺陷的研究
作者:
Emad Shihab
;
Audris Mockus
;
Yasutaka Kamei
;
Bram Adams
;
Ahmed E. Hassan
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
high-impact;
process metrics;
defect prediction;
41.
On Software Component Co-lnstallability
机译:
在软件组件CO-LNSTALLIBALY
作者:
Jerome Vouillon
;
Roberto Di Cosmo
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
component;
dependencies;
conflicts;
co-installability;
package management;
open source;
42.
Cross-Library API Recommendation using Web Search Engines
机译:
使用Web搜索引擎的跨图书馆API建议
作者:
Wujie Zheng
;
Qirun Zhang
;
Michael Lyu
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
documentation;
reliability;
43.
jStar-eclipse: An IDE for Automated Verification of Java Programs
机译:
JSTAR-Eclipse:用于自动验证Java程序的IDE
作者:
Daiva Naudziuniene
;
Mike Dodds
;
Matko Botincan
;
Radu Grigore
;
Dino Distefano
;
Matthew J. Parkinson
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
automated verification;
separation logic;
java;
eclipse;
44.
SCORE: A Scalable Concolic Testing Tool for Reliable Embedded Software
机译:
得分:可扩展的嵌入式软件可扩展的Condolic测试工具
作者:
Yunho Kim
;
Moonzoo Kim
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
algorithms;
experimentation;
45.
Semistructured Merge:Rethinking Merge in Revision Control Systems
机译:
Semistructured Merge:修订控制系统中的重新思考合并
作者:
Sven Apel
;
Joerg Liebig
;
Christian Kaestner
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
revision control;
version control;
software merging;
semistructured merge;
FSTMerge, FeatureHouse;
46.
Social Sensing: When Users Become Monitors
机译:
社会传感:当用户成为监视器时
作者:
Raian Ali
;
Carlos Solis
;
Bashar Nuseibeh
;
Walid Maalej
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
requirements engineering;
social software engineering;
models at runtime;
adaptive software engineering;
47.
Cross-Layer Modeler - A Tool for Flexible Multilevel Modeling with Consistency Checking
机译:
交叉层建模器 - 一种具有一致性检查的灵活多级模型的工具
作者:
Andreas Demuth
;
Roberto E.
;
Alexander Egyed
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
consistency checking;
metamodeling;
multilevel modeling;
48.
Managing Performance vs. Accuracy Trade-offs With Loop Perforation
机译:
管理性能与循环穿孔的准确性权衡
作者:
Stelios Sidiroglou
;
Sasa Misailovic
;
Martin Rinard
;
Henry Hoffmann
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
profiling;
loop perforation;
quality of service;
49.
An Architecture-centric Approach for Goal-driven Requirements Elicitation
机译:
目标驱动要求诱因的以建筑为中心的方法
作者:
Zoya Durdik
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
requirements elicitation;
software architecture;
architectural modelling;
architectural solutions;
design patterns;
architectural decisions;
development process;
50.
Path Exploration based on Symbolic Output
机译:
基于符号输出的路径探索
作者:
Dawei Qi
;
Hoang D.T. Nguyen
;
Abhik Roychoudhury
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
path exploration;
relevant slice condition;
symbolic execution;
51.
Workshop on Assurances for Self-Adaptive Systems (ASAS 2011)
机译:
自适应系统保证的研讨会(ASAS 2011)
作者:
Javier Camara
;
Carlo Ghezzi
;
Rogerio de Lemos
;
Antonia Lopes
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
adaptive software;
assurances;
stochastic analysis;
run-time verification;
testing;
52.
Micro Interaction Metrics for Defect Prediction
机译:
用于缺陷预测的微互动度量
作者:
Taek Lee
;
Jaechang Nam
;
DongGyun Han
;
Sunghun Kim
;
Hoh Peter In
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
53.
Probabilistic Dataflow Analysis using Path Profiles on Structure Graphs
机译:
概率DataFlow分析在结构图上使用路径配置文件
作者:
Arun Ramamurthi
;
Subhajit Roy
;
Y. N. Srikant
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
algorithms;
54.
ELI-ALPS - The Ultrafast Challenges in Hungary
机译:
Eli-Alps - 匈牙利的超快挑战
作者:
Gabor Szabo
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
ELI;
attosecond light pulse;
55.
ReLink: Recovering Links between Bugs and Changes
机译:
Relink:恢复错误和更改之间的链接
作者:
Rongxin Wu
;
Hongyu Zhang
;
Sunghun Kim
;
S.C. Cheung
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
mining software repository;
missing links;
data quality;
bugs;
changes;
56.
A Software Lifecycle Process for Context-Aware Adaptive Systems
机译:
用于上下文知识自适应系统的软件生命周期过程
作者:
Marco Mori
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
design;
verification;
57.
Synoptic: Studying Logged Behavior with Inferred Models
机译:
synoptic:使用推断模型研究记录行为
作者:
Ivan Beschastnikh
;
Jenny Abrahamson
;
Yuriy Brun
;
Michael D. Ernst
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
log analysis;
temporal invariant mining;
model inference;
synoptic;
58.
New Ideas Track: Testing MapReduce-Style Programs
机译:
新的想法跟踪:测试MapReduce样式程序
作者:
Christoph Csallner
;
Leonidas Fegaras
;
Chengkai Li
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
mapreduce;
dynamic symbolic execution;
test generation;
59.
Building Advanced Mechatronic Systems
机译:
建设先进的机电系统
作者:
Wilhelm Schaefer
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
mechatronic UML;
graph transformations;
real time;
60.
8th International Workshop on Software Quality (WoSQ)
机译:
第八届国际软件质量研讨会(WOSQ)
作者:
Stefan Wagner
;
Bernard Wong
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
software quality;
quality management;
61.
Strong Higher Order Mutation-Based Test Data Generation
机译:
基于强大的高阶突变的测试数据生成
作者:
Mark Harman
;
Yue Jia
;
William B. Langdon
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
mutation testing;
test data generation;
62.
Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications
机译:
在JavaScript Web应用程序的静态分析中建模HTML DOM和浏览器API
作者:
Simon Holm Jensen
;
Magnus Madsen
;
Anders Moller
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
languages;
algorithms;
verification;
63.
Don't Touch My Code! Examining the Effects of Ownership on Software Quality
机译:
不要触摸我的代码!检查所有权对软件质量的影响
作者:
Christian Bird
;
Nachiappan Nagappan
;
Brendan Murphy
;
Harald Gall
;
Premkumar Deyanbu
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
empirical software engineering. ownership;
expertise;
quality;
64.
Leveraging Existing Instrumentation to Automatically Infer Invariant-Constrained Models
机译:
利用现有的仪器自动推断不变约束模型
作者:
Ivan Beschastnikh
;
Yuriy Brun
;
Sigurd Schneider
;
Michael Sloan
;
Michael D. Ernst
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
log analysis;
temporal invariant mining;
model inference;
synoptic;
65.
Tool Support for UML-Based Specification and Verification of Role-Based Access Control Properties
机译:
基于UML的规范和基于角色的访问控制属性的工具支持
作者:
Lionel Montrieux
;
Michel Wermelinger
;
Yijun Yu
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
security;
UML, RBAC;
model;
verification. OCL;
model-driven engineering;
66.
IWPSE-EVOL 2011
机译:
iwpse-evol 2011
作者:
Romain Robbes
;
Anthony Cleve
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
software maintenance;
software evolution;
67.
Stateful Breakpoints: A Practical Approach to Defining Parameterized Runtime Monitors
机译:
状态断点:定义参数化运行时监视器的实用方法
作者:
Eric Bodden
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
parameterized;
runtime monitors;
stateful breakpoints;
68.
How Do Fixes Become Bugs?
机译:
修复如何成为虫子?
作者:
Zuoning Yin
;
Ding Yuan
;
Yuanyuan Zhou
;
Shankar Pasupathy
;
Lakshmi Bairavasundaram
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
incorrect fixes;
software bugs;
bug fixing;
human factor;
testing;
69.
Design and Validation of Feature-based Process Model Tailoring - A Sample Implementation of PDE
机译:
基于功能的流程模型剪裁设计与验证 - PDE的示例实现
作者:
Daniela Costache
;
Georg Kalus
;
Marco Kuhrmann
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
development process;
feature-model;
visual modeling;
70.
EvoSuite: Automatic Test Suite Generation for Object-Oriented Software
机译:
Evosuite:面向对象软件的自动测试套件生成
作者:
Gordon Fraser
;
Andrea Arcuri
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
test case generation;
assertion generation;
search based software testing;
71.
Checking Conformance of a Producer and a Consumer
机译:
检查生产者和消费者的一致性
作者:
Evan Driscoll
;
Amanda Burton
;
Thomas Reps
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
producer-consumer compatibility;
language containment;
visibly pushdown automata;
72.
SMutant: A Tool for Type-Sensitive Mutation Testing in a Dynamic Language
机译:
SMUTANT:一种动态语言类型敏感突变测试的工具
作者:
Milos Gligoric
;
Sandro Badame
;
Ralph Johnson
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
mutation testing;
dynamic languages;
73.
Using Social Media to Study the Diversity of Example Usage Among Professional Developers
机译:
利用社交媒体研究专业开发人员之间的示例使用量的多样性
作者:
Ohad Barzilay
;
Orit Hazzan
;
Amiram Yehudai
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
social media;
linkedln;
example usage;
virtual focus group;
74.
SafeSlice: A Model Slicing and Design Safety Inspection Tool for SysML
机译:
SAFESLICE:SYSML的模型切片和设计安全检查工具
作者:
Davide Falessi
;
Shiva Nejati
;
Mehrdad Sabetzadeh
;
Lionel Briand
;
Antonio Messina
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
safety certification;
sysML;
traceability;
model slicing;
75.
PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
机译:
PSPWizard:具有规范模式的时间逻辑属性的机器辅助定义
作者:
Markus Lumpe
;
Indika Meedeniya
;
Lars Grunske
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
specification patterns;
temporal logic;
structured english grammar;
76.
Understanding Failures Through Facts
机译:
通过事实了解失败
作者:
Jeremias Roessler
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
automated debugging;
test case generation;
failure classification;
statistical debugging;
77.
Does Adding Manpower Also Affect Quality? An Empirical, Longitudinal Analysis
机译:
添加人力也会影响质量吗?经验,纵向分析
作者:
Andrew Meneely
;
Pete Rotella
;
Laurie Williams
会议名称:
《ACM SIGSOFT symposium on foundations of software engineering》
|
2011年
关键词:
longitudinal analysis;
team expansion metric;
modularity;
brooks' law;
developer;
linear regression;
意见反馈
回到顶部
回到首页