Software Engineering

Authors and titles for November 2018

[1] arXiv:1811.00694 [pdf, other]

Title: Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha

Comments: full version, 14 pages

Journal-ref: IEEE Internet of Things Journal, 2018

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

[2] arXiv:1811.00804 [pdf, other]

Title: The Evolution of Stack Overflow Posts: Reconstruction and Analysis

Sebastian Baltes, Lorik Dumani, Christoph Treude, Stephan Diehl

Comments: 43 pages, 17 figures (currently under review)

Subjects: Software Engineering (cs.SE)

[3] arXiv:1811.00820 [pdf, other]

Title: Too Trivial To Test? An Inverse View on Defect Prediction to Identify Methods with Low Fault Risk

Rainer Niedermayr, Tobias Röhm, Stefan Wagner

Comments: Submitted to PeerJ CS

Journal-ref: PeerJ Computer Science 5:e187, 2019

Subjects: Software Engineering (cs.SE)

[4] arXiv:1811.01774 [pdf, other]

Title: SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles

Mario Gleirscher, Sven Linker, Stefan Kugele

Comments: 3 pages, 1 table

Subjects: Software Engineering (cs.SE); Robotics (cs.RO); Systems and Control (eess.SY)

[5] arXiv:1811.01833 [pdf, other]

Title: Accelerating System Log Processing by Semi-supervised Learning: A Technical Report

Guofu Li, Pengjia Zhu, Zhiyi Chen

Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Information Retrieval (cs.IR)

[6] arXiv:1811.01918 [pdf, other]

Title: On Relating Technical, Social Factors, and the Introduction of Bugs

Filipe Falcão, Caio Barbosa, Baldoino Fonseca, Alessandro Garcia, Márcio Ribeiro, Rohit Ghey

Comments: 10 pages, 3 tables, 2 research questions, conference

Subjects: Software Engineering (cs.SE)

[7] arXiv:1811.02005 [pdf, other]

Title: A Toolbox For Property Checking From Simulation Using Incremental SAT (Extended Abstract)

Rob Sumners (Centaur Technology)

Comments: In Proceedings ACL2 2018, arXiv:1810.03762

Journal-ref: EPTCS 280, 2018, pp. 95-97

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[8] arXiv:1811.02034 [pdf, other]

Title: Out-Of-Place debugging: a debugging architecture to reduce debugging interference

Matteo Marra (Vrije Universiteit Brussel, Belgium), Guillermo Polito (INRIA, France), Elisa Gonzalez Boix (Vrije Universiteit Brussel, Belgium)

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

Subjects: Software Engineering (cs.SE)

[9] arXiv:1811.02035 [pdf, other]

Title: Entombed: An archaeological examination of an Atari 2600 game

John Aycock (University of Calgary, Canada), Tara Copplestone (University of York, United Kingdom)

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

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

[10] arXiv:1811.02213 [pdf, other]

Title: Hybrid Approach to Automation, RPA and Machine Learning: a Method for the Human-centered Design of Software Robots

Wiesław Kopeć, Marcin Skibiński, Cezary Biele, Kinga Skorupska, Dominika Tkaczyk, Anna Jaskulska, Katarzyna Abramczuk, Piotr Gago, Krzysztof Marasek

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Machine Learning (cs.LG); Robotics (cs.RO)

[11] arXiv:1811.02429 [pdf, other]

Title: Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset

Matias Martinez, Thomas Durieux, Romain Sommerard, Jifeng Xuan, Martin Monperrus

Comments: Empirical Software Engineering, Springer, 2016. arXiv admin note: substantial text overlap with arXiv:1505.07002

Journal-ref: Empirical Software Engineering, Springer, 2016

Subjects: Software Engineering (cs.SE)

[12] arXiv:1811.03045 [pdf, other]

Title: Descartes: A PITest Engine to Detect Pseudo-Tested Methods - Tool Demonstration

Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry

Journal-ref: ACM/IEEE International Conference on Automated Software Engineering, Tool demonstration track, 2018

Subjects: Software Engineering (cs.SE)

[13] arXiv:1811.03122 [pdf, other]

Title: Classification of cyber-physical production systems applications: Proposition of an analysis framework

Olivier Cardin (PSI, LS2N, IUT NANTES)

Journal-ref: Computers in Industry, Elsevier, 2019, 104, pp.11 - 21

Subjects: Software Engineering (cs.SE)

[14] arXiv:1811.03482 [pdf, other]

Title: A holistic look at requirements engineering practices in the gaming industry

Aftab Hussain, Omar Asadi, Debra J. Richardson

Subjects: Software Engineering (cs.SE)

[15] arXiv:1811.03509 [pdf, other]

Title: Tools and Benchmarks for Automated Log Parsing

Jieming Zhu, Shilin He, Jinyang Liu, Pinjia He, Qi Xie, Zibin Zheng, Michael R. Lyu

Comments: This paper is accepted in International Conference on Software Engineering (ICSE'19)

Subjects: Software Engineering (cs.SE)

[16] arXiv:1811.03538 [pdf, other]

Title: Integrating Security in Resource-Constrained Cyber-Physical Systems

Vuk Lesi, Ilija Jovanov, Miroslav Pajic

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

[17] arXiv:1811.03752 [pdf, other]

Title: DeepSaucer: Unified Environment for Verifying Deep Neural Networks

Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang, Michael Butler

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

[18] arXiv:1811.03758 [pdf, other]

Title: Influence of Technical and Social Factors for Introducing Bugs

Filipe Falcão, Caio Barbosa, Baldoino Fonseca, Alessandro Garcia, Márcio Ribeiro

Comments: The work published in this paper is outdated, having undergone several changes. These changes were significant enough to justify a new paper, entitled "On Relating Technical, Social Factors, and the Introduction of Bugs". This new paper is also available on arXiv (arXiv:1811.01918)

Subjects: Software Engineering (cs.SE)

[19] arXiv:1811.03814 [pdf, other]

Title: EASYFLOW: Keep Ethereum Away From Overflow

Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, Zhong Chen

Comments: Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings. IEEE Press, 2019

Subjects: Software Engineering (cs.SE)

[20] arXiv:1811.04122 [pdf, other]

Title: Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration

Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige

Comments: Spieker, H., Gotlieb, A., Marijan, D., & Mossige, M. (2017). Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. In Proceedings of 26th International Symposium on Software Testing and Analysis (ISSTA'17) (pp. 12--22). ACM

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

[21] arXiv:1811.04159 [pdf, other]

Title: State of the Software Development Life-Cycle for the Internet-of-Things

João Pedro Dias, Hugo Sereno Ferreira

Comments: 38 pages

Subjects: Software Engineering (cs.SE)

[22] arXiv:1811.04169 [pdf, other]

Title: Understanding the Motivations, Challenges and Needs of Blockchain Software Developers: A Survey

Amiangshu Bosu, Anindya Iqbal, Rifat Shahriyar, Partha Chakroborty

Journal-ref: Empirical Software Engineering, 2019

Subjects: Software Engineering (cs.SE)

[23] arXiv:1811.04211 [pdf, other]

Title: Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

Jifeng Xuan, Matias Martinez, Favio Demarco, Maxime Clément, Sebastian Lamelas, Thomas Durieux, Daniel Le Berre, Martin Monperrus

Comments: IEEE Transactions on Software Engineering, 2016

Journal-ref: IEEE Transactions on Software Engineering, 2016

Subjects: Software Engineering (cs.SE)

[24] arXiv:1811.04315 [pdf, other]

Title: Software Conceptual Integrity: Deconstruction, Then Reconstruction

Iaakov Exman

Comments: 30 pages, 5 figures

Subjects: Software Engineering (cs.SE)

[25] arXiv:1811.04478 [pdf, other]

Title: Lessons Learned in Migrating from Swing to JavaFX

Martin P. Robillard, Kaylee Kutschera

Journal-ref: Lessons Learned in Migrating from Swing to JavaFX. IEEE Software, 37(3):78-85, 2020

Subjects: Software Engineering (cs.SE)

[26] arXiv:1811.04659 [pdf, other]

Title: Modern RESTful API DLs and frameworks for RESTful web services API schema modeling, documenting, visualizing

Kyrylo Malakhov, Oleksandr Kurgaev, Vitalii Velychko

Comments: In English, 6 pages, 3 figure, 1 table. Published. Prepared for the scientific journal "Problems of programming" (Founder: National Academy of Sciences of Ukraine, Institute of Software Systems of NAS Ukraine). ISSN 1727-4907

Journal-ref: Problems in programming 4 (2018) 59-68

Subjects: Software Engineering (cs.SE)

[27] arXiv:1811.04732 [pdf, other]

Title: The Generic SysML/KAOS Domain Metamodel

Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Hector Ruiz Barradas

Comments: 14 pages. arXiv admin note: text overlap with arXiv:1803.01972

Subjects: Software Engineering (cs.SE)

[28] arXiv:1811.05005 [pdf, other]

Title: A Fine-Grained Approach for Automated Conversion of JUnit Assertions to English

Danielle Gonzalez, Suzanne Prentice, Mehdi Mirakhorli

Comments: In Proceedings of the 4th ACM SIGSOFT International Workshop on NLP for Software Engineering (NL4SE 18), November 4, 2018, Lake Buena Vista, FL, USA. ACM, New York, NY, USA, 4 pages

Subjects: Software Engineering (cs.SE)

[29] arXiv:1811.05422 [pdf, other]

Title: Bayesian Data Analysis in Empirical Software Engineering Research

Carlo A. Furia, Robert Feldt, Richard Torkar

Comments: To appear in IEEE Transactions on Software Engineering

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

[30] arXiv:1811.05618 [pdf, other]

Title: Multi-level analysis of compiler induced variability and performance tradeoffs

Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Holger E. Jones

Comments: 12 pages, 11 figures, accepted in HPDC 2019

Subjects: Software Engineering (cs.SE); Performance (cs.PF)

[31] arXiv:1811.05703 [pdf, other]

Title: The Remarkable Role of Similarity in Redundancy-based Program Repair

Zimin Chen, Martin Monperrus

Subjects: Software Engineering (cs.SE)

[32] arXiv:1811.05879 [pdf, other]

Title: Lemma Functions for Frama-C: C Programs as Proofs

Grigoriy Volkov, Mikhail Mandrykin, Denis Efremov

Comments: 8 pages, 2 tables, 7 listings. To appear in the "ISPRAS Open 2018" conference proceedings

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[33] arXiv:1811.06740 [pdf, other]

Title: A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srđan Krstić, JoHao M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss

Subjects: Software Engineering (cs.SE)

[34] arXiv:1811.07234 [pdf, other]

Title: Improving Automatic Source Code Summarization via Deep Reinforcement Learning

Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, Philip S. Yu

Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)

[35] arXiv:1811.07643 [pdf, other]

Title: What's in a GitHub Star? Understanding Repository Starring Practices in a Social Coding Platform

Hudson Borges, Marco Tulio Valente

Comments: Accepted and published at Journal of Systems and Software, 146: 112-129 (2018)

Journal-ref: Journal of Systems and Software, pages 112-129, 2018

Subjects: Software Engineering (cs.SE)

[36] arXiv:1811.07692 [pdf, other]

Title: Towards ontology based BPMN Implementation

Sophea Chhun (DISP), Néjib Moalla (DISP), Yacine Ouzrout (DISP)

Journal-ref: SKIMA, 6th Conference on Software Knowledge Information Management and Applications., Jan 2012, Chengdu, China. 8 p

Subjects: Software Engineering (cs.SE)

[37] arXiv:1811.07693 [pdf, other]

Title: Data Compliance in Pharmaceutical Industry, Interoperability to align Business and Information Systems

Néjib Moalla (LIESP), Abdelaziz Bouras (LIESP), Gilles Neubert (LIESP), Yacine Ouzrout (LIESP)

Journal-ref: International Conference on Enterprise Information Systems, May 2006, Paphos, Cyprus. pp.79-86, 2006

Subjects: Software Engineering (cs.SE)

[38] arXiv:1811.07694 [pdf, other]

Title: Algorithms for Runtime Generation of Homogeneous Classes of Objects

Dmytro O. Terletskyi

Comments: International Conference on Cyber Security and Computer Science (ICONCS'18), October 18-20, 2018, Safranbolu, Turkey

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

[39] arXiv:1811.08047 [pdf, other]

Title: Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints

Chunhui Guo, Hao Wu, Xiayu Hua, Shangping Ren, Jerzy Nogiec

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF); Systems and Control (eess.SY)

[40] arXiv:1811.08061 [pdf, other]

Title: Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha

Comments: full version, 12 pages

Journal-ref: ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS), 2018

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[41] arXiv:1811.08064 [pdf, other]

Title: Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha

Comments: full version, 8 pages. arXiv admin note: substantial text overlap with arXiv:1811.08061

Journal-ref: IEEE/ACM 36th International Conference on Computer-Aided Design (ICCAD), 2017

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[42] arXiv:1811.08330 [pdf, other]

Title: Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects

Benjamin Danglot, Oscar Luis Vera-Pérez, Benoit Baudry, Martin Monperrus

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

Subjects: Software Engineering (cs.SE)

[43] arXiv:1811.08520 [pdf, other]

Title: Rebooting Research on Detecting Repackaged Android Apps: Literature Review and Benchmark

Li Li, Tegawendé Bissyandé, Jacques Klein

Subjects: Software Engineering (cs.SE)

[44] arXiv:1811.09176 [pdf, other]

Title: Uma técnica para a quantificação do esforço de merge

Tayane Silva Fernandes de Moura, Leonardo Gresta Paulino Murta

Comments: Accepted at 6th Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), 2018. in Portuguese

Subjects: Software Engineering (cs.SE)

[45] arXiv:1811.09661 [pdf, other]

Title: IntegrationDistiller: Automating Integration Analysis and Testing of Object-Oriented Applications

Mehrdad Saadatmand

Comments: Accepted at the 20th IEEE International Conference on Industrial Technology (ICIT2019)

Subjects: Software Engineering (cs.SE)

[46] arXiv:1811.09852 [pdf, other]

Title: How to Design a Program Repair Bot? Insights from the Repairnator Project

Simon Urli, Zhongxing Yu, Lionel Seinturier, Martin Monperrus

Journal-ref: Proceedings of ICSE, Software Engineering in Practice, 2018

Subjects: Software Engineering (cs.SE)

[47] arXiv:1811.10171 [pdf, other]

Title: Refactoring Software Packages via Community Detection from Stability Point of View

Mohammad Raji

Comments: MS Dissertation, 83 pages, 29 figures

Subjects: Software Engineering (cs.SE)

[48] arXiv:1811.10448 [pdf, other]

Title: ConsiDroid: A Concolic-based Tool for Detecting SQL Injection Vulnerability in Android Apps

Ehsan Edalat, Babak Sadeghiyan, Fatemeh Ghassemi

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

[49] arXiv:1811.10509 [pdf, other]

Title: MetAcsl: Specification and Verification of High-Level Properties

Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall

Comments: 7 pages, slightly extended camera-ready version

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

[50] arXiv:1811.10814 [pdf, other]

Title: Lightweight Interactive Proving inside an Automatic Program Verifier

Sylvain Dailler (Inria, Université Paris-Saclay, F-91120 Palaiseau), Claude Marché (Inria, Université Paris-Saclay, F-91120 Palaiseau), Yannick Moy (AdaCore, F-75009 Paris)

Comments: In Proceedings F-IDE 2018, arXiv:1811.09014

Journal-ref: EPTCS 284, 2018, pp. 1-15

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)