Software Engineering

Authors and titles for February 2019

[1] arXiv:1902.00231 [pdf, other]

Title: AMOGA: A Static-Dynamic Model Generation Strategy for Mobile Apps Testing

Ibrahim-Anka Salihu, Rosziati Ibrahim, Bestoun S. Ahmed, Kamal Z. Zamli, Asmau Usman

Comments: 16 pages

Subjects: Software Engineering (cs.SE)

[2] arXiv:1902.00397 [pdf, other]

Title: Practical Constraint Solving for Generating System Test Data

Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand

Comments: Published in ACM Transactions on Software Engineering and Methodology (TOSEM)

Subjects: Software Engineering (cs.SE)

[3] arXiv:1902.00476 [pdf, other]

Title: StoryDroid: Automated Generation of Storyboard for Android Apps

Sen Chen, Lingling Fan, Chunyang Chen, Ting Su, Wenhe Li, Yang Liu, Lihua Xu

Subjects: Software Engineering (cs.SE)

[4] arXiv:1902.00526 [pdf, other]

Title: Applications of Multi-view Learning Approaches for Software Comprehension

Amir Saeidi (Utrecht University, Netherlands), Jurriaan Hage (Utrecht University, Netherlands), Ravi Khadka (Utrecht University, Netherlands), Slinger Jansen (Utrecht University, Netherlands)

Journal-ref: The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 3, Article 14

Subjects: Software Engineering (cs.SE)

[5] arXiv:1902.00549 [pdf, other]

Title: Babylonian-style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code

David Rauch (Hasso Plattner Institute, Germany), Patrick Rein (Hasso Plattner Institute, Germany), Stefan Ramson (Hasso Plattner Institute, Germany), Jens Lincke (Hasso Plattner Institute, University of Potsdam, Germany), Robert Hirschfeld (Hasso-Plattner-Institut (HPI), Germany)

Journal-ref: The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 3, Article 9

Subjects: Software Engineering (cs.SE)

[6] arXiv:1902.00883 [pdf, other]

Title: Modelling the Political Context in Requirements Engineering. The System is made for Man, not Man for the System

Rana Siadati, Paul Wernick, Vito Veneziano

Comments: 7 pages, includes figures, contact details, references

Subjects: Software Engineering (cs.SE)

[7] arXiv:1902.00991 [pdf, other]

Title: Making Quantum Computing Open: Lessons from Open-Source Projects

Ruslan Shaydulin, Caleb Thomas, Paige Rodeghero

Journal-ref: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops, 451--455 (2020)

Subjects: Software Engineering (cs.SE)

[8] arXiv:1902.01084 [pdf, other]

Title: Paracosm: A Language and Tool for Testing Autonomous Driving Systems

Rupak Majumdar, Aman Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey

Comments: Technical Report to complement paper at FASE 2021

Subjects: Software Engineering (cs.SE)

[9] arXiv:1902.01821 [pdf, other]

Title: A Study of an Agile Methodology with Scrum Approach to the Filipino Company-Sponsored I.T. Capstone Program

Giuseppe C. Ng

Journal-ref: International Journal of Computing Sciences Research (ISSN print: 2546-0552; ISSN online: 2546-115X) Vol. 2, No. 2, 2018

Subjects: Software Engineering (cs.SE)

[10] arXiv:1902.01822 [pdf, other]

Title: Do We Preach What We Practice? Investigating the Practical Relevance of Requirements Engineering Syllabi - The IREB Case

Daniel Méndez Fernández, Xavier Franch, Norbert Seyff, Michael Felderer, Martin Glinz, Marcos Kalinowski, Andreas Volgelsang, Stefan Wagner, Stan Bühne, Kim Lauenroth

Comments: CR version of the manuscript accepted for presentation at the 22nd Ibero-American Conference on Software Engineering

Subjects: Software Engineering (cs.SE)

[11] arXiv:1902.01838 [pdf, other]

Title: How to "DODGE" Complex Software Analytics?

Amritanshu Agrawal, Wei Fu, Di Chen, Xipeng Shen, Tim Menzies

Comments: 13 Pages, Accepted to IEEE Transactions in Software Engineering, 2019

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)

[12] arXiv:1902.01954 [pdf, other]

Title: A Neural Model for Generating Natural Language Summaries of Program Subroutines

Alexander LeClair, Siyuan Jiang, Collin McMillan

Subjects: Software Engineering (cs.SE)

[13] arXiv:1902.02467 [pdf, other]

Title: How Different Are Different diff Algorithms in Git?

Yusuf Sulistyo Nugroho, Hideaki Hata, Kenichi Matsumoto

Comments: 38 pages, Empirical Software Engineering

Subjects: Software Engineering (cs.SE)

[14] arXiv:1902.02595 [pdf, other]

Title: A Manually-Curated Dataset of Fixes to Vulnerabilities of Open-Source Software

Serena E. Ponta, Henrik Plate, Antonino Sabetta, Michele Bezzi, Cédric Dangremont

Comments: This is a pre-print version of the paper that appears in the proceedings of The 16th International Conference on Mining Software Repositories (MSR), Data Showcase track

Journal-ref: Proceedings of The 16th International Conference on Mining Software Repositories (Data Showcase track), 2019

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Machine Learning (cs.LG)

[15] arXiv:1902.02605 [pdf, other]

Title: EMaaS: Energy Measurements as a Service for Mobile Applications

Luis Cruz, Rui Abreu

Comments: 41st ACM/IEEE International Conference on Software Engineering, ICSE 2019

Subjects: Software Engineering (cs.SE)

[16] arXiv:1902.02610 [pdf, other]

Title: To the Attention of Mobile Software Developers: Guess What, Test your App!

Luis Cruz, Rui Abreu, David Lo

Comments: Journal of Empirical Software Engineering

Subjects: Software Engineering (cs.SE)

[17] arXiv:1902.02703 [pdf, other]

Title: D&C: A Divide-and-Conquer Approach to IR-based Bug Localization

Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Kui Liu, Jacques Klein, Martin Monperrus, Yves Le Traon

Subjects: Software Engineering (cs.SE)

[18] arXiv:1902.02997 [pdf, other]

Title: Quality quantification in Systems Engineering from the Qualimetry Eye

Yann Argotti (LAAS-ISI), Claude Baron (LAAS-ISI), Phillipe Esteban (LAAS-ISI)

Journal-ref: 2019 IEEE International Systems Conference (SysCon) (IEEE SysCon 2019), Apr 2019, Orlando, United States. 2019. http://www.ieeesyscon.org/

Subjects: Software Engineering (cs.SE); Quantitative Methods (q-bio.QM)

[19] arXiv:1902.03147 [pdf, other]

Title: The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists

Ralf Ramsauer, Daniel Lohmann, Wolfgang Mauerer

Journal-ref: 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019)

Subjects: Software Engineering (cs.SE)

[20] arXiv:1902.03222 [pdf, other]

Title: Code Smell Detection using Multilabel Classification Approach

Thirupathi Guggulothu

Comments: 16 pages,2 figures

Subjects: Software Engineering (cs.SE)

[21] arXiv:1902.03331 [pdf, other]

Title: Systematization of Vulnerability Discovery Knowledge: Review Protocol

Nuthan Munaiah, Andrew Meneely

Subjects: Software Engineering (cs.SE)

[22] arXiv:1902.03520 [pdf, other]

Title: Swarm Debugging: the Collective Intelligence on Interactive Debugging

Fabio Petrillo, Yann-Gaël Guéhéneuc, Marcelo Pimenta, Carla Dal Sasso Freitas, Foutse Khomh

Subjects: Software Engineering (cs.SE)

[23] arXiv:1902.03574 [pdf, other]

Title: UML Model for Compressed Message Exchange

Ali Baba Dauda, Baba Saleh Ahmed, Abubakar Auwal Idris, Audu Mabu Mabu, Ilyas Ibrahim Iliyas

Subjects: Software Engineering (cs.SE)

[24] arXiv:1902.03608 [pdf, other]

Title: Software Development Effort Estimation Using Regression Fuzzy Models

Ali Bou Nassif, Mohammad Azzeh, Ali Idri, Alain Abran

Comments: This paper has been accepted in January 2019 in Computational Intelligence and Neuroscience Journal (In Press)

Journal-ref: Computational Intelligence and Neuroscience Journal, 2019

Subjects: Software Engineering (cs.SE)

[25] arXiv:1902.03776 [pdf, other]

Title: COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1

Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, Joao Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz

Subjects: Software Engineering (cs.SE)

[26] arXiv:1902.04060 [pdf, other]

Title: Replication Can Improve Prior Results: A GitHub Study of Pull Request Acceptance

Di Chen, Kathyrn Stolee, Tim Menzies

Comments: 12 pages, submitted to ICPC 2019. arXiv admin note: substantial text overlap with arXiv:1702.08571

Subjects: Software Engineering (cs.SE)

[27] arXiv:1902.04627 [pdf, other]

Title: Time-aware Test Case Execution Scheduling for Cyber-Physical Systems

Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson

Comments: Published in the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017)

Journal-ref: In: Beck J. (eds) Principles and Practice of Constraint Programming. CP 2017. Lecture Notes in Computer Science, vol 10416. Springer, Cham

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[28] arXiv:1902.04694 [pdf, other]

Title: Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm

Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner Schmid, Jan Wieghardt

Comments: 17 pages, published at ISOLA 2018

Journal-ref: International Symposium on Leveraging Applications of Formal Methods (ISOLA). Springer, 2018

Subjects: Software Engineering (cs.SE)

[29] arXiv:1902.04844 [pdf, other]

Title: Vulnerability Prediction Based on Weighted Software Network for Secure Software Building

Shengjun Wei, Hao Zhong, Chun Shan, Lin Ye, Xiaojiang Du, Mohsen Guizani

Comments: 6 pages, 3 figures, IEEE GlobeCOM 2018

Subjects: Software Engineering (cs.SE)

[30] arXiv:1902.05311 [pdf, other]

Title: Automatic Inference of Symbolic Permissions for Sequential Java Programs

Ayesha Sadiq, Yuan-Fang Li, Li Li, Sea Ling, Ijaz Ahmed

Subjects: Software Engineering (cs.SE)

[31] arXiv:1902.05436 [pdf, other]

Title: Checking Observational Purity of Procedures

Himanshu Arora (1), Raghavan Komondoor (1), G. Ramalingam (2) ((1) Indian Institute of Science, Bangalore, (2) Microsoft Research)

Comments: FASE 2019

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

[32] arXiv:1902.05537 [pdf, other]

Title: Assurance of System Safety: A Survey of Design and Argument Patterns

Mario Gleirscher, Stefan Kugele

Subjects: Software Engineering (cs.SE)

[33] arXiv:1902.05835 [pdf, other]

Title: Uncertainty Management in Software Projects: A Case Study in a Public Company

Karina Macedo, Marcelo Marinho, Simone Santos

Comments: this http URL

Journal-ref: JCIT (Journal of Convergence Information Technology). Volume 14 Issue 1, January, 2019. Pages 61-67

Subjects: Software Engineering (cs.SE)

[34] arXiv:1902.05974 [pdf, other]

Title: DeepFault: Fault Localization for Deep Neural Networks

Hasan Ferit Eniser, Simos Gerasimou, Alper Sen

Comments: 15 pages

Subjects: Software Engineering (cs.SE); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[35] arXiv:1902.06111 [pdf, other]

Title: Getafix: Learning to Fix Bugs Automatically

Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra

Subjects: Software Engineering (cs.SE)

[36] arXiv:1902.06140 [pdf, other]

Title: The First 50 Years of Software Reliability Engineering: A History of SRE with First Person Accounts

James J. Cusick

Comments: 22 pages with extensive references and bibliographies

Subjects: Software Engineering (cs.SE)

[37] arXiv:1902.06282 [pdf, other]

Title: Does Migrate a Monolithic System to Microservices Decrease the Technical Debt?

Valentina Lenarduzzi, Francesco Lomio, Nyyti Saarimäki, Davide Taibi

Journal-ref: The Journal of Systems & Software (2020) 110710

Subjects: Software Engineering (cs.SE)

[38] arXiv:1902.06320 [pdf, other]

Title: Towards Improved Testing For Deep Learning

Jasmine Sekhon, Cody Fleming

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

[39] arXiv:1902.07093 [pdf, other]

Title: Analysis and Detection of Information Types of Open Source Software Issue Discussions

Deeksha Arya, Wenting Wang, Jin L.C. Guo, Jinghui Cheng

Comments: 41st ACM/IEEE International Conference on Software Engineering (ICSE2019)

Subjects: Software Engineering (cs.SE)

[40] arXiv:1902.07244 [pdf, other]

Title: UPCASE - A Method for Self-Assessing the Capability of the Usability Process in Small Organizations

Thaísa C. Lacerda, Christiane G. von Wangenheim, Jean C.R. Hauck

Comments: 30 pages

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[41] arXiv:1902.07499 [pdf, other]

Title: A systematic mapping study of developer social network research

Steffen Herbold, Aynur Amirfallah, Fabian Trautsch, Jens Grabowski

Comments: Accepted at the Journal of Systems and Software

Subjects: Software Engineering (cs.SE)

[42] arXiv:1902.08303 [pdf, other]

Title: Bottom-up strategy for data retrieval and data entry over front-end application Software

Rusel Cierto Trinidad, Alcides Bernardo Tello

Comments: pages 201-206

Subjects: Software Engineering (cs.SE)

[43] arXiv:1902.08482 [pdf, other]

Title: An Approach and Benchmark to Detect Behavioral Changes of Commits in Continuous Integration

Benjamin Danglot, Martin Monperrus, Walter Rudametkin, Benoit Baudry

Journal-ref: Empirical Software Engineering, Springer Verlag, 2019

Subjects: Software Engineering (cs.SE)

[44] arXiv:1902.08879 [pdf, other]

Title: A Microservice Architecture for Online Mobile App Optimization

Yixue Zhao, Nenad Medvidovic

Subjects: Software Engineering (cs.SE)

[45] arXiv:1902.08942 [pdf, other]

Title: Sustaining Research Software: an SC18 Panel

Daniel S. Katz, Patrick Aerts, Neil P. Chue Hong, Anshu Dubey, Sandra Gesing, Henry J. Neeman, David E. Pearah

Comments: The 2018 International Conference for High Performance Computing, Networking, Storage, and Analysis (SC18), Dallas, Texas, USA, November 2018

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC)

[46] arXiv:1902.09090 [pdf, other]

Title: A Taxonomy of Modeling Approaches for Systems-of-Systems Dynamic Architectures: Overview and Prospects

Ahmad Mohsin, Naeem Khalid Janjua, Syed MS Islam, Valdemar Vicente Graciano Neto

Comments: IEEE SoSE 2019 conference per-print

Subjects: Software Engineering (cs.SE)

[47] arXiv:1902.09140 [pdf, other]

Title: Microservice Architectures for Advanced Driver Assistance Systems: A Case-Study

Jannik Lotz, Andreas Vogelsang, Ola Benderius, Christian Berger

Subjects: Software Engineering (cs.SE)

[48] arXiv:1902.09334 [pdf, other]

Title: A Systematic Impact Study for Fuzzer-Found Compiler Bugs

Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar

Comments: Conference on Object-Oriented Programming, Systems, Languages & Applications (SPLASH 2019 OOPSLA), Athens, Greece, 20-25 October 2019

Journal-ref: Proceedings of the ACM on Programming Languages, 2019

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

[49] arXiv:1902.09464 [pdf, other]

Title: A Reference Architecture for Smart and Software-defined Buildings

Manuel Mazzara, Ilya Afanasyev, Smruti R. Sarangi, Salvatore Distefano, Vivek Kumar

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

[50] arXiv:1902.09589 [pdf, other]

Title: PolyDroid: Learning-Driven Specialization of Mobile Applications

Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik

Subjects: Software Engineering (cs.SE)