![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
, Lionel C. Briand:
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
, Mehrdad Sabetzadeh
, Shiva Nejati
, Lionel C. Briand:
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction. 4:1-4:34 - Liyan Song
, Leandro L. Minku
, Xin Yao:
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
, Andrew S. Miner, Hugh D. Potter:
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
, Daniel Méndez Fernández
, Michael Felderer, Antonio Vetrò
, Marcos Kalinowski
, Roel J. Wieringa, Dietmar Pfahl
, Tayana Conte
, Marie-Therese Christiansson, Desmond Greer
, Casper Lassenius, Tomi Männistö
, Maleknaz Nayebi, Markku Oivo, Birgit Penzenstadler, Rafael Prikladnicki, Guenther Ruhe, André Schekelmann, Sagar Sen, Rodrigo O. Spínola, Ahmet Tuzcu, Jose Luis de la Vara
, Dietmar Winkler:
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
, Uwe Zdun:
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
, Udo Kelter, Johannes Bürdek, Malte Lochau:
Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software. 13:1-13:59 - Feng Sheng
, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
:
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. 14:1-14:46 - Xiaoxue Ren, Zhenchang Xing, Xin Xia
, David Lo
, Xinyu Wang, John Grundy
:
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
, Domenico Amalfitano
, Nicola Amatucci, Atif M. Memon, Anna Rita Fasolino:
Developing and Evaluating Objective Termination Criteria for Random Testing. 17:1-17:52 - Pedro Antonino
, Thomas Gibson-Robinson, A. W. Roscoe:
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
, Cody Watson, Gabriele Bavota
, Massimiliano Di Penta, Martin White, Denys Poshyvanyk
:
An Empirical Study on Learning Bug-Fixing Patches in the Wild via Neural Machine Translation. 19:1-19:29 - Carlo Bernaschina
, Emanuele Falzone, Piero Fraternali, Sergio Luis Herrera Gonzalez:
The Virtual Developer: Integrating Code Generation and Manual Development with Conflict Resolution. 20:1-20:38 - Juan de Lara, Esther Guerra
, Davide Di Ruscio
, Juri Di Rocco
, Jesús Sánchez Cuadrado
, Ludovico Iovino
, Alfonso Pierantonio:
Automated Reuse of Model Transformations through Typing Requirements Models. 21:1-21:62 - He Jiang, Jingxuan Zhang, Xiaochen Li, Zhilei Ren, David Lo
, Xindong Wu, Zhongxuan Luo:
Recommending New Features from Mobile App Descriptions. 22:1-22:29 - Yunho Kim
, Seokhyeon Mun, Shin Yoo
, Moonzoo Kim:
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs. 23:1-23:34 - Cong Tian
, Chu Chen, Zhenhua Duan, Liang Zhao:
Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach. 24:1-24:37
![](https://dblp.dagstuhl.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.