首页>外文期刊>计算机、自动化>计算技术、计算机技术>ACM transactions on software engineering and methodology

ACM transactions on software engineering and methodology

SCIEI

中文名称：ACM关于软件工程和方法的交易

ISSN：1049-331X
出版周期：Quarterly

发文量：339

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.How Far We Have Progressed in the Journey? An Examination of Cross-Project Defect Prediction

机译：我们在旅途中取得了多大的进步？跨项目缺陷预测的检验
- 作者：Zhou Yuming;Yang Yibiao;Lu Hongmin;Chen Lin;Li Yanhui;Zhao Yangyang;Qian Junyan;Xu Baowen
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2018年第1期
- Defect prediction;
- cross-project;
- supervised;
- unsupervised;
- model;
2.Assessing the Refactoring of Brain Methods

机译：评估大脑方法的重构
- 作者：Vidal Santiago;Berra Inaki;Zulliani Santiago;Marcos Claudia;Diaz Pace J. Andres
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2018年第1期
- Code smells;
- refactoring;
- brain method;
- long method;
3.An Empirical Study of Meta- and Hyper-Heuristic Search for Multi-Objective Release Planning

机译：基于元和超启发式搜索的多目标发布计划的实证研究
- 作者：Zhang Yuanyuan;Harman Mark;Ochoa Gabriela;Ruhe Guenther;Brinkkemper Sjaak
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2018年第1期
- Strategic release planning;
- meta-heuristics;
- hyper-heuristics;
- Algorithms;
- Experimentation;
- Measurement;
4.Editorial

机译：社论
- 作者：Rosenblum David S.
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2018年第1期
5.Inferring Extended Probabilistic Finite-State Automaton Models from Software Executions

机译：从软件执行中推断扩展概率有限状态自动机模型
- 作者：Emam S. S.;Miller J.
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2018年第1期
- EFSA;
- PFSA;
- Dynamic Analysis;
- Reinforcement learning;
- Hidden Markov Model;
6.Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes

机译：随需求变化而增加测试系统的现场数据
- 作者：DANIEL Dl NARDO;FABRIZIO PASTORE;LIONEL BRIAND
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第1期
- System Testing;
- Data Processing Systems;
- Model Slicing;
- Alloy;
7.Ensuring the Consistency of Adaptation through Inter-and Intra-Component Dependency Analysis

机译：通过组件间和组件内相关性分析确保适应的一致性
- 作者：ALIREZA SADEGHI;NAEEM ESFAHANI;SAM MALEK
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第1期
- Adaptive software;
- component-based software;
- update criteria;
8.Predicting Query Quality for Applications of Text Retrieval to Software Engineering Tasks

机译：预测将文本检索应用到软件工程任务中的查询质量
- 作者：CHRIS MILLS;GABRIELE BAVOTA;SON IA HAIDUC;ROCCO LIVETO;ANDRIAN MARCUS;ANDREA DE LUCIA
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第1期
- Text retrieval;
- concept location;
- artifact traceability;
9.Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation: Theoretical and Empirical Analysis

机译：基于频谱的故障定位中遗传程序的人类竞争能力：理论和实证分析
- 作者：SHIN YOO;XIAOYUAN XIE;FEI-CHING KUO;TSONG YUEH CHEN;MARK HARMAN
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第1期
- Spectrum-based fault localisation;
- search-based software engineering;
- genetic programming;
10.Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs

机译：生成可观察非确定性FSM区分序列的并行算法
- 作者：ROBERT M. HIERONS;URAZ CENGIZ TURKER
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第1期
- Finite state machine;
- distinguishing sequences;
11.Editorial

机译：社论
- 作者：Rosenblum David S.
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第2期
12.Fixing faults in C and Java Source Code: Abbreviated vs. full-word identifier names

机译：修复C和Java源代码中的错误：缩写词与全字标识符名
- 作者：Scanniello Giuseppe;Risi Michele;Tramontana Porfirio;Romano Simone
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第2期
13.Early evaluation of implementation alternatives of composite data structures toward maintainability

机译：对可维护性的复合数据结构的实现替代方案进行早期评估
- 作者：Karanikolas Chris;Dimitroulakos Gregory;Masselos Konstantinos
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第2期
- Composition;
- Visitor;
14.A logic-based approach for the verification of UML timed models

机译：基于逻辑的UML定时模型验证方法
- 作者：Baresi Luciano;Morzenti Angelo C.;Motta Alfredo;Pourhashem Mohammad Mehdi;Rossi Matteo G.
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第2期
- Formal semantics;
- Formal verification;
- Metric temporal logic;
- Timed systems;
15.Lightweight, Obfuscation-Resilient Detection and Family Identification of Android Malware

机译：Android恶意软件的轻量级，抗混淆性检测和家族识别
- 作者：JOSHUA GARCIA;MAHMOUD HAMMAD;SAM MALEK
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第3期
- Android malware;
- obfuscation;
- machine learning;
- lightweight;
- native code;
- reflection;
16.Global and Local Deadlock Freedom in BIP

机译：BIP中的全球和本地死锁自由
- 作者：PAUL C. ATTIE;SADDEK BENSALEM;MARIUS BOZGA;MOHAMAD JABER;JOSEPH SIFAKIS;FADI A. ZARAKET
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第3期
- Alternation;
- completeness;
- nondeterminism;
17.Variability Bugs in Highly Configurable Systems: A Qualitative Analysis

机译：高度可配置系统中的可变性错误：定性分析
- 作者：IACO ABAL;JEAN MELO;STEFAN STANCIULESCU;CLAUS BRABRAND;MARCIO RIBEIRO;ANDRZEJ WASOWSKI
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2017年第3期
- Bugs;
- feature interactions;
- Linux;
- software variability;
18.Boa: Ultra-Large-Scale Software Repository and Source-Code Mining

机译：Boa：超大型软件存储库和源代码挖掘
- 作者：ROBERT DYER;HOAN ANH NGUYEN;HRIDESH RAJAN;TIEN N. NGUYEN
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第1期
- Boa;
- mining software repositories;
- domain-specific language;
- scalable;
- ease of use;
- lower barrier to entry;
19.Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines

机译：结合遗传算法和约束规划以支持任务期限的压力测试
- 作者：STEFANO DI ALESIO;LIONEL C. BRIAND;SHIVA NEJATI;ARNAUD GOTLIEB
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第1期
- Real-time systems;
- stress testing;
- task deadline;
- search-based software testing;
- genetic algorithms;
- constraint programming;
20.Estimating Semantic Relatedness in Source Code

机译：在源代码中估计语义相关性
- 作者：ANAS MAHMOUD;GARY BRADSHAW
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第1期
- Semantic relatedness;
- information retrieval;
- clustering;
- latent semantics;
- information theory;
21.Understanding Integer Overflow in C/C++

机译：了解C / C ++中的整数溢出
- 作者：WILL DIETZ;PENG LI;JOHN REGEHR;VIKRAM ADVE
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第1期
- Integer overflow;
- integer wraparound;
- undefined behavior;
22.Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency

机译：自动生成的测试用例会使调试更容易吗？调试效果和效率的实验评估
- 作者：MARIANO CECCATO;ALESSANDRO MARCHETTO;LEONARDO MARIANI;CU D. NGUYEN;PAOLO TON ELLA
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第1期
- Empirical software engineering;
- debugging;
- automatic test case generation;
23.The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints

机译：关系数据库模式完整性约束的测试覆盖率标准的有效性
- 作者：PHIL MCMINN;CHRIS J. WRIGHT;GREGORY M. KAPFHAMMER
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第1期
24.Editorial Journal-First Publication for the Software Engineering Community

机译：编辑期刊-软件工程界的第一本出版物
- 作者：Matthew B. Dwyer;David S. Rosenblum
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第1期
25.Type-Based Call Graph Construction Algorithms for Scala

机译：基于类型的Scala调用图构造算法
- 作者：KARIM ALI;MARIANNA RAPOPORT;ONDREJ LHOTAK;JULIAN DOLBY;FRANK TIP
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第1期
- Call graphs;
- static analysis;
- Scala;
26.Test Case Prioritization Using Extended Digraphs

机译：使用扩展有向图的测试用例优先级
- 作者：SEYEDEH SEPIDEH EMAM;JAMES MILLER
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第1期
27.Intelligent Code Completion with Bayesian Networks

机译：贝叶斯网络的智能代码完成
- 作者：SEBASTIAN PROKSCH;JOHANNES LERCH;MIRA MEZINI
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第1期
- Content assist;
- code completion;
- integrated development environments;
- machine learning;
- evaluation;
- code recommender;
- productivity;
28.Editorial

机译：社论
- 作者：David S. Rosenblum
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第2期
29.A Stack Memory Abstraction and Symbolic Analysis Framework for Executables

机译：可执行文件的堆栈内存抽象和符号分析框架
- 作者：KAPIL ANAND;KHALED ELWAZEER;APARNA KOTHA;MATTHEW SMITHSON;RAJEEV BARUA;ANGELOS KEROMYTIS
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第2期
- Executable code;
- program analysis;
- information-flow security;
30.Concurrency Debugging with Differential Schedule Projections

机译：差异调度投影的并发调试
- 作者：NUNO MACHADO;DANIEL QUINTA;BRANDON LUCIA;LUIS RODRIGUES
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第2期
- Concurrency;
- bug localization;
- constraint solving;
- differential schedule projection;
31.Control Explicit-Data Symbolic Model Checking

机译：控制显式数据符号模型检查
- 作者：PETR BAUCH;VOJTECH HAVEL;JIRI BARNAT
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第2期
- Model checking;
- static analysis;
- modular arithmetic;
32.DiaPro: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness

机译：DiaPro：统一动态影响分析，以提高成本效益和可变成本效益
- 作者：HAIPENG CAI;RAUL SANTELICES;DOUGLAS THAIN
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第2期
- Impact analysis;
- dependence analysis;
- coverage;
- points-to;
- cost-effectiveness;
33.SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization

机译：SIP：使用多目标进化优化从特征模型中选择最佳产品
- 作者：ROBERT M. HIERONS;MIQING LI;XIAOHUI LIU;SERGIO SEGURA;WEI ZHENG
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第2期
- Product selection;
34.Less is More: Estimating Probabilistic Rewards over Partial System Explorations

机译：少即是多：估算部分系统探索的概率回报
- 作者：ESTEBAN PAVESE;VICTOR BRABERMAN;SEBASTIAN UCHITEL
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第2期
- Quantitative modelling;
- probability;
- model checking;
- partial verification;
- estimation;
35.Inflow and Retention in OSS Communities with Commercial Involvement: A Case Study of Three Hybrid Projects

机译：具有商业参与的OSS社区的流入和保留：以三个混合项目为例
- 作者：MINGHUI ZHOU;AUDRIS MOCKUS;XIUJUAN MA;LU ZHANG;HONG MEI
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第2期
36.Understanding JavaScript Event-Based Interactions with Clematis

机译：了解与威灵仙基于JavaScript事件的交互
- 作者：SABA ALIMADADI;SHELDON SEQUEIRA;ALI MESBAH;KARTHIK PATTABIRAMAN
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第2期
- Program comprehension;
- event-based interactions;
- JavaScript;
- web applications;
- fault localization;
37.Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes

机译：学习加权假设以进行马尔可夫决策过程的组成验证
- 作者：FEI HE;XIAOWEI GAO;MIAOFEI WANG;BOW-YAW WANG;LIJUN ZHANG
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第3期
- Compositional verification;
- probabilistic model checking;
- algorithmic learning;
38.Stochastic Performance Analysis of Global Software Development Teams

机译：全球软件开发团队的随机绩效分析
- 作者：RICARDO M. CZEKSTER;PAULO FERNANDES;LUCELENE LOPES;AFONSO SALES;ALAN R. SANTOS;THAIS WEBBER
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第3期
- Global software development;
- analytical modeling;
- stochastic automata networks;
- performance analysis;
39.The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage

机译：程序和模型结构对MC / DC测试足够覆盖率有效性的影响
- 作者：GREGORY GAY;AJITHA RAJAN;MATT STAATS;MICHAEL WHALEN;MATS P. E. HEIMDAHL
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第3期
- Coverage;
- fault finding;
40.Using Cohesion and Coupling for Software Remodularization: Is It Enough?

机译：使用内聚和耦合进行软件模块化：是否足够？
- 作者：IVAN CANDELA;GABRIELE BAVOTA;BARBARA RUSSO;ROCCO OLIVETO
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第3期
- Remodularization;
- software quality;
41.Multi-Step Learning and Adaptive Search for Learning Complex Model Transformations from Examples

机译：从示例中学习复杂模型转换的多步学习和自适应搜索
- 作者：ISLEM BAKI;HOUARI SAHRAOUI
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第3期
- Genetic programming;
- model-driven engineering;
- model transformation;
- model transformation by example;
- simulated annealing;
42.Multi-Criteria Code Refactoring Using Search-Based Software Engineering: An Industrial Case Study

机译：使用基于搜索的软件工程进行多准则代码重构：工业案例研究
- 作者：ALI OUNI;MAROUANE KESSENTINI;HOUARI SAHRAOUI;KATSURO INOUE;KALYANMOY DEB
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第3期
- Search-based software engineering;
- refactoring;
- software maintenance;
- multi-objective optimization;
- software evolution;
43.Hierarchical Program Paths

机译：分层程序路径
- 作者：CHUNBAI YANG;SHANGRU WU;W. K. CHAN
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第3期
- Path tracing;
- interprocedural path;
- hierarchical and compositional representation;
44.Mining Privacy Goals from Privacy Policies Using Hybridized Task Recomposition

机译：使用混合任务重组从隐私策略中挖掘隐私目标
- 作者：JASPREET BHATIA;TRAVIS D. BREAUX;FLORIAN SCHAUB
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第3期
- Requirements extraction;
- crowdsourcing;
- natural language processing;
- privacy;
45.A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications

机译：模型驱动工程的后验类型：概念，分析和应用
- 作者：JUAN DE LARA;ESTHER GUERRA
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第4期
- Model-driven engineering;
- reusability;
- A-posteriori model typing;
- partial typing;
- dynamic typing;
- model transformations;
- bidirectionality;
- MetaDepth;
46.Impact-Driven Process Model Repair

机译：影响驱动的流程模型修复
- 作者：ARTEM POLYVYANYY;WIL M. P. VAN DER AALST;ARTHUR H. M. TER HOFSTEDE;MOE T. WYNN
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第4期
- Process mining;
- process model repair;
- repair recommendation;
- process model;
- event log;
47.Dynamic Dependence Summaries

机译：动态依赖性摘要
- 作者：VIJAY KRISHNA PALEPU;GUOQING XU;JAMES A. JONES
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第4期
- Dynamic analysis;
- dependence analysis;
- summaries;
- dynamic slicing;
48.Generating API Call Rules from Version History and Stack Overflow Posts

机译：从版本历史记录和堆栈溢出帖子中生成API调用规则
- 作者：SHAMS AZAD;PETER C. RIGBY;LATIFA GUERROUJ
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2016年第4期
- API method calls;
- community of applications;
- version history;
- informal documentation;
- Stack Overflow;
- association rule mining;
49.A Continuous ASM Modelling Approach to Pacemaker Sensing

机译：起搏器感知的连续ASM建模方法
- 作者：RICHARD BANACH;HUIBIAO ZHU;WEN SU;XIAOFENG WU
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第1期
- Continuous ASM;
- rigorous design and development;
- cardiac pacemakers;
- sensing;
50.Mining Unit Tests for Discovery and Migration of Math APIs

机译：用于发现和迁移数学API的挖掘单元测试
- 作者：ANIRUDH SANTHIAR;OMESH PANDITA;ADITYA KANADE
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第1期
- API discovery;
- API migration;
- mathematical computation;
- mining;
- unit tests;
51.Combining Centralised and Distributed Testing

机译：集中式和分布式测试相结合
- 作者：ROBERT M. HIERONS
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第1期
- Centralised testing;
- distributed testing;
- model-based testing;
52.Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements

机译：评估屏幕模型对功能需求理解的影响
- 作者：FILIPPO RICCA;GIUSEPPE SCANNIELLO;MARCO TORCHIANO;GIANNA REGGIO;EGIDIO ASTESIANO
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第1期
- Screen mockups;
- use cases;
- analysis models;
- controlled experiment;
- family of experiments;
- replicated experiments;
53.Directed Incremental Symbolic Execution

机译：定向增量符号执行
- 作者：GUOWEI YANG;SUZETTE PERSON;NEHA RUNGTA;SARFRAZ KHURSHID
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第1期
- Program differencing;
- symbolic execution;
- software evolution;
54.Code-Smell Detection as a Bilevel Problem

机译：代码气味检测是一个双层问题
- 作者：DILAN SAHIN;MAROUANE KESSENTINI;SLIM BECHIKH;KALYANMOY DEB
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第1期
- Search-based software engineering;
- software quality;
- code smells;
55.A Large-Scale Evaluation of Automated Unit Test Generation Using EvoSuite

机译：使用EvoSuite进行自动单元测试生成的大规模评估
- 作者：GORDON FRASER;ANDREA ARCURI
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第2期
- Unit testing;
- automated test generation;
- branch coverage;
- empirical software engineering;
- JUnit;
- Java;
- benchmark;
56.A Unified Test Case Prioritization Approach

机译：统一的测试用例优先级排序方法
- 作者：DAN HAO;LINGMING ZHANG;LU ZHANG;GREGG ROTHERMEL;HONG MEI
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第2期
- Software testing;
- test case prioritization;
- total strategy;
- additional strategy;
57.Residual Investigation: Predictive and Precise Bug Detection

机译：残留调查：预测性和精确的错误检测
- 作者：KAITUO LI;CHRISTOPH REICHENBACH;CHRISTOPH CSALLNER;YANNIS SMARAGDAKIS
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第2期
- False warnings;
- existing test cases;
- RFBI;
58.Conditional Commitments: Reasoning and Model Checking

机译：有条件的承诺：推理和模型检查
- 作者：WARDA EL KHOLY;JAMAL BENTAHAR;MOHAMED EL MENSHAWY;HONGYANG QU;RACHIDA DSSOULI
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第2期
- Reasoning rules;
- strong and weak conditional commitments;
59.Formal Verification of Software Countermeasures against Side-Channel Attacks

机译：应对侧信道攻击的软件对策的形式验证
- 作者：HASSAN ELDIB;CHAO WANG;PATRICK SCHAUMONT
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第2期
- Side-channel attack;
- differential power analysis;
- countermeasure;
- perfect masking;
- satisfiability modulo theory (SMT);
- cryptographic software;
- AES;
- MAC-Keccak;
60.When and How to Use Multilevel Modelling

机译：何时以及如何使用多级建模
- 作者：JUAN DE LARA;ESTHER GUERRA;JESUS SANCHEZ CUADRADO
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第2期
- Model-driven engineering;
- metamodelling;
- domain-specific modelling languages;
- multilevel modelling;
- metamodelling patterns;
61.Documenting Design-Pattern Instances: A Family of Experiments on Source-Code Comprehensibility

机译：记录设计模式实例：有关源代码可理解性的一系列实验
- 作者：GIUSEPPE SCANNIELLO;CARMINE GRAVINO;MICHELE RISI;GENOVEFFA TORTORA;GABRIELLA DODERO
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第3期
- Design patterns;
- controlled experiment;
- maintenance;
- replications;
- software models;
- source-code comprehension;
62.Software Change Contracts

机译：软件变更合同
- 作者：JOOYONG YI;DAWEI QI;SHIN HWEI TAN;ABHIK ROYCHOUDHURY
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第3期
- Software changes;
- dynamic checking;
- static checking;
63.Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications

机译：自动变通办法：利用Web应用程序的固有冗余
- 作者：ANTONIO CARZANIGA;ALESSANDRA GORLA;NICOLO PERINO;MAURO PEZZE
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第3期
- Automatic workarounds;
- Web applications;
- Web API;
64.aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models

机译：aToucan：从用例模型派生UML分析模型的自动化框架
- 作者：TAO YUE;LIONEL C. BRIAND;YVAN LABICHE
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第3期
- Use case modeling;
- analysis model;
- UML;
- class diagram;
- sequence diagram;
- activity diagram;
- transformation;
- traceability;
- automation;
65.Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis

机译：确定基于类型的偏序约束以进行路径敏感分析
- 作者：ELENA SHERMAN;BRADY J. GARVIN;MATTHEW B. DWYER
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第3期
- SMT;
- decision procedure;
- type hierarchy;
- subtyping;
- path-sensitive analysis;
66.A Baseline Model for Software Effort Estimation

机译：软件工作量估算的基准模型
- 作者：PETER A. WHIGHAM;CAITLIN A. OWEN;STEPHEN G. MACDONELL
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第3期
- Baseline model;
- transformed linear model;
67.Platys: An Active Learning Framework for Place-Aware Application Development and Its Evaluation

机译：Platys：一个用于位置感知应用程序开发和评估的主动学习框架
- 作者：PRADEEP K. MURUKANNAIAH;MUNINDAR P. SINGH
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第3期
- Mobile application development;
- location-aware;
- place-aware;
- context-aware;
- middleware;
- place recognition;
- active learning;
- semi-supervised learning;
- usability;
- privacy;
68.Many-Objective Software Remodularization Using NSGA-Ⅲ

机译：使用NSGA-Ⅲ进行多目标软件重新调制
- 作者：WIEM MKAOUER;MAROUANE KESSENTINI;ADNAN SHAOUT;PATRICE KOLIGHEU;SLIM BECHIKH;ALI OUNI;KALYANMOY DEB
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第3期
- Search-based software engineering;
- software maintenance;
- software quality;
- remodularization;
69.Automated Support for Reproducing and Debugging Field Failures

机译：自动支持重现和调试现场故障
- 作者：WEI JIN;ALESSANDRO ORSO
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第4期
- Debugging;
- fault localization;
- field failures;
70.Effective Techniques for Static Race Detection in Java Parallel Loops

机译：Java并行循环中静态竞争检测的有效技术
- 作者：COSMIN RADOI;DANNY DIG
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第4期
- Static race detection;
- Java;
- synchronization;
- static analysis;
71.Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study

机译：自动化单元测试生成真的对软件测试人员有帮助吗？对照实证研究
- 作者：GORDON FRASER;MATT STAATS;PHIL MCMINN;ANDREA ARCURI;FRANK PADBERG
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第4期
- Unit testing;
- automated test generation;
- branch coverage;
- empirical software engineering;
72.Introduction to the Special Issue on ISSTA 2013

机译：ISSTA 2013特刊简介
- 作者：Mark Harman;Mauro Pezze
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第4期
73.Data Model Property Inference, Verification, and Repair for Web Applications

机译：Web应用程序的数据模型属性推断，验证和修复
- 作者：JAIDEEP NIJJAR;IVAN BOCIC;TEVFIK BULTAN
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第4期
- Data models;
- Web applications;
- automated verification;
- automated repair;
74.Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites

机译：不充分的测试套件的基于覆盖率比较的准则
- 作者：MILOS GLIGORIC;ALEX GROCE;CHAOQIANG ZHANG;ROHAN SHARMA;MOHAMMAD AMIN ALIPOUR;DARKO MARINOV
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2015年第4期
- Coverage criteria;
- non-adequate test suites;
75.EDITORIAL

机译：社论
- 作者：David S. Rosenblum
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第1期
76.Architecture-Centric Support for Adaptive Service Collaborations

机译：以架构为中心的自适应服务协作支持
- 作者：ROBRECHT HAESEVOETS;DANNY WEYNS;TOM HOLVOET
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第1期
77.Improving Software Modularization via Automated Analysis of Latent Topics and Dependencies

机译：通过自动分析潜在主题和依存关系来改善软件模块化
- 作者：GABRIELE BAVOTA;MALCOM GETHERS;ROCCO OLIVETO;DENYS POSHYVANYK;ANDREA DE LUCIA
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第1期
- Software modularization;
- refactoring;
- relational topic modeling;
- empirical studies;
- recommendation system;
78.Do We Need to Handle Every Temporal Violation in Scientific Workflow Systems?

机译：我们是否需要处理科学工作流程系统中的所有时间违规行为？
- 作者：XIAO LIU;YUN YANG;DONG YUAN;JINJUN CHEN
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第1期
- Scientific workflows;
- temporal constraints;
- temporal verification;
- violation handling point selection;
- quality of service;
79.Join Point Interfaces for Safe and Flexible Decoupling of Aspects

机译：连接点接口，用于安全，灵活地分离方面
- 作者：ERIC BODDEN;ERIC TANTER;MILTON INOSTROZA
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第1期
- Aspect-oriented programming;
- modularity;
- typing;
- interfaces;
- implicit announcement;
- explicit announcement;
- join point polymorphism;
- advice dispatch;
80.An In-Depth Study of the Potentially Confounding Effect of Class Size in Fault Prediction

机译：类别大小在故障预测中潜在混杂效应的深入研究
- 作者：YUMING ZHOU;BAOWEN XU;HARETON LEUNG;LIN CHEN
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第1期
- Metrics;
- class size;
- confounding effect;
- fault;
- prediction;
81.Automated Cookie Collection Testing

机译：自动化Cookie收集测试
- 作者：ANDREW F. TAPPENDEN;JAMES MILLER
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第1期
- Cookies;
- Web application testing;
- software testing;
- automated testing;
- test generation;
- test strategies;
- adaptive random testing;
82.Model-Based Synthesis of Control Software from System-Level Formal Specifications

机译：基于系统级形式规范的基于模型的控制软件综合
- 作者：FEDERICO MARI;IGOR MELATTI;IVANO SALVO;ENRICO TRONCI
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第1期
83.Prevalence of Coincidental Correctness and Mitigation of its Impact on Fault Localization

机译：巧合的正确性流行及其对故障定位的影响
- 作者：WES MASRI;RAWAD ABOU ASSI
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第1期
84.Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment

机译：支持安全检查的可追溯性和SysML设计切片：受控实验
- 作者：LIONEL BRIAND;DAVIDE FALESSI;SHIVA NEJATI;MEHRDAD SABETZADEH;TAO YUE
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第1期
85.ADAM: External Dependency-Driven Architecture Discovery and Analysis of Quality Attributes

机译：ADAM：外部依赖驱动的体系结构发现和质量属性分析
- 作者：DHARMALINGAM GANESAN;MIKAEL LINDVALL
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第2期
- Concerns;
- external entities;
- knowledge base;
- maintainability;
- testability;
- software architecture;
- module and runtime views;
- reverse engineering;
- quality;
86.Key Factors for Adopting Inner Source

机译：采用内部来源的关键因素
- 作者：KLAAS-JAN STOL;PARIS AVGERIOU;MUHAMMAD ALI BABAR;YAN LUCAS;BRIAN FITZGERALD
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第2期
- Case study;
- inner source;
- open-source development practices;
- framework;
87.Editorial

机译：社论
- 作者：David S. Rosenblum
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第2期
88.Guided Test Generation for Database Applications via Synthesized Database Interactions

机译：通过综合数据库交互为数据库应用程序引导测试生成
- 作者：KAI PAN;XINTAO WU;TAO XIE
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第2期
89.On the Impact of UML Analysis Models on Source-Code Comprehensibility and Modifiability

机译：UML分析模型对源代码可理解性和可修改性的影响
- 作者：GIUSEPPE SCANNIELLO;CARMINE GRAVINO;MARCELA GENERO;JOSE A. CRUZ-LEMUS;GENOVEFFA TORTORA
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第2期
- Analysis models;
- UML;
- controlled experiment;
- family of experiments;
- maintenance;
- comprehensibility;
- modifiability;
- replicated experiments;
90.Required Behavior of Sequence Diagrams: Semantics and Conformance

机译：顺序图的必需行为：语义和一致性
- 作者：LUNJIN LU;DAE-KYOO KIM
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第2期
- Sequence diagram;
- refinement;
- conformance;
- semantics;
- required behavior;
- trace semantics;
- design pattern;
- design aspect;
91.Dynamite: A Tool for the Verification of Alloy Models Based on PVS

机译：炸药：基于PVS的合金模型验证工具
- 作者：MARIANO M. MOSCATO;CARLOS G. LOPEZ POMBO;MARCELO F. FRIAS
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第2期
- Alloy;
- alloy calculus;
- PVS;
- unsat-cores;
92.Degree-of-Knowledge: Modeling a Developer's Knowledge of Code

机译：知识程度：对开发人员的代码知识进行建模
- 作者：THOMAS FRITZ;GAIL C. MURPHY;EMERSON MURPHY-HILL;JINGWEN OU;EMILY HILL
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第2期
- Authorship;
- degree-of-interest;
- degree-of-knowledge;
- expertise;
- onboard-ing;
- recommendation;
- development environment;
93.A Taxonomy for Requirements Engineering and Software Test Alignment

机译：需求工程和软件测试一致性的分类法
- 作者：M. UNTERKALMSTEINER;R. FELDT;T. GORSCHEK
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第2期
- Alignment;
- software process assessment;
- software testing;
- taxonomy;
94.Exact Scalable Sensitivity Analysis for the Next Release Problem

机译：下一版本问题的精确可扩展敏感性分析
- 作者：MARK HARMAN;JENS KRINKE;INMACULADA MEDINA-BULO;FRANCISCO PALOMO-LOZANO;JIAN REN;SHIN YOO
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第2期
- Next release problem;
- sensitivity analysis;
- requirement engineering;
95.Generating Test Cases for Programs that Are Coded against Interfaces and Annotations

机译：为针对接口和注释编码的程序生成测试用例
- 作者：MAINUL ISLAM;CHRISTOPH CSALLNER
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第3期
- Dynamic symbolic execution;
- mock classes;
- stubs;
- test case generation;
96.Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing

机译：使用抽象动态切片的可扩展运行时膨胀检测
- 作者：GUOQING XU;NICK MITCHELL;MATTHEW ARNOLD;ATANAS ROUNTEV;EDITH SCHONBERG;GARY SEVITSKY
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第3期
- Runtime bloat;
- dynamic analysis;
- abstract dynamic slicing;
- copy profiling;
- cost-benefit analysis;
97.GreASE: A Tool for Efficient 'Nonequivalence' Checking

机译：GreASE：高效的“非等效性”检查工具
- 作者：NICOLETTA DE FRANCESCO;GIUSEPPE LETTIERI;ANTONELLA SANTONE;GIGLIOLA VAGLINI
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第3期
- Formal methods;
- heuristic searches;
- equivalence checking;
98.Architecture-Level Configuration of Large-Scale Embedded Software Systems

机译：大型嵌入式软件系统的体系结构级配置
- 作者：RAZIEH BEHJATI;SHIVA NEJATI;LIONEL C. BRIAND
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第3期
99.A Methodology for Exposing Risk in Achieving Emergent System Properties

机译：实现紧急系统特性的风险暴露方法
- 作者：LUCAS LAYMAN;VICTOR R. BASILI;MARVIN V. ZELKOWITZ
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第3期
- Process risk;
- software safety;
- risk measurement;
100.Solving the Search for Source Code

机译：解决搜索源代码
- 作者：KATHRYN T. STOLEE;SEBASTIAN ELBAUM;DANIEL DOBOS
- 期刊名称：《ACM transactions on software engineering and methodology》 | 2014年第3期
- Semantic code search;
- symbolic analysis;
- SMT solvers;
- lightweight specification;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号