Description
Articles Included:
Article 34 (45 pages)
L2S: A Framework for Synthesizing the Most Probable Program under a Specification
Y. Xiong and B. Wang
Article 35 (31 pages)
Context- and Fairness-Aware In-Process Crowdworker Recommendation
J. Wang, Y. Yang, S. Wang, J. Hu, and Q. Wang
Article 36 (33 pages)
ReCDroid+: Automated End-to-End Crash Reproduction from Bug Reports for Android Apps
Y. Zhao, T. Su, Y. Liu, W. Zheng, X. Wu, R. Kavuluru, W. G. J. Halfond, and T. Yu
Article 37 (41 pages)
Verification of Distributed Systems via Sequential Emulation
L. Di Stefano, R. De Nicola, and O. Inverso
Article 38 (41 pages)
Opinion Mining for Software Development: A Systematic Literature Review
B. Lin, N. Cassee, A. Serebrenik, G. Bavota, N. Novielli, and M. Lanza
Article 39 (38 pages)
Stateful Serverless Computing with CRUCIAL
D. Barcelona-Pons, P. Sutra, M. Sรกnchez-Artigas, G. Paris, and P. Garcรญa-Lรณpez
Article 40 (38 pages)
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
C. A. Furia, R. Torkar, and R. Feldt
ISBN:ACMTRANSACTIO