Software Engineering

Authors and titles for October 2016

[1] arXiv:1610.00502 [pdf, other]

Title: A Survey of Symbolic Execution Techniques

Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi

Comments: This is the authors pre-print copy. If you are considering citing this survey, we would appreciate if you could use the following BibTeX entry: this http URL

Journal-ref: ACM Computing Surveys 51(3), 2018. BibTeX entry: http://goo.gl/Hf5Fvc

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

[2] arXiv:1610.01245 [pdf, other]

Title: A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage

Ali Parsai, Alessandro Murgia, Serge Demeyer

Comments: 2016 IEEE International Conference on Software Quality, Reliability, and Security. 9 pages

Journal-ref: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), Vienna, Austria, 2016, pp. 365-373

Subjects: Software Engineering (cs.SE)

[3] arXiv:1610.01778 [pdf, other]

Title: Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing

Manuel Mazzara, Ruslan Mustafin, Larisa Safina, Ivan Lanese

Subjects: Software Engineering (cs.SE)

[4] arXiv:1610.02127 [pdf, other]

Title: A Decision Support System to Choose Optimal Release Cycle Length in Incremental Software Development Environments

Avnish Chandra Suman, Saraswati Mishra, Abhinav Anand

Comments: 10 pages, 4 figures, 16 tables

Journal-ref: International Journal of Software Engineering & Applications (IJSEA), Vol.7, No.5, September 2016

Subjects: Software Engineering (cs.SE)

[5] arXiv:1610.02374 [pdf, other]

Title: Unified Control and Data Flow Diagrams Applied to Software Engineering and other Systems

Igor Polkovnikov

Comments: 23 pages, 22 figures

Subjects: Software Engineering (cs.SE)

[6] arXiv:1610.02517 [pdf, other]

Title: A Hybrid Model for Estimating Software Project Effort from Use Case Points

Mohammad Azzeh, Ali Bou Nassif

Subjects: Software Engineering (cs.SE)

[7] arXiv:1610.03180 [pdf, other]

Title: Measuring the Effect of CMMI Quality Standard on Agile Scrum Model

Munawar Hayat, M. Rizwan Jameel Qureshi

Comments: 7 Pages

Journal-ref: IJIEEB, vol.7, no.6, pp.46-52 , 2015

Subjects: Software Engineering (cs.SE)

[8] arXiv:1610.03335 [pdf, other]

Title: Model Driven Web Application Development With Agile Practices

Gürkan Alpaslan, Oya Kalıpsız

Comments: 11 pages, 3 figures, 3 tables

Journal-ref: International Journal of Software Engineering & Applications (IJSEA), Vol.7, No.5, September 2016, pages: 1-11

Subjects: Software Engineering (cs.SE)

[9] arXiv:1610.03960 [pdf, other]

Title: Multi-view Consistency in UML

Alexander Knapp, Till Mossakowski

Subjects: Software Engineering (cs.SE)

[10] arXiv:1610.04142 [pdf, other]

Title: Decision Support for Increasing the Efficiency of Crowdsourced Software Development

Muhammad Rezaul Karim, David Messinger, Ye Yang, Guenther Ruhe

Comments: 6 pages

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

[11] arXiv:1610.04546 [pdf, other]

Title: Ten Simple Rules for Making Research Software More Robust

Morgan Taschuk, Greg Wilson

Subjects: Software Engineering (cs.SE)

[12] arXiv:1610.04594 [pdf, other]

Title: Code Definition Analysis for Call Graph Generation

Anne Veenendaal, Elliot Daly, Eddie Jones, Zhao Gang, Sumalini Vartak, Rahul S Patwardhan

Comments: Short paper, 3 pages, 2 figures. call graph, code analysis, software comprehension, code understanding

Subjects: Software Engineering (cs.SE)

[13] arXiv:1610.04774 [pdf, other]

Title: Stakeholder Involvement: A Success Factor for Achieving Better UX Integration

Pariya Kashfi, Kati Kuusinen, Robert Feldt

Comments: A paper accepted to the workshop "Stakeholder Involvement in Agile Development" at NordiCHI 2016

Subjects: Software Engineering (cs.SE)

[14] arXiv:1610.05711 [pdf, other]

Title: Anti-patterns and the energy efficiency of Android applications

Rodrigo Morales, Ruben Saborido, Foutse Khomh, Francisco Chicano, Giuliano Antoniol

Comments: This work is part of the paper "EARMO: An Energy-Aware Refactoring Approach for Mobile Apps" submitted to TSE

Subjects: Software Engineering (cs.SE)

[15] arXiv:1610.05726 [pdf, other]

Title: Structured Unit Testable Templated Code for Efficient Code Review Process

Amol Patwardhan

Comments: 13 pages, 12 figures

Subjects: Software Engineering (cs.SE)

[16] arXiv:1610.05788 [pdf, other]

Title: Human Task Monitoring and Contextual Analysis for Domain Specific Business Processes

Kunal Suri, Adrian Mos

Comments: 26th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2015), May 27-29, 2015, Paris, France. Accepted paper

Subjects: Software Engineering (cs.SE)

[17] arXiv:1610.05867 [pdf, other]

Title: Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability

Andreas Katis, Grigory Fedyukovich, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen

Comments: 18 pages, 3 figures

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

[18] arXiv:1610.06371 [pdf, other]

Title: Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement

Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jegourel

Comments: Accepted by IEEE Transactions on Software Engineering

Subjects: Software Engineering (cs.SE)

[19] arXiv:1610.07410 [pdf, other]

Title: From Event-B to Verified C via HLL

Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin

Subjects: Software Engineering (cs.SE)

[20] arXiv:1610.07884 [pdf, other]

Title: Spatio-temporal features of FocusST

Maria Spichkova

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

[21] arXiv:1610.07914 [pdf, other]

Title: The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages

Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti, Patricia M. Hill

Comments: 62 pages, 10 figures, 7 tables

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

[22] arXiv:1610.08020 [pdf, other]

Title: Bounded Model Checking and Feature Omission Diversity

Mohammad Amin Alipour, Alex Groce

Comments: 5 pages

Subjects: Software Engineering (cs.SE)

[23] arXiv:1610.08200 [pdf, other]

Title: Configuring Cloud-Service Interfaces Using Flow Inheritance

Pavel Zaichenkov (University of Hertfordshire), Olga Tveretina (University of Hertfordshire), Alex Shafarenko (University of Hertfordshire)

Comments: In Proceedings iFMCloud 2016, arXiv:1610.07700

Journal-ref: EPTCS 228, 2016, pp. 27-34

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

[24] arXiv:1610.08312 [pdf, other]

Title: Software Quality - Traditional vs. Agile: an Empirical Investigation

Mohamad Kassab, JooYoung Lee, Manuel Mazzara, Giancarlo Succi, Rasul Tumyrkin

Comments: Outdated dataset

Subjects: Software Engineering (cs.SE)

[25] arXiv:1610.08607 [pdf, other]

Title: Learning Likely Invariants to Explain Why a Program Fails

Jun Sun, Long H. Pham, Lyly Tran Thi, Jingyi Wang, Xin Peng

Comments: 10 pages

Subjects: Software Engineering (cs.SE)

[26] arXiv:1610.08713 [pdf, other]

Title: The Probabilistic Model Checker Storm (Extended Abstract)

Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk

Comments: Extended abstract

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

[27] arXiv:1610.08911 [pdf, other]

Title: Toward Mining Visual Log of Software

Hung Pham, Tam Nguyen, Phong Vu, Tung Nguyen

Comments: 4 pages, 2 figures, short paper new idea

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

[28] arXiv:1610.09012 [pdf, other]

Title: Empirical Evaluation of Effort on Composing Design Models

Kleinner Farias

Comments: PhD thesis, Pontifical Catholic University of Rio de Janeiro, Rio de Janeiro, Brazil, 2012 - Keywords: design models, UML, development effort, software modeling, aspect-oriented modeling, model merging, software merging, quality model, empirical studies

Subjects: Software Engineering (cs.SE)

[29] arXiv:1610.09240 [pdf, other]

Title: Software Architecture Decision-Making Practices and Challenges: An Industrial Case Study

Sandun Dasanayake, Jouni Markkula, Sanja Aaramaa, Markku Oivo

Comments: 24th Australasian Software Engineering Conference (ASWEC 2015). Adelaide, Australia

Subjects: Software Engineering (cs.SE)

[30] arXiv:1610.09405 [pdf, other]

Title: Programming Heterogeneous Systems from an Image Processing DSL

Jing Pu, Steven Bell, Xuan Yang, Jeff Setter, Stephen Richardson, Jonathan Ragan-Kelley, Mark Horowitz

Subjects: Software Engineering (cs.SE)

[31] arXiv:1610.09635 [pdf, other]

Title: A Bibliometric Study of Asia Pacific Software Engineering Conference from 2010 to 2015

Lov Kumar, Saikrishna Sripada, Ashish Sureka

Comments: Extended and detailed version of the short paper accepted in APSEC 2016 by the same authors

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

[32] arXiv:1610.10079 [pdf, other]

Title: Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling

Felipe R. Monteiro

Comments: International Symposium on the Foundations of Software Engineering 2016

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

[33] arXiv:1610.01133 (cross-list from cs.PL) [pdf, other]

Title: Mathematical Execution: A Unified Approach for Testing Numerical Code

Zhoulai Fu, Zhendong Su

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

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

Title: Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel

Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham

Comments: This is a long version of a conference paper published in the 2018 Design, Automation and Test in Europe Conference (DATE)

Journal-ref: Design, Automation and Test in Europe Conference (2018): 61-66

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Operating Systems (cs.OS); Software Engineering (cs.SE)

[35] arXiv:1610.07390 (cross-list from cs.PL) [pdf, other]

Title: A Practical Approach to Interval Refinement for math.h/cmath Functions

Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara

Comments: 98 pages, 2 figures, 11 tables, 11 algorithms

Journal-ref: ACM Trans. Softw. Eng. Methodol. 30, 1, Article 9 (January 2021), 53 pages

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

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

Title: Static Analysis Using the Cloud

Rahul Kumar (Microsoft Research, Redmond, WA, USA), Chetan Bansal (Microsoft Research, Redmond, WA, USA), Jakob Lichtenberg (Microsoft, Redmond, WA, USA)

Comments: In Proceedings iFMCloud 2016, arXiv:1610.07700

Journal-ref: EPTCS 228, 2016, pp. 2-15

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

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

Title: Modeling Deployment Decisions for Elastic Services with ABS

Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa

Comments: In Proceedings iFMCloud 2016, arXiv:1610.07700

Journal-ref: EPTCS 228, 2016, pp. 16-26

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

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

Title: An Enhanced Model for Stochastic Coordination

Nuno Oliveira (HASLab INESC TEX), Luis Soares Barbosa (HASLab INESC TEC)

Comments: In Proceedings iFMCloud 2016, arXiv:1610.07700

Journal-ref: EPTCS 228, 2016, pp. 35-45

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[39] arXiv:1610.09543 (cross-list from cs.PL) [pdf, other]

Title: FEAST: An Automated Feature Selection Framework for Compilation Tasks

Pai-Shun Ting, Chun-Chen Tu, Pin-Yu Chen, Ya-Yun Lo, Shin-Ming Cheng

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