Software Engineering

Authors and titles for June 2016

[1] arXiv:1606.00137 [pdf, other]

Title: Recovering Architectural Variability of a Family of Product Variants

Anas Shatnawi (MAREL), Abdelhak Seriai (MAREL), Houari Sahraoui (GEODES)

Journal-ref: International Conference on Software Reuse, Jan 2015, Miami, FL, United States. SpringerLink, Lecture Notes in Computer Science (8919), pp.17-33, 2014, Software Reuse for Dynamic Systems in the Cloud and Beyond

Subjects: Software Engineering (cs.SE)

[2] arXiv:1606.00288 [pdf, other]

Title: A Review of Pair-wise Testing

Jimi Sanchez

Subjects: Software Engineering (cs.SE)

[3] arXiv:1606.00502 [pdf, other]

Title: Program Repair by Stepwise Correctness Enhancement

Nafi Diallo (NJIT, Newark NJ), Wided Ghardallou (FST, Tunis, Tunisia), Ali Mili (NJIT, Newark NJ)

Comments: In Proceedings PrePost 2016, arXiv:1605.08096

Journal-ref: EPTCS 208, 2016, pp. 1-15

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

[4] arXiv:1606.00503 [pdf, other]

Title: Model-based Testing of Mobile Systems -- An Empirical Study on QuizUp Android App

Vignir Gudmundsson (ICE-TCS, School of Computer Science, Reykjavik University), Mikael Lindvall (Fraunhofer CESE), Luca Aceto (ICE-TCS, School of Computer Science, Reykjavik University), Johann Bergthorsson (Plain Vanilla Games), Dharmalingam Ganesan (Fraunhofer CESE)

Comments: In Proceedings PrePost 2016, arXiv:1605.08096

Journal-ref: EPTCS 208, 2016, pp. 16-30

Subjects: Software Engineering (cs.SE)

[5] arXiv:1606.00504 [pdf, other]

Title: Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

Sönke Holthusen (TU Braunschweig), Sophie Quinton (Inria Grenoble - Rhône-Alpes), Ina Schaefer (TU Braunschweig), Johannes Schlatow (TU Braunschweig), Martin Wegner (TU Braunschweig)

Comments: In Proceedings PrePost 2016, arXiv:1605.08096

Journal-ref: EPTCS 208, 2016, pp. 31-45

Subjects: Software Engineering (cs.SE)

[6] arXiv:1606.00505 [pdf, other]

Title: Monitoring Assumptions in Assume-Guarantee Contracts

Oleg Sokolsky, Teng Zhang, Insup Lee, Michael McDougall

Comments: In Proceedings PrePost 2016, arXiv:1605.08096

Journal-ref: EPTCS 208, 2016, pp. 46-53

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

[7] arXiv:1606.00521 [pdf, other]

Title: Initial and Eventual Software Quality Relating to Continuous Integration in GitHub

Yue Yu, Bogdan Vasilescu, Huaimin Wang, Vladimir Filkov, Premkumar Devanbu

Subjects: Software Engineering (cs.SE)

[8] arXiv:1606.00561 [pdf, other]

Title: Mining Software Components from Object-Oriented APIs

Anas Shatnawi (MAREL), Abdelhak Seriai (MAREL), Houari Sahraoui (GEODES), Zakarea Al-Shara (MAREL)

Journal-ref: International Conference on Software Reuse, Jan 2015, Miami, FL, United States. SpringerLink, Lecture Notes in Computer Science (8919), pp.330-347, 2014, Software Reuse for Dynamic Systems in the Cloud and Beyond

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

[9] arXiv:1606.00585 [pdf, other]

Title: An Extended Symbol Table Infrastructure to Manage the Composition of Output-Specific Generator Information

Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe

Comments: 8 pages, 3 figures, Modellierung 2016 Conference

Subjects: Software Engineering (cs.SE)

[10] arXiv:1606.00678 [pdf, other]

Title: RPP: Automatic Proof of Relational Properties by Self-Composition

Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto

Subjects: Software Engineering (cs.SE)

[11] arXiv:1606.01077 [pdf, other]

Title: A Fuzzy Approach to Qualification in Design Exploration for Autonomous Robots and Systems

Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder

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

[12] arXiv:1606.01120 [pdf, other]

Title: From Mechatronic Components to Industrial Automation Things - An IoT model for cyber-physical manufacturing systems

Kleanthis Thramboulidis, Theodoros Foradis

Comments: 9 pages, 10 figures

Subjects: Software Engineering (cs.SE)

[13] arXiv:1606.01593 [pdf, other]

Title: Generalized Suffix Tree based Multiple Sequence Alignment for Service Virtualization

Jean-Guy Schneider, Peter Mandile, Steve Versteeg

Comments: In Proceedings of 24th Australasian Software Engineering Conference (ASWEC2015), pp 48-57

Journal-ref: In Proceedings of 24th Australasian Software Engineering Conference (ASWEC2015), pp 48-57. IEEE

Subjects: Software Engineering (cs.SE)

[14] arXiv:1606.02016 [pdf, other]

Title: Formal refinement of extended state machines

Thomas Fayolle (Université Paris-Est LACL), Marc Frappier (Université de Sherbrooke GRIL), Régine Laleau (Université Paris-Est LACL), Frédéric Gervais (Université Paris-Est LACL)

Comments: In Proceedings Refine'15, arXiv:1606.01344

Journal-ref: EPTCS 209, 2016, pp. 1-16

Subjects: Software Engineering (cs.SE)

[15] arXiv:1606.02025 [pdf, other]

Title: Evidences of the mismatch between industry and academy on modelling language quality evaluation

Fáber D. Giraldo, Sergio España, Óscar Pastor

Comments: Technical report

Subjects: Software Engineering (cs.SE)

[16] arXiv:1606.02119 [pdf, other]

Title: Evaluating a Development Framework for Engineering Internet of Things Applications

Pankesh Patel, Tie Luo, Umesh Bellur

Comments: 12 pages, Technical report. arXiv admin note: substantial text overlap with arXiv:1501.05080

Subjects: Software Engineering (cs.SE)

[17] arXiv:1606.02311 [pdf, other]

Title: A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory

Amine Achouri, Leila Jemni ben Ayed

Comments: 6 pages, 2 figures, 2013

Journal-ref: International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 3.30, 2013

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

[18] arXiv:1606.02347 [pdf, other]

Title: Industrial Strength Formal Using Abstractions

Ashish Darbari, Iain Singleton

Comments: 23 pages, 6 figures, minor revisions

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

[19] arXiv:1606.02442 [pdf, other]

Title: An Approach for Isolated Testing of Self-Organization Algorithms

Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif

Comments: Preprint of Eberhardinger, B., Anders, G., Seebach, H., Siefert, F., Knapp, A., Reif, W.: An approach for isolated testing of self-organization algorithms. In: de Lemos, R., et al. (eds.) Software Engineering for Self-Adaptive Systems III, LNCS, vol. 9640. Springer (2016)

Subjects: Software Engineering (cs.SE)

[20] arXiv:1606.02669 [pdf, other]

Title: Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements

Tim Wahls

Subjects: Software Engineering (cs.SE)

[21] arXiv:1606.02882 [pdf, other]

Title: NESTML: a modeling language for spiking neurons

Dimitri Plotnikov, Bernhard Rumpe, Inga Blundell, Tammo Ippen, Jochen Martin Eppler, Abgail Morrison

Comments: 16 pages, 5 figures, Modellierung 2016 Conference

Subjects: Software Engineering (cs.SE)

[22] arXiv:1606.02903 [pdf, other]

Title: Modeling Variability in Template-based Code Generators for Product Line Engineering

Timo Greifenberg, Klaus Müller, Alexander Roth, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann

Comments: 16 pages, 3 figures, Modellierung 2016 Conference

Journal-ref: Modellierung 2016 Conference

Subjects: Software Engineering (cs.SE)

[23] arXiv:1606.03266 [pdf, other]

Title: Watch out for This Commit! A Study of Influential Software Changes

Daoyuan Li, Li Li, Dongsun Kim, Tegawendé F. Bissyandé, David Lo, Yves Le Traon

Subjects: Software Engineering (cs.SE)

[24] arXiv:1606.04036 [pdf, other]

Title: Microservices: yesterday, today, and tomorrow

Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina

Subjects: Software Engineering (cs.SE)

[25] arXiv:1606.04287 [pdf, other]

Title: Business Matter Experts do Matter: A Model-Driven Approach for Domain Specific Process Design and Monitoring

Adrian Mos, Mario Cortes-Cornax

Comments: camera-ready author version for the BPM conference full paper in the Forum track

Subjects: Software Engineering (cs.SE)