Software Engineering

Authors and titles for March 2019

[1] arXiv:1903.00040 [pdf, other]

Title: EyeDoc: Documentation Navigation with Eye Tracking

Robert Wallace, Collin McMillan

Subjects: Software Engineering (cs.SE)

[2] arXiv:1903.00065 [pdf, other]

Title: Apply SOA Paradigms in Cyber-Physical System to Enhance Interoperability: State-of-the-Art Review

Su Zhang

Comments: 6 pages, 0 figures

Subjects: Software Engineering (cs.SE)

[3] arXiv:1903.00334 [pdf, other]

Title: Having Fun in Learning Formal Specifications

I.S.W.B. Prasetya, Craig Q.H.D. Leek, Orestis Melkonian, Joris ten Tusscher, Jan van Bergen, J.M. Everink, Thomas van der Klis, Petar Kostic, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Mike de Vries, Wink M. van Zon

Journal-ref: Proceedings of 41th ICSE 2019 --- Software Engineering Education and Training (SEET) track, IEEE, 2019

Subjects: Software Engineering (cs.SE)

[4] arXiv:1903.00661 [pdf, other]

Title: DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks

Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, Zhenyu Chen

Subjects: Software Engineering (cs.SE)

[5] arXiv:1903.00712 [pdf, other]

Title: 2LS: Heap Analysis and Memory Safety (Competition Contribution)

Viktor Malik, Martin Hruska, Peter Schrammel, Tomas Vojnar

Comments: System description for contribution to Software Verification Competition (SV-COMP) 2019

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

[6] arXiv:1903.00718 [pdf, other]

Title: Virtual Representations for Iterative IoT Deployment

Sebastian R. Bader, Maria Maleshkova

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

[7] arXiv:1903.00732 [pdf, other]

Title: Research Software Development & Management in Universities: Case Studies from Manchester's RSDS Group, Illinois' NCSA, and Notre Dame's CRC

Daniel S. Katz, Kenton McHenry, Caleb Reinking, Robert Haines

Comments: 2019 Intl. Work. on Soft. Eng. for Science (SE4Science), May 28, 2019, with ICSE'19

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

[8] arXiv:1903.00894 [pdf, other]

Title: User Review-Based Change File Localization for Mobile Applications

Yu Zhou, Yanqi Su, Taolue Chen, Zhiqiu Huang, Harald Gall, Sebastiano Panichella

Comments: 15 pages, 3 figures, 8 tables

Journal-ref: IEEE Trans. on Software Engineering, 2020

Subjects: Software Engineering (cs.SE)

[9] arXiv:1903.01220 [pdf, other]

Title: An Assurance Framework for Independent Co-assurance of Safety and Security

Nikita Johnson, Tim Kelly

Journal-ref: 36th International System Safety Conference 2018

Subjects: Software Engineering (cs.SE)

[10] arXiv:1903.01221 [pdf, other]

Title: A Reliabel and an efficient web testing system

Kamran Ali, Xia Xiaoling

Comments: ERA Indexed

Journal-ref: Published IJSEA 2019

Subjects: Software Engineering (cs.SE)

[11] arXiv:1903.01222 [pdf, other]

Title: Planning Activities in Software Testing Process: A Literature Review and Suggestions for Future Research

M. Hanefi CALP, Utku KOSE

Comments: 19 pages, 2 tables

Subjects: Software Engineering (cs.SE)

[12] arXiv:1903.01742 [pdf, other]

Title: SZZ Unleashed: An Open Implementation of the SZZ Algorithm -- Featuring Example Usage in a Study of Just-in-Time Bug Prediction for the Jenkins Project

Markus Borg, Oscar Svensson, Kristian Berg, Daniel Hansson

Journal-ref: In Proc. of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE'19), pp. 7-12, August 27, 2019, Tallinn, Estonia

Subjects: Software Engineering (cs.SE)

[13] arXiv:1903.01866 [pdf, other]

Title: Attitudes, Beliefs, and Development Data Concerning Agile Software Development Practices

Christoph Matthies, Johannes Huegle, Tobias Dürschmid, Ralf Teusner

Journal-ref: 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET), Montreal, QC, Canada, 2019, pp. 158-169

Subjects: Software Engineering (cs.SE)

[14] arXiv:1903.01889 [pdf, other]

Title: Practical Knowledge Management Tool Use in a Software Consulting Company

Torgeir Dingsøyr, Emil Røyrvik, Hans Karim Djarraya

Journal-ref: Communications of the ACM, vol. 48, pp. 96 - 100, 2005

Subjects: Software Engineering (cs.SE)

[15] arXiv:1903.01899 [pdf, other]

Title: A Machine-learning Based Ensemble Method For Anti-patterns Detection

Antoine Barbez, Foutse Khomh, Yann-Gaël Guéhéneuc

Comments: Preprint Submitted to Journal of Systems and Software, Elsevier

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

[16] arXiv:1903.01900 [pdf, other]

Title: Thinging for Computational Thinking

Sabah Al-Fedaghi, Ali Abdullah Alkhaldi

Comments: 10 pages, 18 figures

Journal-ref: (IJACSA) International Journal of Advanced Computer Science and Applications, (IJACSA) International Journal of Advanced Computer Science and Applications,Vol. 10, No. 2, 2019

Subjects: Software Engineering (cs.SE)

[17] arXiv:1903.01977 [pdf, other]

Title: Crowdsourced Behavior-Driven Development: Implementing Microservices through Microtasks

Emad Aghayi, Thomas D. LaToza, Paurav Surendra, Seyedmeysam Abolghasemi

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC); Social and Information Networks (cs.SI)

[18] arXiv:1903.02062 [pdf, other]

Title: Design of experiments aided holistic testing of cyber-physical energy systems

Arjen van der Meer, Cornelius Steinbrink, Kai Heussen, Daniel Morales Bondy, Merkebu Zenebe Degefa, Filip Pröstl Andren, Thomas Strasser, Sebastian Lehnhoff, Peter Palensky

Comments: 2018 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES)

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

[19] arXiv:1903.02063 [pdf, other]

Title: PatchNet: A Tool for Deep Patch Classification

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

Journal-ref: International Conference on Software Engineering (ICSE), 2019

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

[20] arXiv:1903.02436 [pdf, other]

Title: The standard coder: a machine learning approach to measuring the effort required to produce source code change

Ian Wright, Albert Ziegler

Comments: 7 pages, 9 figures

Subjects: Software Engineering (cs.SE)

[21] arXiv:1903.02443 [pdf, other]

Title: An Additional Set of (Automated) Eyes: Chatbots for Agile Retrospectives

Christoph Matthies, Franziska Dobrigkeit, Guenter Hesse

Comments: Accepted at the 1st International Workshop on Bots in Software Engineering (May 28th, 2019, Montreal, Canada), collocated with ICSE 2019 (this https URL)

Journal-ref: 2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE), Montreal, QC, Canada, 2019, pp. 34-37

Subjects: Software Engineering (cs.SE)

[22] arXiv:1903.02691 [pdf, other]

Title: Comparative Study of APIs and Frameworks for Haptic Application Development

Dorin M. Popovici, Felix G. Hamza-Lup, Adrian Seitan, Crenguta M. Bogdan

Journal-ref: Cyber-Worlds, 2012, pp. 37-44

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

[23] arXiv:1903.02981 [pdf, other]

Title: Compositional Fuzzing Aided by Targeted Symbolic Execution

Saahil Ognawala, Fabian Kilger, Alexander Pretschner

Comments: Author's preprint

Subjects: Software Engineering (cs.SE)

[24] arXiv:1903.03162 [pdf, other]

Title: An Expert Module Design and Implementation that Evaluation the C&K Metric Suite in Terms of Object Oriented Software Quality

M. Hanefi Calp, Nursal Arici

Comments: 14 pages, in Turkish, 7 figures, 5 tables

Subjects: Software Engineering (cs.SE)

[25] arXiv:1903.03163 [pdf, other]

Title: Risk Analysis and Success Levels of the Software Project Developed in Technocity

M. Hanefi Calp, M. Ali Akcayol

Comments: 19 pages, in Turkish, 17 tables

Subjects: Software Engineering (cs.SE)

[26] arXiv:1903.03277 [pdf, other]

Title: Mobile-App Analysis and Instrumentation Techniques Reimagined with DECREE

Yixue Zhao

Subjects: Software Engineering (cs.SE)

[27] arXiv:1903.03323 [pdf, other]

Title: A Taxonomy for Understanding the Security Technical Debts in Blockchain Based Systems

Sabreen Ahmadjee, Rami Bahsoon

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

[28] arXiv:1903.03358 [pdf, other]

Title: Developer Reading Behavior While Summarizing Java Methods: Size and Context Matters

Nahla J. Abid, Bonita Sharif, Natalia Dragan, Hend Alrasheed, Jonathan I. Maletic

Comments: Accepted at ICSE 2019

Subjects: Software Engineering (cs.SE)

[29] arXiv:1903.03399 [pdf, other]

Title: Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors

Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel Briand

Subjects: Software Engineering (cs.SE)

[30] arXiv:1903.03426 [pdf, other]

Title: A Replication Study on Code Comprehension and Expertise using Lightweight Biometric Sensors

Davide Fucci, Daniela Girardi, Nicole Novielli, Luigi Quaranta, Filippo Lanubile

Comments: Author version submitted to ICPC2019 (Replication track)

Subjects: Software Engineering (cs.SE)

[31] arXiv:1903.03610 [pdf, other]

Title: PTracer: A Linux Kernel Patch Trace Bot

Yang Wen, Jicheng Cao, Shengyu Cheng

Comments: Accepted by ASE 2019 Industry Showcase

Subjects: Software Engineering (cs.SE)

[32] arXiv:1903.04055 [pdf, other]

Title: Does Unit-Tested Code Crash? A Case Study of Eclipse

Efstathia Chioteli, Ioannis Batas, Diomidis Spinellis

Comments: 5 pages, 6 figures, 17 references

Subjects: Software Engineering (cs.SE)

[33] arXiv:1903.04159 [pdf, other]

Title: Towards Deriving Verification Properties

Michael Winikoff

Subjects: Software Engineering (cs.SE)

[34] arXiv:1903.04165 [pdf, other]

Title: Object-oriented requirements: reusable, understandable, verifiable

Alexandr Naumchev

Subjects: Software Engineering (cs.SE)

[35] arXiv:1903.04583 [pdf, other]

Title: Revisiting ssFix for Better Program Repair

Qi Xin, Steven P. Reiss

Comments: 12 pages

Subjects: Software Engineering (cs.SE)

[36] arXiv:1903.04771 [pdf, other]

Title: Perpetual Assurances for Self-Adaptive Systems

Danny Weyns (KU Leuven), Nelly Bencomo, Radu Calinescu, Javier Cámara (CMU), Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi (UNIVAQ), Jean-Marc Jézéquel (UNIV-RENNES, DiverSe), Sam Malek (UCI), Raffaela Mirandola, Marco Mori, Giordano Tamburrelli (VU)

Journal-ref: Software Engineering for Self-Adaptive Systems III. Assurances, 2017

Subjects: Software Engineering (cs.SE)

[37] arXiv:1903.04909 [pdf, other]

Title: Towards Software Analytics: Modeling Maintenance Activities

Stanislav Levin, Amiram Yehudai

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

Subjects: Software Engineering (cs.SE)

[38] arXiv:1903.04969 [pdf, other]

Title: RocketRML - A NodeJS implementation of a use-case specific RML mapper

Umutcan Şimşek, Elias Kärle, Dieter Fensel

Comments: 8 pages, submitted to KGB Workshop 2019 at ESWC

Subjects: Software Engineering (cs.SE)

[39] arXiv:1903.05170 [pdf, other]

Title: BenchPress: Analyzing Android App Vulnerability Benchmark Suites

Joydeep Mitra, Venkatesh-Prasad Ranganath, Aditya Narkar

Comments: Updates based on AMobile 2019 reviews

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

[40] arXiv:1903.05277 [pdf, other]

Title: Activity-Based Analysis of Open Source Software Contributors: Roles and Dynamics

Jinghui Cheng, Jin L.C. Guo

Comments: 12th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2019)

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

[41] arXiv:1903.05361 [pdf, other]

Title: Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees

Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk

Comments: Accepted in RESS

Subjects: Software Engineering (cs.SE)

[42] arXiv:1903.05387 [pdf, other]

Title: Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing

Bestoun S. Ahmed, Amador Pahim, Cleber R. Rosa Junior, D. Richard Kuhn, Miroslav Bures

Comments: The 23rd International Conference on Evaluation and Assessment in Software Engineering (EASE2019)

Subjects: Software Engineering (cs.SE)

[43] arXiv:1903.05394 [pdf, other]

Title: The Emergence of Software Diversity in Maven Central

César Soto-Valero, Amine Benelallam, Nicolas Harrand, Olivier Barais, Benoit Baudry

Comments: Accepted for publication in 16th International Conference on Mining Software Repositories (MSR) at Montréal, Canada

Subjects: Software Engineering (cs.SE)

[44] arXiv:1903.05432 [pdf, other]

Title: Is the Stack Distance Between Test Case and Method Correlated With Test Effectiveness?

Rainer Niedermayr, Stefan Wagner

Comments: EASE 2019

Journal-ref: 2019 ACM 23rd International Conference on Evaluation and Assessment in Software Engineering (EASE)

Subjects: Software Engineering (cs.SE)

[45] arXiv:1903.05734 [pdf, other]

Title: Maybe Deep Neural Networks are the Best Choice for Modeling Source Code

Rafael-Michael Karampatsis, Charles Sutton

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

[46] arXiv:1903.05783 [pdf, other]

Title: A Novel Re-Targetable Application Development Platform for Healthcare Mobile Applications

Chae Ho Cho, Fatemehsadat Tabei, Tra Nguyen Phan, Yeesock Kim, Jo Woon Chong

Journal-ref: International Journal of Computer Science and Software Engineering (IJCSSE), Volume 6, Issue 9,Page: 196-201, September 2017

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

[47] arXiv:1903.05912 [pdf, other]

Title: Testing of Smart TV Applications: Key Ingredients, Challenges and Proposed Solutions

Bestoun S. Ahmed, Miroslav Bures

Comments: FTC 2018 Conference

Subjects: Software Engineering (cs.SE)

[48] arXiv:1903.06039 [pdf, other]

Title: What Makes Research Software Sustainable? An Interview Study With Research Software Engineers

Mario Rosado de Souza, Robert Haines, Markel Vigo, Caroline Jay

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

[49] arXiv:1903.06089 [pdf, other]

Title: Are My Invariants Valid? A Learning Approach

Vincent J. Hellendoorn, Premkumar T. Devanbu, Oleksandr Polozov, Mark Marron

Comments: 10 pages

Subjects: Software Engineering (cs.SE)

[50] arXiv:1903.06241 [pdf, other]

Title: A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL

Eun-Young Kang

Comments: Technical Report

Subjects: Software Engineering (cs.SE)