Software Engineering

Authors and titles for November 2019

[1] arXiv:1911.00046 [pdf, other]

Title: Explicit Programming Strategies

Thomas D. LaToza, Maryam Arab, Dastyni Loksa, Amy J. Ko

Comments: 48 pages, 8 figures, To appear in the proceedings of Empirical Software Engineering Journal

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

[2] arXiv:1911.00561 [pdf, other]

Title: Twin-Finder: Integrated Reasoning Engine for Pointer-related Code Clone Detection

Hongfa Xue, Yongsheng Mei, Kailash Gogineni, Guru Venkataramani, Tian Lan

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

[3] arXiv:1911.01075 [pdf, other]

Title: Adapting a Container Infrastructure for Autonomous Vehicle Development

Yujing Wang, Qinyang Bao

Comments: to be submitted to IEEE CCWC, JAN 2020

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

[4] arXiv:1911.01235 [pdf, other]

Title: Strategic API Analysis and Planning: APIS Technical Report

Jennifer Horkoff, Juho Lindman, Imed Hammouda, Eric Knauss

Subjects: Software Engineering (cs.SE)

[5] arXiv:1911.01387 [pdf, other]

Title: Understanding Static Code Warnings: an Incremental AI Approach

Xueqi Yang, Zhe Yu, Junjie Wang, Tim Menzies

Comments: Accepted to Expert Systems with Applications

Subjects: Software Engineering (cs.SE)

[6] arXiv:1911.01817 [pdf, other]

Title: Whence to Learn? Transferring Knowledge in Configurable Systems using BEETLE

Rahul Krishna, Vivek Nair, Pooyan Jamshidi, Tim Menzies

Comments: Accepted, to appear in IEEE TSE. arXiv admin note: text overlap with arXiv:1803.03900

Subjects: Software Engineering (cs.SE)

[7] arXiv:1911.02403 [pdf, other]

Title: A Fog Computing Based Architecture for IoT Services and Applications Development

Yousef Abuseta

Comments: 7 pages, 6 figures, Published with International Journal of Computer Trends and Technology (IJCTT)

Journal-ref: International Journal of Engineering Trends and Technology 67.10 (2019):92-98

Subjects: Software Engineering (cs.SE)

[8] arXiv:1911.02476 [pdf, other]

Title: How to Better Distinguish Security Bug Reports (using Dual Hyperparameter Optimization

Rui Shu, Tianpei Xia, Jianfeng Chen, Laurie Williams, Tim Menzies

Comments: arXiv admin note: substantial text overlap with arXiv:1905.06872

Subjects: Software Engineering (cs.SE)

[9] arXiv:1911.02564 [pdf, other]

Title: The role of formalism in system requirements (full version)

Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer

Comments: Fourth version (15 April 2020). This is the full version, including some sections and 2 appendices not appearing in the short version

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

[10] arXiv:1911.02679 [pdf, other]

Title: A Domain-Specific Language for Verifying Software Requirement Constraints

Marzina Vidal, Tiago Massoni, Franklin Ramalho

Comments: Preprint for the 2019 Brazilian Symposium on Formal Methods

Subjects: Software Engineering (cs.SE)

[11] arXiv:1911.03094 [pdf, other]

Title: Revisiting Semantics of Interactions for Trace Validity Analysis

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Comments: 18 pages of contents and 2 pages for references, 10 figures. Published in ETAPS-FASE2020 : "23rd International Conference on Fundamental Approaches to Software Engineering" in the "research papers" category

Subjects: Software Engineering (cs.SE)

[12] arXiv:1911.03576 [pdf, other]

Title: PatchNet: Hierarchical Deep Learning-Based Stable Patch Identification for the Linux Kernel

Thong Hoang, Julia Lawall, Yuan Tian, Richard J Oentaryo, David Lo

Journal-ref: IEEE Transactions on Software Engineering 2019

Subjects: Software Engineering (cs.SE)

[13] arXiv:1911.04016 [pdf, other]

Title: Challenges for Inclusion in Software Engineering: The Case of the Emerging Papua New Guinean Society

Raula Gaikovina Kula, Christoph Treude, Hideaki Hata, Sebastian Baltes, Igor Steinmacher, Marco Aurelio Gerosa, Winifred Kula Amini

Comments: IEEE Software

Journal-ref: IEEE Software (2021)

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

[14] arXiv:1911.04250 [pdf, other]

Title: Methods for Stabilizing Models across Large Samples of Projects (with case studies on Predicting Defect and Project Health)

Suvodeep Majumder, Tianpei Xia, Rahul Krishna, Tim Menzies

Comments: 12 pages, 4 figures, 5 Tables

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

[15] arXiv:1911.04309 [pdf, other]

Title: On the costs and profit of software defect prediction

Steffen Herbold

Comments: Under Review (minor revision)

Subjects: Software Engineering (cs.SE)

[16] arXiv:1911.04422 [pdf, other]

Title: Draw This Object: A Study of Debugging Representations

Matúš Sulír, Ján Juhár

Journal-ref: Companion of the 3rd International Conference on Art, Science, and Engineering of Programming (Programming '19), ACM, 2019

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

[17] arXiv:1911.04687 [pdf, other]

Title: MCPA: Program Analysis as Machine Learning

Marcel Böhme

Comments: 10+2 pages. Feedback and (industry/research) collaborations welcome

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

[18] arXiv:1911.04768 [pdf, other]

Title: Debugging Crashes using Continuous Contrast Set Mining

Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra

Subjects: Software Engineering (cs.SE)

[19] arXiv:1911.05403 [pdf, other]

Title: Reinforcement Learning-Driven Test Generation for Android GUI Applications using Formal Specifications

Yavuz Koroglu, Alper Sen

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

[20] arXiv:1911.06348 [pdf, other]

Title: On the Time-Based Conclusion Stability of Cross-Project Defect Prediction Models

Abdul Ali Bangash, Hareem Sahar, Abram Hindle, Karim Ali

Comments: Accepted for publication in Empirical Software Engineering 2020

Subjects: Software Engineering (cs.SE)

[21] arXiv:1911.06501 [pdf, other]

Title: Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study

Heather Hawkins, Rob Alexander

Subjects: Software Engineering (cs.SE)

[22] arXiv:1911.07133 [pdf, other]

Title: Autonomics: In Search of a Foundation for Next Generation Autonomous Systems

David Harel, Assaf Marron, Joseph Sifakis

Subjects: Software Engineering (cs.SE)

[23] arXiv:1911.07393 [pdf, other]

Title: Rebuttal to Berger et al., TOPLAS 2019

Baishakhi Ray, Prem Devanbu, Vladimir Filkov

Comments: 12 pages

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

[24] arXiv:1911.07565 [pdf, other]

Title: Effects of Visualizing Technical Debts on a Software Maintenance Project

Ronivon Dias, Pedro Neto, Irvayne Ibiapina, Guilherme Avelino e Otavio Castro

Comments: in Portuguese, Aceito no XVIII Brazilian Symposium on Software Quality (SBQS'19), October 28-November 1, 2019, Fortaleza, Brazil

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

[25] arXiv:1911.07567 [pdf, other]

Title: What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?

Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn

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

[26] arXiv:1911.07605 [pdf, other]

Title: Commit2Vec: Learning Distributed Representations of Code Changes

Rocìo Cabrera Lozoya, Arnaud Baumann, Antonino Sabetta, Michele Bezzi

Comments: A previous version of this paper had the following title: "patch2vec: Distributed Representation of Code Changes"; we updated the title to distinguish it from another pre-existing approach with the same name. An improved version of this work appeared in Springer Nature Computer Science, 2021 (this https URL)

Journal-ref: SN Computer Science volume 2, Article number: 150 (2021)

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

[27] arXiv:1911.07620 [pdf, other]

Title: Exploiting Token and Path-based Representations of Code for Identifying Security-Relevant Commits

Achyudh Ram, Ji Xin, Meiyappan Nagappan, Yaoliang Yu, Rocío Cabrera Lozoya, Antonino Sabetta, Jimmy Lin

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

[28] arXiv:1911.07707 [pdf, other]

Title: Building Fast Fuzzers

Rahul Gopinath, Andreas Zeller

Comments: 12 pages, 12 figures

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

[29] arXiv:1911.07779 [pdf, other]

Title: Feature-Interaction Aware Configuration Prioritization for Configurable Code

Son Nguyen, Hoan Nguyen, Ngoc Tran, Hieu Tran, Tien N. Nguyen

Comments: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Conference (ASE 2019)

Subjects: Software Engineering (cs.SE)

[30] arXiv:1911.07781 [pdf, other]

Title: Combining Program Analysis and Statistical Language Model for Code Statement Completion

Son Nguyen, Tien N. Nguyen, Yi Li, Shaohua Wang

Comments: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Conference (ASE 2019)

Subjects: Software Engineering (cs.SE)

[31] arXiv:1911.07906 [pdf, other]

Title: Configuration-dependent Fault Localization

Son Nguyen

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

Subjects: Software Engineering (cs.SE)

[32] arXiv:1911.07988 [pdf, other]

Title: Invariant Diffs

Ashwin Kallingal Joshy, Wei Le

Subjects: Software Engineering (cs.SE)

[33] arXiv:1911.08405 [pdf, other]

Title: DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

Anastasia Mavridou (Vanderbilt University), Joseph Sifakis (Verimag), Janos Sztipanovits (Vanderbilt University)

Comments: In Proceedings MeTRiD 2018, arXiv:1806.09330. A technical report with full details is available at arXiv:1805.09919

Journal-ref: EPTCS 272, 2018, pp. 93-106

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

[34] arXiv:1911.08816 [pdf, other]

Title: Can We Benchmark Code Review Studies? A Systematic Mapping Study of Methodology, Dataset, and Metric

Dong Wang, Yuki Ueda, Raula Gaikovina Kula, Takashi Ishio, Kenichi Matsumoto

Subjects: Software Engineering (cs.SE)

[35] arXiv:1911.08938 [pdf, other]

Title: Problems with SZZ and Features: An empirical study of the state of practice of defect prediction data collection

Steffen Herbold, Alexander Trautsch, Fabian Trautsch, Benjamin Ledel

Comments: Accepted at Empirical Software Engineering, Springer. First three authors are equally contributing

Subjects: Software Engineering (cs.SE)

[36] arXiv:1911.08973 [pdf, other]

Title: Product Innovation through Internal Startup in Large Software Companies: a Case Study

Henry Edison, Xiaofeng Wang, Pekka Abrahamsson

Subjects: Software Engineering (cs.SE)

[37] arXiv:1911.09057 [pdf, other]

Title: The perceived effects of group developmental psychology training on agile software development teams

Lucas Gren, Alfredo Goldman, Christian Jacobsson

Journal-ref: IEEE Software, 2019

Subjects: Software Engineering (cs.SE)

[38] arXiv:1911.09064 [pdf, other]

Title: Agile Ways of Working: A Team Maturity Perspective

Lucas Gren, Alfredo Goldman, Christian Jacobsson

Journal-ref: Journal of Software: Evolution and Process, 2019

Subjects: Software Engineering (cs.SE)

[39] arXiv:1911.09091 [pdf, other]

Title: Tool-Supported Experiments for Continuously Collecting Data of Subjective Video Quality Assessments During Video Playback

Oliver Karras, Jil Klünder, Kurt Schneider

Comments: 2 pages, Fachgruppentreffen Requirements Engineering, GI Softwaretechnik-Trends

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

[40] arXiv:1911.09201 [pdf, other]

Title: Testing Criteria for Mobile Apps Based on Callback Sequences

Danilo Dominguez Perez, Wei Le

Subjects: Software Engineering (cs.SE)

[41] arXiv:1911.09357 [pdf, other]

Title: Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Comments: accepted for publication in ACM Transactions on Autonomous and Adaptive Systems (TAAS). Special Section on Best Papers from SEAMS 2017 (The conference paper is arXiv:1703.08005)

Subjects: Software Engineering (cs.SE)

[42] arXiv:1911.09388 [pdf, other]

Title: FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade

Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Comments: accepted for inclusion in Proceedings of the International Symposium on Software Reliability Engineering (ISSRE) 2019

Subjects: Software Engineering (cs.SE)

[43] arXiv:1911.09425 [pdf, other]

Title: SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions

Pengcheng Zhang (Member, IEEE), Feng Xiao, Xiapu Luo

Comments: 17 pages, 5 figures and 11 tables

Subjects: Software Engineering (cs.SE)

[44] arXiv:1911.09484 [pdf, other]

Title: Analysing Time-Stamped Co-Editing Networks in Software Development Teams using git2net

Christoph Gote, Ingo Scholtes, Frank Schweitzer

Comments: 44 pages, 24 figures, 16 tables, extended version of arXiv:1903.10180

Subjects: Software Engineering (cs.SE); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[45] arXiv:1911.09489 [pdf, other]

Title: Systematic literature review protocol. Learning-outcomes and teaching-learning process: a Bloom's taxonomy perspective

Samuel Sepúlveda, Mauricio Diéguez, Gonzalo Farías, Cristina Cachero

Comments: 15 pages, 1 figure, 7 tables

Subjects: Software Engineering (cs.SE)

[46] arXiv:1911.09553 [pdf, other]

Title: Kooplex: collaborative data analytics portal for advancing sciences

Dávid Visontai, József Stéger, János Márk Szalai-Gindl, László Dobos, László Oroszlány, István Ervin Csabai

Comments: 22 pages, 4 figures, 6 tables

Subjects: Software Engineering (cs.SE)

[47] arXiv:1911.09971 [pdf, other]

Title: Four presumed gaps in the software engineering research community's knowledge

Lutz Prechelt

Comments: 12 pages

Subjects: Software Engineering (cs.SE)

[48] arXiv:1911.10353 [pdf, other]

Title: Seamless Object-Oriented Requirements

Alexandr Naumchev

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

[49] arXiv:1911.10400 [pdf, other]

Title: Representing Software Project Vision by Means of Video: A Quality Model for Vision Videos

Oliver Karras, Kurt Schneider, Samuel A. Fricker

Comments: Preprint accepted for publication in Journal of Systems and Software;

Subjects: Software Engineering (cs.SE)

[50] arXiv:1911.10457 [pdf, other]

Title: Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems

Etienne Borde

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

[51] arXiv:1911.10471 [pdf, other]

Title: Basis Path Coverage Criteria for Smart Contract Application Testing

Xinming Wang, Zhijian Xie, Jiahao He, Gansen Zhao, Nie Ruihua

Comments: 8 pages

Journal-ref: in proceedings of cyber 2019

Subjects: Software Engineering (cs.SE)

[52] arXiv:1911.10472 [pdf, other]

Title: ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection

Xinming Wang, Jiahao He, Zhijian Xie, Gansen Zhao, Shing-Chi Cheung

Comments: 14 pages

Journal-ref: IEEE transactions on service computing 2019

Subjects: Software Engineering (cs.SE); Networking and Internet Architecture (cs.NI)

[53] arXiv:1911.10691 [pdf, other]

Title: Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems

David Harel, Rami Marelly, Assaf Marron, Smadar Szekely

Subjects: Software Engineering (cs.SE)

[54] arXiv:1911.10930 [pdf, other]

Title: Abstract Compilation for Verification of Numerical Accuracy Properties

Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine

Subjects: Software Engineering (cs.SE); Mathematical Software (cs.MS)

[55] arXiv:1911.11541 [pdf, other]

Title: Does ICSE Accept the Right Contributions?

Lutz Prechelt

Comments: 3 pages

Subjects: Software Engineering (cs.SE)

[56] arXiv:1911.11597 [pdf, other]

Title: A Summary of Formal Specification and Verification of Autonomous Robotic Systems

Matt Luckcuck, Marie Farrel, Louise A. Dennis, Michael Fisher

Subjects: Software Engineering (cs.SE)

[57] arXiv:1911.11690 [pdf, other]

Title: Generating Commit Messages from Git Diffs

S.R.P. van Hal, M. Post, K. Wendel

Subjects: Software Engineering (cs.SE)

[58] arXiv:1911.11894 [pdf, other]

Title: FSE/CACM Rebuttal$^2$: Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub

Emery D. Berger, Petr Maj, Olga Vitek, Jan Vitek

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

[59] arXiv:1911.12038 [pdf, other]

Title: Benefitting from the Grey Literature in Software Engineering Research

Vahid Garousi, Michael Felderer, Mika V. Mäntylä, Austen Rainer

Subjects: Software Engineering (cs.SE)

[60] arXiv:1911.12254 [pdf, other]

Title: A semi-autonomous approach to connecting proprietary EHR standards to FHIR

Martin Chapman, Vasa Curcin, Elizabeth I Sklar

Comments: 20 pages, 6 figures. For associated code repository, see this https URL

Subjects: Software Engineering (cs.SE)

[61] arXiv:1911.12323 [pdf, other]

Title: Automated Generation of Computer Graded Unit Testing-Based Programming Assessments for Education

Sébastien Combéfis, Guillaume de Moffarts

Comments: 6th International Conference on Computer Science, Engineering and Information Technology (CSEIT 2019), November 23-24, 2019, Zurich, Switzerland

Subjects: Software Engineering (cs.SE)

[62] arXiv:1911.12590 [pdf, other]

Title: Challenges of Scaled Agile for Safety-Critical Systems

Jan-Philipp Steghöfer, Eric Knauss, Jennifer Horkoff, Rebekka Wohlrab

Comments: In: Franch X., Männistö T., Martínez-Fernández S. (eds) Proceedings of Product-Focused Software Process Improvement (Profes), pp 350-366, Lecture Notes in Computer Science, vol 11915. Springer, Cham

Subjects: Software Engineering (cs.SE)

[63] arXiv:1911.12643 [pdf, other]

Title: Predicting Performance of Software Configurations: There is no Silver Bullet

Alexander Grebhahn (1), Norbert Siegmund (2), Sven Apel (3) ((1) University of Passau, Germany, (2) Bauhaus-University Weimar, Germany, (3) Saarland University, Germany)

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

[64] arXiv:1911.12863 [pdf, other]

Title: Using Distributed Representation of Code for Bug Detection

Jón Arnar Briem, Jordi Smit, Hendrig Sellik, Pavel Rapoport

Comments: 7 pages, 2 figures, 11 tables. DeepTest 2nd Workshop on Deep Learning and Testing, 2020

Subjects: Software Engineering (cs.SE)

[65] arXiv:1911.00507 (cross-list from cs.CR) [pdf, other]

Title: SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection

Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo

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

[66] arXiv:1911.01205 (cross-list from cs.LG) [pdf, other]

Title: Learning to Fix Build Errors with Graph2Diff Neural Networks

Daniel Tarlow, Subhodeep Moitra, Andrew Rice, Zimin Chen, Pierre-Antoine Manzagol, Charles Sutton, Edward Aftandilian

Comments: Submitted for review on Aug 23, 2019

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE); Machine Learning (stat.ML)

[67] arXiv:1911.02459 (cross-list from cs.CR) [pdf, other]

Title: zksk: A Library for Composable Zero-Knowledge Proofs

Wouter Lueks, Bogdan Kulynych, Jules Fasquelle, Simon Le Bail-Collet, Carmela Troncoso

Comments: Appears in 2019 Workshop on Privacy in the Electronic Society (WPES'19)

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

[68] arXiv:1911.03600 (cross-list from cs.DC) [pdf, other]

Title: Distributed Redundant Placement for Microservice-based Applications at the Edge

Hailiang Zhao, Shuiguang Deng, Zijie Liu, Jianwei Yin, Schahram Dustdar

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

[69] arXiv:1911.04195 (cross-list from cs.LO) [pdf, other]

Title: Verifying OpenJDK's LinkedList using KeY

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko van Eekelen, Stijn de Gouw

Comments: 16 pages, 9 pages appendix

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

[70] arXiv:1911.05719 (cross-list from cs.CY) [pdf, other]

Title: Atomic Services: sustainable ecosystem of smart city services through pan-European collaboration

Flavio Cirillo, Detlef Straeten, David Gomez, Jose Gato, Luis Diez, Ignacio Elicegui Maestro, Reza Akhavan

Comments: 2019 IEEE Global Internet-of-Things Summit (GIoTS)

Journal-ref: 2019 Global IoT Summit (GIoTS), Aarhus, Denmark, 2019, pp. 1-7

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

[71] arXiv:1911.05904 (cross-list from cs.LG) [pdf, other]

Title: There is Limited Correlation between Coverage and Robustness for Deep Neural Networks

Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting

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

[72] arXiv:1911.06525 (cross-list from cs.DC) [pdf, other]

Title: Scalable and Reliable Multi-Dimensional Aggregation of Sensor Data Streams

Sören Henning, Wilhelm Hasselbring

Comments: 6 pages

Journal-ref: 2019 IEEE International Conference on Big Data (Big Data)

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

[73] arXiv:1911.06594 (cross-list from cs.CR) [pdf, other]

Title: Integrating Threat Modeling and Automated Test Case Generation into Industrialized Software Security Testing

Stefan Marksteiner, Rudolf Ramler, Hannes Sochor

Comments: 3 pages, 1 figure, Central European Cybersecurity Conference 2019 (CECC2019), Munich

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

[74] arXiv:1911.06817 (cross-list from cs.MS) [pdf, other]

Title: Role-Oriented Code Generation in an Engine for Solving Hyperbolic PDE Systems

Jean-Matthieu Gallard, Lukas Krenz, Leonhard Rannabauer, Anne Reinarz, Michael Bader

Comments: SC19 SE-HER

Subjects: Mathematical Software (cs.MS); Software Engineering (cs.SE)

[75] arXiv:1911.07967 (cross-list from cs.LG) [pdf, other]

Title: DLBricks: Composable Benchmark Generation to Reduce Deep Learning Benchmarking Effort on CPUs (Extended)

Cheng Li, Abdul Dakkak, Jinjun Xiong, Wen-mei Hwu

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

[76] arXiv:1911.08413 (cross-list from eess.SP) [pdf, other]

Title: iGateLink: A Gateway Library for Linking IoT, Edge, Fog and Cloud Computing Environments

Riccardo Mancini, Shreshth Tuli, Tommaso Cucinotta, Rajkumar Buyya

Journal-ref: International Conference on Intelligent and Cloud Computing, 2019

Subjects: Signal Processing (eess.SP); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[77] arXiv:1911.09716 (cross-list from cs.CR) [pdf, other]

Title: Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code

Sumaya Almanee, Arda Unal, Mathias Payer, Joshua Garcia

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

[78] arXiv:1911.09983 (cross-list from cs.LG) [pdf, other]

Title: TreeGen: A Tree-Based Transformer Architecture for Code Generation

Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang

Journal-ref: AAAI 2020

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

[79] arXiv:1911.10509 (cross-list from cs.CY) [pdf, other]

Title: A survey of of blockchain-based solutions for Energy Industry

Swati Megha, Joseph Lamptey, Hamza Salem, Manuel Mazzara

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

[80] arXiv:1911.11302 (cross-list from cs.LO) [pdf, other]

Title: Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput

Zinovy Diskin, Harald König, Mark Lawford

Comments: The version published at FAC has multiple essential typos in section 7.1, which make that section practically unreadable

Journal-ref: Formal Aspects of Computing 31(5): 611-640 (2019)

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

[81] arXiv:1911.11550 (cross-list from cs.LG) [pdf, other]

Title: On Functional Test Generation for Deep Neural Network IPs

Bo Luo, Yu Li, Lingxiao Wei, Qiang Xu

Journal-ref: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)

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

[82] arXiv:1911.11728 (cross-list from cs.LG) [pdf, other]

Title: On Scaling Data-Driven Loop Invariant Inference

Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, Prateek Jain

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