default search action
ACM Transactions on Software Engineering and Methodology, Volume 28
Volume 28, Number 1, February 2019
- David S. Rosenblum:
Farewell Editorial from the Outgoing Editor-in-Chief. - Mauro Pezzè
:
Editorial from the Incoming Editor-in-Chief. - Chunhui Wang, Fabrizio Pastore
Oracles for Testing Software Timeliness with Uncertainty. 1:1-1:30 - Abdul Razzaq, Asanka Wasala, Chris Exton, Jim Buckley
The State of Empirical Evaluation in Static Feature Location. 2:1-2:58 - Andrea Arcuri:
RESTful API Automated Test Case Generation with EvoMaster. 3:1-3:37 - Chetan Arora
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction. 4:1-4:34 - Liyan Song
Software Effort Interval Prediction via Bayesian Inference and Synthetic Bootstrap Resampling. 5:1-5:46
Volume 28, Number 2, April 2019
- Mauro Pezzè
Editorial. - Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz
Runtime Fault Detection in Programmed Molecular Systems. 6:1-6:20 - Yue Li, Tian Tan, Jingling Xue
Understanding and Analyzing Java Reflection. 7:1-7:50 - Dines Bjørner:
Domain Analysis and Description Principles, Techniques, and Modelling Languages. 8:1-8:67 - Stefan Wagner
Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys. 9:1-9:48 - Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong:
Isolation Modeling and Analysis Based on Mobility. 10:1-10:31 - Christoph Czepa
How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers? 11:1-11:38
Volume 28, Number 3, August 2019
- Mauro Pezzè
Editorial. 12 - Dennis Reuling
Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software. 13:1-13:59 - Feng Sheng
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. 14:1-14:46 - Xiaoxue Ren, Zhenchang Xing, Xin Xia
Neural Network-based Detection of Self-Admitted Technical Debt: From Performance to Explainability. 15 - Pengfei Gao, Jun Zhang, Fu Song, Chao Wang:
Verifying and Quantifying Side-channel Resistance of Masked Software Implementations. 16:1-16:32 - Porfirio Tramontana
Developing and Evaluating Objective Termination Criteria for Random Testing. 17:1-17:52 - Pedro Antonino
Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving. 18:1-18:43
Volume 28, Number 4, October 2019
- Mauro Pezzè
Editorial. - Michele Tufano
An Empirical Study on Learning Bug-Fixing Patches in the Wild via Neural Machine Translation. 19:1-19:29 - Carlo Bernaschina
The Virtual Developer: Integrating Code Generation and Manual Development with Conflict Resolution. 20:1-20:38 - Juan de Lara, Esther Guerra
Automated Reuse of Model Transformations through Typing Requirements Models. 21:1-21:62 - He Jiang, Jingxuan Zhang, Xiaochen Li, Zhilei Ren, David Lo
Recommending New Features from Mobile App Descriptions. 22:1-22:29 - Yunho Kim
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs. 23:1-23:34 - Cong Tian
Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach. 24:1-24:37
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.
last updated on 2024-12-15 01:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: