Software Engineering

Authors and titles for May 2017

[1] arXiv:1705.00519 [pdf, other]

Title: Towards Verification of Uncertain Cyber-Physical Systems

Carna Radojicic (TU Kaiserslautern), Christoph Grimm (TU Kaiserslautern), Axel Jantsch (TU Wien), Michael Rathmair (TU Wien)

Comments: In Proceedings SNR 2017, arXiv:1704.02421

Journal-ref: EPTCS 247, 2017, pp. 1-17

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

[2] arXiv:1705.00811 [pdf, other]

Title: ACDC: Altering Control Dependence Chains for Automated Patch Generation

Rawad Abou Assi, Chadi Trad, Wes Masri

Comments: 11 pages

Subjects: Software Engineering (cs.SE)

[3] arXiv:1705.01198 [pdf, other]

Title: Stack Overflow in Github: Any Snippets There?

Di Yang, Pedro Martins, Vaibhav Saini, Cristina Lopes

Comments: 14th International Conference on Mining Software Repositories, 11 pages

Subjects: Software Engineering (cs.SE)

[4] arXiv:1705.01978 [pdf, other]

Title: Automatically Installing and Deploying Tools for Conducting Systematic Reviews in ReLiS

Brice M. Bigendako, Eugene Syriani

Subjects: Software Engineering (cs.SE)

[5] arXiv:1705.02288 [pdf, other]

Title: Automated Discovery of Process Models from Event Logs: Review and Benchmark

Adriano Augusto, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi, Andrea Marrella, Massimo Mecella, Allar Soo

Subjects: Software Engineering (cs.SE)

[6] arXiv:1705.02506 [pdf, other]

Title: AngularJS Performance: A Survey Study

Miguel Ramos, Marco Tulio Valente, Ricardo Terra

Comments: Accepted at IEEE Software

Subjects: Software Engineering (cs.SE)

[7] arXiv:1705.02607 [pdf, other]

Title: Report on the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4)

Daniel S. Katz, Kyle E. Niemeyer, Sandra Gesing, Lorraine Hwang, Wolfgang Bangerth, Simon Hettrick, Ray Idaszak, Jean Salac, Neil Chue Hong, Santiago Núñez Corrales, Alice Allen, R. Stuart Geiger, Jonah Miller, Emily Chen, Anshu Dubey, Patricia Lago

Subjects: Software Engineering (cs.SE)

[8] arXiv:1705.02850 [pdf, other]

Title: Learning Product Automata

Joshua Moerman

Comments: Submitted to LearnAut 2017

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

[9] arXiv:1705.02899 [pdf, other]

Title: Teaching Concurrent Software Design: A Case Study Using Android

Konstantin Läufer, George K. Thiruvathukal

Comments: Submitted to CDER NSF/IEEE-TCPP Curriculum Initiative on Parallel and Distributed Computing - Core Topics for Undergraduates

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

[10] arXiv:1705.03095 [pdf, other]

Title: Requirements Model for Cyber-Physical System

Md. Masudur Rahman, Naushin Nower

Comments: 4 pages, 2 figures

Subjects: Software Engineering (cs.SE)

[11] arXiv:1705.03250 [pdf, other]

Title: Are You Ready? Towards the Engineering of Forensic-Ready Systems

George Grispos, Jesus Garcia-Galan, Liliana Pasquale, Bashar Nuseibeh

Comments: Presented at IEEE 11th International Conference on Research Challenges in Information Science, Brighton, United Kindgom

Subjects: Software Engineering (cs.SE)

[12] arXiv:1705.03517 [pdf, other]

Title: MISRA C, for Security's Sake!

Roberto Bagnara

Comments: 4 pages, 2 tables, presented at the "14th Workshop on Automotive Software & Systems", Milan, November 10, 2016

Subjects: Software Engineering (cs.SE)

[13] arXiv:1705.03618 [pdf, other]

Title: Automated Synthesis of Secure Platform Mappings

Eunsuk Kang, Stephane Lafortune, Stavros Tripakis

Subjects: Software Engineering (cs.SE)

[14] arXiv:1705.03697 [pdf, other]

Title: Is "Better Data" Better than "Better Data Miners"? (On the Benefits of Tuning SMOTE for Defect Prediction)

Amritanshu Agrawal, Tim Menzies

Comments: 10 pages + 2 references. Accepted to International Conference of Software Engineering (ICSE), 2018

Journal-ref: International Conference of Software Engineering (ICSE), 2018

Subjects: Software Engineering (cs.SE)

[15] arXiv:1705.03860 [pdf, other]

Title: Towards Decision Support for Smart Energy Systems based on Spatio-temporal Models

Jan Olaf Blech, Lasith Fernando, Keith Foster, G Abhilash, SD Sudarsan

Subjects: Software Engineering (cs.SE)

[16] arXiv:1705.03883 [pdf, other]

Title: Exact Requirements Engineering for Developing Business Process Models

Masoud Nosrati

Comments: (IEEE) 3th International Conference on Web Research

Subjects: Software Engineering (cs.SE)

[17] arXiv:1705.04016 [pdf, other]

Title: Auto-completing Bug Reports for Android Applications

Kevin Moran, Mario Linares-Vásquez, Carlos Bernal-Cárdenas, Denys Poshyvanyk

Comments: ESEC/FSE 2015 10th Joint Meeting on Foundations of Software Engineering, 14 pages

Subjects: Software Engineering (cs.SE)

[18] arXiv:1705.04149 [pdf, other]

Title: Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J

Jiajun Jiang, Yingfei Xiong

Comments: Submitted to Empirical Software Engineering

Subjects: Software Engineering (cs.SE)

[19] arXiv:1705.04263 [pdf, other]

Title: Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation

Bogdan Czejdo, Sambit Bhattacharya, Mikołaj Baszun, Wiktor B. Daszczuk

Comments: 11 pages, 5 figures

Journal-ref: Autobusy-TEST, vol. 17, No.3, pp.1294-1301 (2016)

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

[20] arXiv:1705.04669 [pdf, other]

Title: KompicsTesting - Unit Testing Event Streams

Ifeanyi W. Ubah, Lars Kroll, Alexandru A. Ormenisan, Seif Haridi

Subjects: Software Engineering (cs.SE)

[21] arXiv:1705.04728 [pdf, other]

Title: Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing

Jerzy Mieścicki, Bogdan Czejdo, Wiktor B. Daszczuk

Comments: 15 pages, 11 figures, European Congress on Computational Methods in Applied Sciences and Engineering ECCOMAS 2004, Jyväskylä, Finland, 24-28 July 2004

Subjects: Software Engineering (cs.SE)

[22] arXiv:1705.04906 [pdf, other]

Title: Achieving and Managing Availability SLAs with ITIL Driven Processes, DevOps, and Workflow Tools

James J. Cusick

Comments: 8 pages, 1 Table, 2 Figures

Subjects: Software Engineering (cs.SE)

[23] arXiv:1705.05018 [pdf, other]

Title: FLASH: A Faster Optimizer for SBSE Tasks

Vivek Nair, Zhe Yu, Tim Menzies

Comments: 11 pages, 11 figures

Subjects: Software Engineering (cs.SE)

[24] arXiv:1705.05087 [pdf, other]

Title: Piggybacking on an Autonomous Hauler: Business Models Enabling a System-of-Systems Approach to Mapping an Underground Mine

Markus Borg, Thomas Olsson, John Svensson

Comments: Preprint of industry track paper accepted for the 25th IEEE International Conference on Requirements Engineering (RE'17)

Subjects: Software Engineering (cs.SE)

[25] arXiv:1705.05170 [pdf, other]

Title: Design Criteria to Architect Continuous Experimentation for Self-Driving Vehicles

Federico Giaimo, Christian Berger

Comments: Copyright 2017 IEEE. Paper submitted and accepted at the 2017 IEEE International Conference on Software Architecture. 8 pages, 2 figures. Published in IEEE Xplore Digital Library, URL: this http URL

Journal-ref: Software Architecture (ICSA), 2017 IEEE International Conference on (pp. 203-210). IEEE

Subjects: Software Engineering (cs.SE)

[26] arXiv:1705.05209 [pdf, other]

Title: Evaluating Rapid Application Development with Python for Heterogeneous Processor-based FPGAs

Andrew G. Schmidt, Gabriel Weisz, Matthew French

Comments: To appear in 2017 IEEE 25th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM'17)

Subjects: Software Engineering (cs.SE)

[27] arXiv:1705.05242 [pdf, other]

Title: Monitoring Distributed Component-Based Systems

Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga

Subjects: Software Engineering (cs.SE)

[28] arXiv:1705.05315 [pdf, other]

Title: Interactive Runtime Verification

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget

Comments: Preprint, extended version before submission to ISSRE 2017

Subjects: Software Engineering (cs.SE)

[29] arXiv:1705.05420 [pdf, other]

Title: FAST$^2$: an Intelligent Assistant for Finding Relevant Papers

Zhe Yu, Tim Menzies

Comments: 20+3 pages, 6 figures, 5 tables, and 4 algorithms. Accepted by Journal of Expert Systems with Applications

Subjects: Software Engineering (cs.SE)

[30] arXiv:1705.05450 [pdf, other]

Title: Beyond Agile: Studying The Participatory Process in Software Development

Alexey Zagalsky

Comments: PhD Candidacy Proposal - December 2nd, 2015

Subjects: Software Engineering (cs.SE)

[31] arXiv:1705.05476 [pdf, other]

Title: CodeCity for (and by) JavaScript

Marcos Viana, Andre Hora, Marco Tulio Valente

Subjects: Software Engineering (cs.SE)

[32] arXiv:1705.05501 [pdf, other]

Title: Service Virtualisation of Internet-of-Things Devices: Techniques and Challenges

Zeinab Farahmandpour, Steve Versteeg, Anand Kameswaran, Jun Han

Comments: 4 pages

Journal-ref: In Proceedings of ACM/IEEE 3rd International Workshop on Rapid Continuous Software Engineering, (RCoSE2017), Argentina, May 2017

Subjects: Software Engineering (cs.SE)

[33] arXiv:1705.06013 [pdf, other]

Title: How do Practitioners Perceive the Relevance of Requirements Engineering Research? An Ongoing Study

X. Franch, D. Méndez Fernández, M. Oriol, A. Vogelsang, R. Heldal, E. Knauss, G. Horta Travassos, J. C. Carver, O. Dieste, T. Zimmermann

Comments: Accepted for the 25th International Requirements Engineering Conference, 2017

Subjects: Software Engineering (cs.SE)

[34] arXiv:1705.06429 [pdf, other]

Title: A systematic mapping study on cross-project defect prediction

Steffen Herbold

Comments: Under Review

Subjects: Software Engineering (cs.SE)

[35] arXiv:1705.06511 [pdf, other]

Title: In The Field Monitoring of Interactive Applications

Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani

Comments: IEEE Copyright, Accepted for pubblication in ICSE 2017, Nier Track

Subjects: Software Engineering (cs.SE)

[36] arXiv:1705.06586 [pdf, other]

Title: Opportunities in Software Engineering Research for Web API Consumption

Erik Wittern, Annie Ying, Yunhui Zheng, Jim A. Laredo, Julian Dolby, Christopher C. Young, Aleksander A. Slominski

Comments: Erik Wittern and Annie Ying are both first authors

Subjects: Software Engineering (cs.SE)

[37] arXiv:1705.06629 [pdf, other]

Title: Who you gonna call? Analyzing Web Requests in Android Applications

Marianna Rapoport, Philippe Suter, Erik Wittern, Ondřej Lhoták, Julian Dolby

Subjects: Software Engineering (cs.SE)

[38] arXiv:1705.07358 [pdf, other]

Title: Flexible In-The-Field Monitoring

Oscar Cornejo

Comments: 2 pages, no figures, conference article

Subjects: Software Engineering (cs.SE)

[39] arXiv:1705.07359 [pdf, other]

Title: Field Testing of Software Applications

Luca Gazzola

Subjects: Software Engineering (cs.SE)

[40] arXiv:1705.07848 [pdf, other]

Title: A Testbed for Experimenting Internet of Things Applications

Parthkumar Patel, Jayraj Dave, Shreedhar Dalal, Pankesh Patel, Sanjay Chaudhary

Comments: 13 pages

Subjects: Software Engineering (cs.SE)

[41] arXiv:1705.08382 [pdf, other]

Title: Monitoring Information Quality within Web Service Composition and Execution

Thanh Thoa Pham Thi, Markus Helfert

Comments: International Conference on Information Systems Development, ISD 2011, Springer

Subjects: Software Engineering (cs.SE)

[42] arXiv:1705.08399 [pdf, other]

Title: Timed k-Tail: Automatic Inference of Timed Automata

Fabrizio Pastore, Daniela Micucci, Leonardo Mariani

Subjects: Software Engineering (cs.SE)

[43] arXiv:1705.08418 [pdf, other]

Title: Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions

Fabrizio Pastore, Leonardo Mariani

Subjects: Software Engineering (cs.SE)

[44] arXiv:1705.09170 [pdf, other]

Title: Mesh Model (MeMo): A Systematic Approach to Agile System Engineering

Amit Kumar Mishra

Subjects: Software Engineering (cs.SE)

[45] arXiv:1705.09822 [pdf, other]

Title: The risk factors affecting to the software quality failures in Sri Lankan Software industry

Namadawa Bashini Jeewanthi Gamage

Comments: 76

Subjects: Software Engineering (cs.SE)

[46] arXiv:1705.09920 [pdf, other]

Title: Analyzing the Relationship between Project Productivity and Environment Factors in the Use Case Points Method

Mohammad Azzeh, Ali Bou Nassif

Comments: Journal of Software: Evolution and Process, 2017

Subjects: Software Engineering (cs.SE)

[47] arXiv:1705.10032 [pdf, other]

Title: From Temporal Models to Property-Based Testing

Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech

Comments: Preprint. Accepted to the 12th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2017). Final version published by SCITEPRESS, this http URL

Subjects: Software Engineering (cs.SE)

[48] arXiv:1705.10093 [pdf, other]

Title: A training process for improving the quality of software projects developed by a practitioner

Cuauhtémoc López-Martín, Ali Bou Nassif, Alain Abran

Subjects: Software Engineering (cs.SE)

[49] arXiv:1705.10692 [pdf, other]

Title: A Snowballing Literature Study on Test Amplification

Benjamin Danglot, Oscar Luis Vera-Pérez, Zhongxing Yu, Andy Zaidman, Martin Monperrus, Benoit Baudry

Journal-ref: Journal of Systems and Software, Elsevier, 2019

Subjects: Software Engineering (cs.SE)

[50] arXiv:1705.11000 [pdf, other]

Title: AutoWIG: Automatic Generation of Python Bindings for C++ Libraries

Pierre Fernique, Christophe Pradal

Subjects: Software Engineering (cs.SE)