![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
ACM Transactions on Software Engineering and Methodology, Volume 29
Volume 29, Number 1, January 2020
- Antoine El-Hokayem, Yliès Falcone
:
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation. 1:1-1:57 - Robert M. Hierons
, Miqing Li
, Xiaohui Liu
, José Antonio Parejo
, Sergio Segura
, Xin Yao:
Many-Objective Test Suite Generation for Software Product Lines. 2:1-2:46 - Lin Chen, Di Wu, Wanwangying Ma, Yuming Zhou, Baowen Xu
, Hareton Leung:
How C++ Templates Are Used for Generic Programming: An Empirical Study on 50 Open Source Systems. 3:1-3:49 - Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan:
Automatically Generating SystemC Code from HCSP Formal Models. 4:1-4:39 - Yuan Yuan, Wolfgang Banzhaf:
Toward Better Evolutionary Program Repair: An Integrated Approach. 5:1-5:53 - Roman Haas
, Rainer Niedermayr, Tobias Roehm, Sven Apel
:
Is Static Analysis Able to Identify Unnecessary Source Code? 6:1-6:23 - Özgür Kafali
, Nirav Ajmeri
, Munindar P. Singh
:
DESEN: Specification of Sociotechnical Systems via Patterns of Regulation and Control. 7:1-7:50
Volume 29, Number 2, April 2020
- Mauro Pezzè
:
Editorial. 8e:1 - Haipeng Cai
:
Assessing and Improving Malware Detection Sustainability through App Evolution Studies. 8:1-8:28 - Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang, Yuriy Brun, Michael D. Ernst:
Visualizing Distributed System Executions. 9:1-9:38 - Shaukat Ali, Paolo Arcaini
, Dipesh Pradhan, Safdar Aqeel Safdar
, Tao Yue
:
Quality Indicators in Search-based Software Engineering: An Empirical Evaluation. 10:1-10:29 - Ghanem Soltana, Mehrdad Sabetzadeh
, Lionel C. Briand:
Practical Constraint Solving for Generating System Test Data. 11:1-11:48 - Ritu Kapur
, Balwinder Sodhi:
A Defect Estimator for Source Code: Linking Defect Reports with Programming Constructs Usage Metrics. 12:1-12:35 - Yangguang Li, Zhen Ming (Jack) Jiang, Heng Li, Ahmed E. Hassan, Cheng He, Ruirui Huang, Zhengda Zeng, Mian Wang, Pinan Chen:
Predicting Node Failures in an Ultra-Large-Scale Cloud Computing Platform: An AIOps Solution. 13:1-13:24
Volume 29, Number 3, July 2020
- Mauro Pezzè
:
Editorial. 14e:1 - Guanhua Wang
, Sudipta Chattopadhyay, Arnab Kumar Biswas
, Tulika Mitra, Abhik Roychoudhury
:
KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. 14:1-14:31 - Farbod Taymouri, Josep Carmona
:
Computing Alignments of Well-Formed Process Models using Local Search. 15:1-15:41 - Zhendong Wang
, Yang Feng, Yi Wang, James A. Jones, David F. Redmiles
:
Unveiling Elite Developers' Activities in Open Source Projects. 16:1-16:35 - Artem Polyvyanyy
, Andreas Solti, Matthias Weidlich
, Claudio Di Ciccio
, Jan Mendling:
Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems. 17:1-17:41 - Breno Miranda
, Antonia Bertolino
:
Testing Relative to Usage Scope: Revisiting Software Coverage Criteria. 18:1-18:24 - Jieshan Chen
, Chunyang Chen
, Zhenchang Xing, Xin Xia
, Liming Zhu
, John C. Grundy
, Jinshui Wang
:
Wireframe-based UI Design Search through Image Autoencoder. 19:1-19:31 - Yinxing Xue, Yan-Fu Li
:
Multi-objective Integer Programming Approaches for Solving the Multi-criteria Test-suite Minimization Problem: Towards Sound and Complete Solutions of a Particular Search-based Software-engineering Problem. 20:1-20:50 - Lingfeng Bao
, Zhenchang Xing, Xin Xia
, David Lo
, Minghui Wu
, Xiaohu Yang:
psc2code: Denoising Code Extraction from Programming Screencasts. 21:1-21:38
Volume 29, Number 4, October 2020
- Andrea Arcuri, Juan P. Galeotti:
Handling SQL Databases in Automated System Test Generation. 22:1-22:31 - Aleksandr Pilgun
, Olga Gadyatskaya, Yury Zhauniarovich, Stanislav Dashevskyi, Artsiom Kushniarou, Sjouke Mauw:
Fine-grained Code Coverage Measurement in Automated Black-box Android Testing. 23:1-23:35 - Junjie Wang
, Ye Yang, Tim Menzies
, Qing Wang:
iSENSE2.0: Improving Completion-aware Crowdtesting Management with Duplicate Tagger and Sanity Checker. 24:1-24:27 - Xihui Zhang
, Thomas F. Stafford, Tao Hu, Hua Dai:
Measuring Task Conflict and Person Conflict in Software Testing. 25:1-25:19 - Zhipeng Gao
, Xin Xia
, John Grundy
, David Lo
, Yuan-Fang Li
:
Generating Question Titles for Stack Overflow from Mined Code Snippets. 26:1-26:37 - Xiao Liang Yu, Omar I. Al-Bataineh, David Lo
, Abhik Roychoudhury
:
Smart Contract Repair. 27:1-27:32 - Josie Holmes, Iftekhar Ahmed
, Caius Brindescu, Rahul Gopinath, He Zhang
, Alex Groce:
Using Relative Lines of Code to Guide Automated Test Generation for Python. 28:1-28:38 - Jevgenija Pantiuchina, Fiorella Zampetti, Simone Scalabrino
, Valentina Piantadosi
, Rocco Oliveto, Gabriele Bavota
, Massimiliano Di Penta:
Why Developers Refactor Source Code: A Mining-based Study. 29:1-29:30
- Junjie Chen, Zhuo Wu, Zan Wang, Hanmo You, Lingming Zhang, Ming Yan
:
Practical Accuracy Estimation for Efficient Deep Neural Network Testing. 30:1-30:35 - Wenhan Wang, Ge Li, Sijie Shen, Xin Xia
, Zhi Jin:
Modular Tree Network for Source Code Representation Learning. 31:1-31:23
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.