Software Engineering

Authors and titles for September 2016

[1] arXiv:1609.00037 [pdf, other]

Title: Good Enough Practices in Scientific Computing

Greg Wilson, Jennifer Bryan, Karen Cranston, Justin Kitzes, Lex Nederbragt, Tracy K. Teal

Comments: 19 pages, 1 figure

Subjects: Software Engineering (cs.SE)

[2] arXiv:1609.00169 [pdf, other]

Title: Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)

Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham

Comments: 14 pages

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

[3] arXiv:1609.00489 [pdf, other]

Title: A deep learning model for estimating story points

Morakot Choetkiertikul, Hoa Khanh Dam, Truyen Tran, Trang Pham, Aditya Ghose, Tim Menzies

Comments: Submitted to ICSE'17

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

[4] arXiv:1609.01107 [pdf, other]

Title: An Analysis of the Cloud Computing Security Problem

Mohamed Almorsy, John Grundy, Ingo Müller

Comments: 6 pages, Published in in Proceedings of the APSEC 2010 Cloud Workshop, Sydney, Australia, 30th Nov 2010

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

[5] arXiv:1609.01204 [pdf, other]

Title: Generic and Effective Specification of Structural Test Objectives

Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Michaël Marcozzi, Virgile Prevosto

Comments: (updated with additional experiments and details)

Subjects: Software Engineering (cs.SE)

[6] arXiv:1609.01491 [pdf, other]

Title: Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation

Yuqi Chen, Christopher M. Poskitt, Jun Sun

Comments: Short paper accepted by the 21st International Symposium on Formal Methods (FM 2016)

Journal-ref: In Proc. International Symposium on Formal Methods (FM 2016), volume 9995 of LNCS, pages 155-163. Springer, 2016

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

[7] arXiv:1609.01676 [pdf, other]

Title: An IoT application development using IoTSuite

Saurabh Chauhan, Pankesh Patel

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

Subjects: Software Engineering (cs.SE)

[8] arXiv:1609.01759 [pdf, other]

Title: Tuning for Software Analytics: is it Really Necessary?

Wei Fu, Tim Menzies, Xipeng Shen

Journal-ref: Information and Software Technology 76 (2016): 135-146

Subjects: Software Engineering (cs.SE)

[9] arXiv:1609.02613 [pdf, other]

Title: Why is Differential Evolution Better than Grid Search for Tuning Defect Predictors?

Wei Fu, Vivek Nair, Tim Menzies

Comments: 12 pages, 8 figures, submitted to Information and Software Technology

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

[10] arXiv:1609.03484 [pdf, other]

Title: Designing Workflow Systems Using Building Blocks

Matteo Turilli, Andre Merzky, Vivek Balasubramanian, Manuel Maldonado, Shantenu Jha

Subjects: Software Engineering (cs.SE)

[11] arXiv:1609.03590 [pdf, other]

Title: A Survey and Taxonomy of Self-Aware and Self-Adaptive Cloud Autoscaling Systems

Tao Chen, Rami Bahsoon, Xin Yao

Comments: This paper has been accepted by ACM Computing Surveys (CSUR), please use the following citation information: Tao Chen, Rami Bahsoon, and Xin Yao. 2018. A Survey and Taxonomy of Self-Aware and Self-Adaptive Cloud Autoscaling Systems. ACM Computing Surveys, 51, 3, Article 61 (April 2018), 40 pages

Journal-ref: ACM Computing Surveys, vol. 51, no. 3, 2018

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

[12] arXiv:1609.03614 [pdf, other]

Title: Less is More: Minimizing Code Reorganization using XTREE

Rahul Krishna, Tim Menzies, Lucas Layman

Comments: 16 pages, 9 figures (2 colour images), and 68 References

Journal-ref: Information and Software Technology, Volume 88, August 2017, Pages 53-66, ISSN 0950-5849

Subjects: Software Engineering (cs.SE)

[13] arXiv:1609.04886 [pdf, other]

Title: Are Delayed Issues Harder to Resolve? Revisiting Cost-to-Fix of Defects throughout the Lifecycle

Tim Menzies, William Nichols, Forrest Shull, Lucas Layman

Comments: 31 pages. Accepted with minor revisions to Journal of Empirical Software Engineering. Keywords: software economics, phase delay, cost to fix

Journal-ref: Empirical Software Engineering, Volume 22, Issue 4, 1903--1935 (2017)

Subjects: Software Engineering (cs.SE)

[14] arXiv:1609.05563 [pdf, other]

Title: Negative Results for Software Effort Estimation

Tim Menzies, Ye Yang, George Mathew, Barry Boehm, Jairus Hihn

Comments: 22 pages, EMSE 2016 accepted submission. Affiliated to "Jet Propulsion Laboratory, California Institute of Technology"

Subjects: Software Engineering (cs.SE)

[15] arXiv:1609.05830 [pdf, other]

Title: Circuit Breakers, Discovery, and API Gateways in Microservices

Fabrizio Montesi, Janine Weber

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

[16] arXiv:1609.05936 [pdf, other]

Title: Two limitations of our knowledge of quality

Johannes Reich

Subjects: Software Engineering (cs.SE)

[17] arXiv:1609.06266 [pdf, other]

Title: Thirteen Years of Mining Software Repositories (MSR) Conference - What is the Bibliography Data Telling Us?

Lov Kumar, Ashish Sureka

Comments: Bibliometric and Scientometric Analysis of Mining Software Repositories (MSR) Conferenence

Subjects: Software Engineering (cs.SE)

[18] arXiv:1609.06382 [pdf, other]

Title: Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery

Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang, Anahita Sanadaji, Gokul Caushik

Comments: 6 pages

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

[19] arXiv:1609.06553 [pdf, other]

Title: Systematic Mapping Protocol: Have Systematic Reuse Benefits Been Transferred to Real-world Settings?

Jose Luis Barros-Justo, Fernando Pinciroli, Santiago Matalonga, Marco Aurelio Paz Gonzalez, Nelson Martinez Araujo

Comments: The aim of this complete description of a protocol for conducting a systematic mapping study is to accompany a full research paper on the subject of Software Reuse

Subjects: Software Engineering (cs.SE)

[20] arXiv:1609.06848 [pdf, other]

Title: Production-Driven Patch Generation and Validation

Thomas Durieux, Youssef Hamadi, Martin Monperrus

Subjects: Software Engineering (cs.SE)

[21] arXiv:1609.06868 [pdf, other]

Title: An Analysis of Technical Debt Management Through Resources Allocation Policies in Software Maintenance Process

Eduardo Ferreira Franco (USP), Joaquim Rocha (USP), Hamilton Carvalho (USP), Martins Marcelo (USP), Kechi Hirama (USP)

Comments: in Proceedings of the 34th International Conference of the System Dynamics Society, Jul 2016, Delft, Netherlands. 2016

Subjects: Software Engineering (cs.SE)

[22] arXiv:1609.07108 [pdf, other]

Title: A Web API ecosystem through feature-based reuse

Ruben Verborgh, Michel Dumontier

Subjects: Software Engineering (cs.SE)

[23] arXiv:1609.07350 [pdf, other]

Title: Rational Unified Process

Nils Kopal

Comments: German paper, 6 papges, 4 figures

Subjects: Software Engineering (cs.SE)

[24] arXiv:1609.07818 [pdf, other]

Title: Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems

Silvio Meira, Vanilson Burégio, Paulo Borba, Vinicius Garcia, Jones Albuquerque, Sergio Soares

Journal-ref: Proceedings of the 30th Brazilian Symposium on Software Engineering (SBES '16), Eduardo Santana de Almeida (Ed.). ACM, New York, NY, USA, 153-156, (2016)

Subjects: Software Engineering (cs.SE)

[25] arXiv:1609.08531 [pdf, other]

Title: An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce

Comments: 84 pages including 4 appendices, journal paper

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

[26] arXiv:1609.08734 [pdf, other]

Title: Interprocedural Semantic Change-Impact Analysis using Equivalence Relations

Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush

Comments: 12 pages

Subjects: Software Engineering (cs.SE)

[27] arXiv:1609.09656 [pdf, other]

Title: Automated Enterprise Applications Generation from Requirements Model

Yilong Yang

Comments: update version from 2016

Subjects: Software Engineering (cs.SE)

[28] arXiv:1609.00331 (cross-list from cs.AI) [pdf, other]

Title: Verifier Theory and Unverifiability

Roman V. Yampolskiy

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

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

Title: OpenSBLI: A framework for the automated derivation and parallel execution of finite difference solvers on a range of computer architectures

Christian T. Jacobs, Satya P. Jammy, Neil D. Sandham

Comments: Author accepted version, with a small amendment: the link in the "Code Availability" section has been updated, and now refers to the OpenSBLI source code repository on GitHub. Accepted for publication in the Journal of Computational Science on 8 November 2016

Journal-ref: Journal of Computational Science 18 (2017) 12-23

Subjects: Mathematical Software (cs.MS); Symbolic Computation (cs.SC); Software Engineering (cs.SE); Computational Physics (physics.comp-ph)

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

Title: Privacy-by-Design Framework for Assessing Internet of Things Applications and Platforms

Charith Perera, Ciaran McCormick, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh

Comments: Accepted to be published in The 6th International Conference on the Internet of Things (IoT 2016) November 7-9, 2016 in Stuttgart, Germany

Journal-ref: The 6th International Conference on the Internet of Things (IoT 2016) November 7-9, 2016 in Stuttgart, Germany

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

[31] arXiv:1609.08049 (cross-list from cs.DL) [pdf, other]

Title: Towards Evidence-Based Ontology for Supporting Systematic Literature Review

Yueming Sun, Ye Yang, He Zhang, Wen Zhang, Qing Wang

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

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

Title: Software Platforms for Smart Cities: Concepts, Requirements, Challenges, and a Unified Reference Architecture

Eduardo Felipe Zambom Santana, Ana Paula Chaves, Marco Aurelio Gerosa, Fabio Kon, Dejan Milojicic

Comments: Accepted for publication in ACM Computing Surveys

Journal-ref: ACM Computing Surveys (CSUR), Vol 50, Issue 6, 2018

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