Software Engineering

Authors and titles for July 2016

[1] arXiv:1607.00475 [pdf, other]

Title: Lessons from DEPLOYment

Manuel Mazzara, Cliff Jones, Alexei Iliasov

Comments: Rodin Workshop, February 2012 ,Fontainebleau, France

Subjects: Software Engineering (cs.SE)

[2] arXiv:1607.00478 [pdf, other]

Title: Model Checking of BPMN Models for Reconfigurable Workflows

Juan Carlos Polanco Aguilar, Koji Hasebe, Manuel Mazzara, Kazuhiko Kato

Comments: Conference of Japan Society for Software Science and Technology, JSSST 2011

Subjects: Software Engineering (cs.SE)

[3] arXiv:1607.00607 [pdf, other]

Title: Business Process Mining

Asef Pourmasoumi, Ebrahim Bagheri

Comments: 8 pages,6 figures

Subjects: Software Engineering (cs.SE)

[4] arXiv:1607.00905 [pdf, other]

Title: Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks

Ralf Ramsauer, Daniel Lohmann, Wolfgang Mauerer

Journal-ref: Proceedings of the 12th International Symposium on Open Collaboration (OpenSym 2016)

Subjects: Software Engineering (cs.SE)

[5] arXiv:1607.01723 [pdf, other]

Title: GUICop: Approach and Toolset for Specification-based GUI Testing

Dalal Hammoud, Fadi A. Zaraket, Wes Masri

Subjects: Software Engineering (cs.SE)

[6] arXiv:1607.01893 [pdf, other]

Title: Embracing Agile methodology during DevOps Developer Internship Program

Amol Patwardhan, Jon Kidd, Tiffany Urena, Aishwarya Rajgopalan

Comments: 5 pages, 1 figure, Submitted for peer review to IEEE Software

Subjects: Software Engineering (cs.SE)

[7] arXiv:1607.02227 [pdf, other]

Title: Generating Counterexamples for Model Checking by Transformation

G. W. Hamilton (School of Computing, Dublin City University, Republic of Ireland)

Comments: In Proceedings VPT 2016, arXiv:1607.01835. arXiv admin note: substantial text overlap with arXiv:1512.03860

Journal-ref: EPTCS 216, 2016, pp. 65-82

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

[8] arXiv:1607.02453 [pdf, other]

Title: Evaluating Random Mutant Selection at Class-Level in Projects with Non-Adequate Test Suites

Ali Parsai, Alessandro Murgia, Serge Demeyer

Comments: EASE 2016, Article 11 , 10 pages

Journal-ref: Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering (EASE '16). ACM, New York, NY, USA, 2016

Subjects: Software Engineering (cs.SE)

[9] arXiv:1607.02459 [pdf, other]

Title: Why We Refactor? Confessions of GitHub Contributors

Danilo Silva, Nikolaos Tsantalis, Marco Tulio Valente

Comments: Paper accepted at 24th International Symposium on the Foundations of Software Engineering (FSE), pages 1-12, 2016

Subjects: Software Engineering (cs.SE)

[10] arXiv:1607.03245 [pdf, other]

Title: Programming Internet of Things, Service, and People (IoTSP) Applications

Saurabh Chauhan

Comments: arXiv admin note: text overlap with arXiv:1501.05080, arXiv:1606.02119 by other authors

Subjects: Software Engineering (cs.SE)

[11] arXiv:1607.03258 [pdf, other]

Title: Target Directed Event Sequence Generation for Android Applications

Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang

Journal-ref: QRS 2017, pages 42-53

Subjects: Software Engineering (cs.SE)

[12] arXiv:1607.03649 [pdf, other]

Title: LTL-based Verification of Reconfigurable Workflows

Manuel Mazzara

Comments: arXiv admin note: text overlap with arXiv:1406.1395

Subjects: Software Engineering (cs.SE)

[13] arXiv:1607.03748 [pdf, other]

Title: Analysis of Software Delivery Process Shortcomings and Architectural Pitfalls

Amol Patwardhan

Comments: 10 pages, Submitted to PeerJ Computer Science (in review)

Subjects: Software Engineering (cs.SE)

[14] arXiv:1607.04342 [pdf, other]

Title: Predicting the Popularity of GitHub Repositories

Hudson Borges, Andre Hora, Marco Tulio Valente

Comments: Preprint of a paper accepted at 12th International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE)

Subjects: Software Engineering (cs.SE); Social and Information Networks (cs.SI)

[15] arXiv:1607.04347 [pdf, other]

Title: Spectrum-based Software Fault Localization: A Survey of Techniques, Advances, and Challenges

Higor A. de Souza, Marcos L. Chaim, Fabio Kon

Comments: Submitted to Software Testing, Verification and Reliability

Subjects: Software Engineering (cs.SE)

[16] arXiv:1607.04452 [pdf, other]

Title: The IDE as a Scriptable Information System (extended version)

Dimitar Asenov, Peter Müller, Lukas Vogel

Comments: A video demonstrating our system can be seen at this https URL

Subjects: Software Engineering (cs.SE)

[17] arXiv:1607.04814 [pdf, other]

Title: New Software Metrics for Evaluation and Comparison of Advanced Power Management Systems

James Christopher Foreman, Rammohan K. Ragade, James H. Graham

Journal-ref: IEEE Systems Journal 3.3 (2009): 331-335

Subjects: Software Engineering (cs.SE)

[18] arXiv:1607.05173 [pdf, other]

Title: An empirical study on the impact of IDE tool support in pair and solo programming

Omar S. Gómez

Subjects: Software Engineering (cs.SE)

[19] arXiv:1607.05512 [pdf, other]

Title: Assessing and Comparing Mutation-based Fault Localization Techniques

Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon

Subjects: Software Engineering (cs.SE)

[20] arXiv:1607.06324 [pdf, other]

Title: Modeling Software Development Methodologies: A Logic Based Approach

Farzad Mahdikhani, Mohammad Reza Abbasifard

Subjects: Software Engineering (cs.SE)

[21] arXiv:1607.06857 [pdf, other]

Title: Model Checker Execution Reports

Rodrigo Castaño, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel

Subjects: Software Engineering (cs.SE)

[22] arXiv:1607.07602 [pdf, other]

Title: OntoCat: Automatically categorizing knowledge in API Documentation

Niraj Kumar, Premkumar Devanbu

Comments: To be submitted for journal publication

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

[23] arXiv:1607.08273 [pdf, other]

Title: Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report)

Peizun Liu, Thomas Wahl

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

Subjects: Software Engineering (cs.SE)

[24] arXiv:1607.08506 [pdf, other]

Title: Towards Automated Performance Bug Identification in Python

Sokratis Tsakiltsidis, Andriy Miranskyy, Elie Mazzawi

Journal-ref: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Ottawa, ON, 2016, pp. 132-139

Subjects: Software Engineering (cs.SE)

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

Title: Best Practices for Replicability, Reproducibility and Reusability of Computer-Based Experiments Exemplified by Model Reduction Software

Jörg Fehr, Jan Heiland, Christian Himpe, Jens Saak

Journal-ref: AIMS Mathematics 2016, Volume 1, Issue 3

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

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

Title: Proceedings of the Fourth International Workshop on Verification and Program Transformation

Geoff Hamilton (Dublin City University, Republic of Ireland), Alexei Lisitsa (The University of Liverpool, UK), Andrei P. Nemytykh (Program Systems Institute of RAS, Russia)

Journal-ref: EPTCS 216, 2016

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

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

Title: Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems

Maurice H. ter Beek (ISTI-CNR, Pisa, Italy), Michele Loreti (University of Florence, Italy)

Journal-ref: EPTCS 217, 2016

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

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

Title: Towards Trustworthy Refactoring in Erlang

Dániel Horpácsi, Judit Kőszegi, Simon Thompson

Comments: In Proceedings VPT 2016, arXiv:1607.01835

Journal-ref: EPTCS 216, 2016, pp. 83-103

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

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

Title: On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract

Diego Latella (CNR-ISTI)

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 53-61

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

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

Title: Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

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

Title: Database-Backed Web Applications in the Wild: How Well Do They Work?

Cong Yan, Alvin Cheung, Shan Lu

Comments: 13 pages

Subjects: Databases (cs.DB); Performance (cs.PF); Software Engineering (cs.SE)

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

Title: Data as processes: introducing measurement data into CARMA models

Stephen Gilmore

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 31-42

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

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

Title: Hierarchical State Machines as Modular Horn Clauses

Pierre-Loïc Garoche (DTIM, UFT, Onera - The French Aerospace Lab), Temesghen Kahsai (Nasa Ames / CMU), Xavier Thirioux (IRIT/ENSEEIHT, UFT, CNRS)

Comments: In Proceedings HCVS2016, arXiv:1607.04033

Journal-ref: EPTCS 219, 2016, pp. 15-28

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

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

Title: Challenges in Decomposing Encodings of Verification Problems

Peter Schrammel (University of Oxford)

Comments: In Proceedings HCVS2016, arXiv:1607.04033

Journal-ref: EPTCS 219, 2016, pp. 29-32

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

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

Title: Removing Unnecessary Variables from Horn Clause Verification Conditions

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Comments: In Proceedings HCVS2016, arXiv:1607.04033

Journal-ref: EPTCS 219, 2016, pp. 49-55

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

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

Title: DiaSys: Improving SoC Insight Through On-Chip Diagnosis

Philipp Wagner, Thomas Wild, Andreas Herkersdorf

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

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

Title: Functional Augmented State Transfer (FAST) Architecture for Computationally Intensive Network Applications

Gopi Krishna Suvanam

Comments: submitted for publication in IEEE Transactions on Services Computing

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

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

Title: Cloud Service Matchmaking using Constraint Programming

Begüm İlke Zilci, Mathias Slawik, Axel Küpper

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

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

Title: Inpainting of long audio segments with similarity graphs

Nathanael Perraudin, Nicki Holighaus, Piotr Majdak, Peter Balazs

Subjects: Sound (cs.SD); Artificial Intelligence (cs.AI); Multimedia (cs.MM); Software Engineering (cs.SE)

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

Title: CYCLONE Unified Deployment and Management of Federated, Multi-Cloud Applications

Mathias Slawik, Begüm İlke Zilci, Yuri Demchenko, José Ignacio Aznar Baranda, Robert Branchat, Charles Loomis, Oleg Lodygensky, Christophe Blanchet

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

[41] arXiv:1607.07515 (cross-list from stat.AP) [pdf, other]

Title: Single Stage Prediction with Embedded Topic Modeling of Online Reviews for Mobile App Management

Shawn Mankad, Shengli Hu, Anandasivam Gopal

Comments: 28 pages, 4 figures

Subjects: Applications (stat.AP); Information Retrieval (cs.IR); Software Engineering (cs.SE)

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

Title: Facing ADAS validation complexity with usage oriented testing

Laurent Raffaëlli, Frédérique Vallée, Guy Fayolle (IMARA), Philippe De Souza, Xavier Rouah, Matthieu Pfeiffer, Stéphane Géronimi (PSA), Frédéric Pétrot (TIMA), Samia Ahiad

Journal-ref: ERTS 2016, Jan 2016, Toulouse, France. 2016

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

[43] arXiv:1607.08098 (cross-list from cs.DB) [pdf, other]

Title: The Actias system: supervised multi-strategy learning paradigm using categorical logic

Carlos Leandro, Helder Pita, Luís Monteiro

Comments: 9 pages, 6 figures, conference ICKEDS'04

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)