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
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.