Software Engineering

Authors and titles for cs.SE in Aug 2020

[1]  arXiv:2008.00135 [pdf, ps, other]

Title: Dissipating with Relations: Implication for the Entity-Relationship Model

Authors: Sabah Al-Fedaghi

Comments: 10 pages, 20 figures

Journal-ref: International Journal of Computer Science and Information Security, Vol. 18, No. 6, June 2020

Subjects: Software Engineering (cs.SE)

[2]  arXiv:2008.00277 [pdf, other]

Title: Guided Pattern Mining for API Misuse Detection by Change-Based Code Analysis

Authors: Sebastian Nielebock, Robert Heumüller, Kevin Michael Schott, Frank Ortmeier

Subjects: Software Engineering (cs.SE)

[3]  arXiv:2008.00474 [pdf, ps, other]

Title: MDA Models and PIM/PSM Transformations Using Extended Automata

Authors: David Dayan, Rivka Kaplinsky, Aryeh Wiesen, Simon Bloch

Comments: 11 pages, 5 figures, 2 tables

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)

[4]  arXiv:2008.00612 [pdf, other]

Title: How Different is Test Case Prioritization for Open and Closed Source Projects?

Authors: Xiao Ling, Rishabh Agrawal, Tim Menzies

Comments: 15 pages, 4 figures, 16 tables, accepted to TSE

Subjects: Software Engineering (cs.SE)

[5]  arXiv:2008.00914 [pdf, other]

Title: On the Efficiency of Test Suite based Program Repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs

Authors: Kui Liu, Shangwen Wang, Anil Koyuncu, Kisub Kim, Tegawendé F. Bissyandé, Dongsun Kim, Peng Wu, Jacques Klein, Xiaoguang Mao, Yves Le Traon

Subjects: Software Engineering (cs.SE)

[6]  arXiv:2008.00977 [pdf, other]

Title: Reliability in Software Engineering Qualitative Research through Inter-Coder Agreement: A guide using Krippendorff's $α$ & Atlas.ti

Authors: Ángel González-Prieto, Jorge Perez, Jessica Diaz, Daniel López-Fernández

Comments: 35 pages, 15 figures, 12 tables

Subjects: Software Engineering (cs.SE); Methodology (stat.ME)

[7]  arXiv:2008.01046 [pdf, other]

Title: Understanding and Improving Artifact Sharing in Software Engineering Research

Authors: Christopher S. Timperley, Lauren Herckis, Claire Le Goues, Michael Hilton

Comments: 45 pages, 5 figures, 6 tables. Accepted for publication in Empirical Software Engineering

Subjects: Software Engineering (cs.SE)

[8]  arXiv:2008.01150 [pdf, other]

Title: Evolutionary Grammar-Based Fuzzing

Authors: Martin Eberlein, Yannic Noller, Thomas Vogel, Lars Grunske

Comments: Accepted at the 12th Symposium on Search-Based Software Engineering (SSBSE 2020)

Subjects: Software Engineering (cs.SE)

[9]  arXiv:2008.01172 [pdf, other]

Title: Bet and Run for Test Case Generation

Authors: Sebastian Müller, Thomas Vogel, Lars Grunske

Comments: Accepted at the 12th Symposium on Search-Based Software Engineering (SSBSE 2020)

Subjects: Software Engineering (cs.SE)

[10]  arXiv:2008.01263 [pdf, ps, other]

Title: Safety design concepts for statistical machine learning components toward accordance with functional safety standards

Authors: Akihisa Morikawa, Yutaka Matsubara

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Systems and Control (eess.SY)

[11]  arXiv:2008.01566 [pdf, other]

Title: On the Generalizability of Neural Program Models with respect to Semantic-Preserving Program Transformations

Authors: Md Rafiqul Islam Rabin, Nghi D. Q. Bui, Ke Wang, Yijun Yu, Lingxiao Jiang, Mohammad Amin Alipour

Comments: Information and Software Technology, IST Journal 2021, Elsevier. Related to arXiv:2004.07313

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)

[12]  arXiv:2008.01623 [pdf, ps, other]

Title: Semantic based model of Conceptual Work Products for formal verification of complex interactive systems

Authors: Mohcine Madkour, Keith Butler, Eric Mercer, Ali Bahrami, Cui Tao

Subjects: Software Engineering (cs.SE); Machine Learning (stat.ML)

[13]  arXiv:2008.01676 [pdf, other]

Title: Anchor: Locating Android Framework-specific Crashing Faults

Authors: Pingfan Kong, Li Li, Jun Gao, Timothée Riom, Yanjie Zhao, Tegawendé F. Bissyandé, Jacques Klein

Comments: 12 pages

Subjects: Software Engineering (cs.SE)

[14]  arXiv:2008.02132 [pdf, other]

Title: Search@Home: A Commercial Off-the-Shelf Environment for Investigating Optimization Problems

Authors: Erik M. Fredericks, Jared M. Moore

Subjects: Software Engineering (cs.SE)

[15]  arXiv:2008.02164 [pdf, other]

Title: Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

Authors: Sophie Wood, Nicholas Matragkas, Dimitris Kolovos, Richard Paige, Simos Gerasimou

Comments: 10 pages

Subjects: Software Engineering (cs.SE); Robotics (cs.RO)

[16]  arXiv:2008.02456 [pdf, other]

Title: Predicting Missing Information of Key Aspects in Vulnerability Reports

Authors: Hao Guo, Zhenchang Xing, Xiaohong Li

Subjects: Software Engineering (cs.SE)

[17]  arXiv:2008.02485 [pdf, other]

Title: Gathering GitHub OSS Requirements from Q&A Community: an Empirical Study

Authors: Hao Huang, Yao Lu, Xinjun Mao

Comments: 10 pages, 13 figures, This paper will be published in the proceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS2020)

Subjects: Software Engineering (cs.SE)

[18]  arXiv:2008.02502 [pdf, ps, other]

Title: iMER: Iterative Process of Entity Relationship and Business Proces Models Extraction from the Requirements

Authors: Muhammad Javed, Yuqing Lin

Subjects: Software Engineering (cs.SE)

[19]  arXiv:2008.02597 [pdf, ps, other]

Title: Newcomer Candidate: Characterizing Contributions of a Novice Developer to GitHub

Authors: Ifraz Rehman, Dong Wang, Raula Gaikovina Kula, Takashi Ishio, Kenichi Matsumoto

Comments: ICSME 2020 Registered Report

Subjects: Software Engineering (cs.SE)

[20]  arXiv:2008.02712 [pdf, other]

Title: A Survey of Smart Contract Formal Specification and Verification

Authors: Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, Zengxiang Li

Subjects: Software Engineering (cs.SE)

[21]  arXiv:2008.02944 [pdf, other]

Title: Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair

Authors: Haoye Tian, Kui Liu, Abdoul Kader Kaboreé, Anil Koyuncu, Li Li, Jacques Klein, Tegawendé F. Bissyandé

Subjects: Software Engineering (cs.SE)

[22]  arXiv:2008.03034 [pdf, ps, other]

Title: An Empirical Study on Developing Secure Mobile Health Apps: The Developers Perspective

Authors: Bakheet Aljedaani, Aakash Ahmad, Mansooreh Zahedi, M. Ali Babar

Comments: 10 pages, 5 figures

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)

[23]  arXiv:2008.03042 [pdf, other]

Title: PSCS: A Path-based Neural Model for Semantic Code Search

Authors: Zhensu Sun, Yan Liu, Chen Yang, Yu Qian

Comments: 10 pages

Subjects: Software Engineering (cs.SE)

[24]  arXiv:2008.03046 [pdf, other]

Title: Towards Using Probabilistic Models to Design Software Systems with Inherent Uncertainty

Authors: Alex Serban, Erik Poll, Joost Visser

Comments: Published at the European Conference on Software Architecture (ECSA)

Subjects: Software Engineering (cs.SE)

[25]  arXiv:2008.03427 [pdf, other]

Title: FrUITeR: A Framework for Evaluating UI Test Reuse

Authors: Yixue Zhao, Justin Chen, Adriana Sejfia, Marcelo Schmitt Laser, Jie Zhang, Federica Sarro, Mark Harman, Nenad Medvidovic

Comments: ESEC/FSE 2020

Subjects: Software Engineering (cs.SE)