Software Engineering

Authors and titles for January 2017

[1] arXiv:1701.00108 [pdf, other]

Title: Parichayana: An Eclipse Plugin for Detecting Exception Handling Anti-Patterns and Code Smells in Java Programs

Ashish Sureka

Comments: Tools Demo Paper (paper provides links to the video demo and source code)

Subjects: Software Engineering (cs.SE)

[2] arXiv:1701.00117 [pdf, other]

Title: An initial performance review of software components for a heterogeneous computing platform

Ivan Švogor

Subjects: Software Engineering (cs.SE)

[3] arXiv:1701.00123 [pdf, other]

Title: SCALL: Software Component Allocator for Heterogeneous Embedded Systems

Ivan Svogor, Jan Carlson

Subjects: Software Engineering (cs.SE)

[4] arXiv:1701.00416 [pdf, other]

Title: On the Interaction of Relational Database Access Technologies in Open Source Java Projects

Alexandre Decan, Mathieu Goeminne, Tom Mens

Comments: Postproceeding of the SATTOSE 2015 Research Seminar on Advanced Tools and Techniques for Software Evolution. To be published in this http URL workshop proceedings (2017)

Subjects: Software Engineering (cs.SE)

[5] arXiv:1701.00630 [pdf, other]

Title: Source Code Verification for Embedded Systems using Prolog

Frank Flederer (University of Wuerzburg), Ludwig Ostermayer (University of Wuerzburg), Dietmar Seipel (University of Wuerzburg), Sergio Montenegro (University of Wuerzburg)

Comments: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.00148

Journal-ref: EPTCS 234, 2017, pp. 88-103

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

[6] arXiv:1701.00960 [pdf, other]

Title: An Event-B framework for the validation of Event-B refinement plugins

Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri, Badr Siala

Comments: Event-B day 2016, Tokyo

Subjects: Software Engineering (cs.SE)

[7] arXiv:1701.01535 [pdf, other]

Title: High-Assurance Separation Kernels: A Survey on Formal Methods

Yongwang Zhao, David Sanan, Fuyuan Zhang, Yang Liu

Comments: 35 pages, 5 figures, 13 tables

Subjects: Software Engineering (cs.SE)

[8] arXiv:1701.01673 [pdf, other]

Title: Formal Proof of the Weak Goodstein Theorem

Jean-Raymond Abrial

Comments: Event-B day 2016, Tokyo

Subjects: Software Engineering (cs.SE)

[9] arXiv:1701.01675 [pdf, other]

Title: Pareto Efficient Multi Objective Optimization for Local Tuning of Analogy Based Estimation

Mohammad Azzeh, Ali Bou Nassif, Shadi Banitaan, Fadi Almasalha

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

[10] arXiv:1701.02220 [pdf, other]

Title: MatlabCompat.jl: helping Julia understand Your Matlab/Octave Code

Vardan Andriasyan, Yauhen Yakimovich, Artur Yakimovich

Comments: 20 pages, 3 figures, 1 table; *correspondence: this http URL@uzh.ch, this http URL@ucl.this http URL

Subjects: Software Engineering (cs.SE); Quantitative Methods (q-bio.QM)

[11] arXiv:1701.02344 [pdf, other]

Title: Database Engines: Evolution of Greenness

Andriy V. Miranskyy, Zainab Al-zanbouri, David Godwin, Ayse Basar Bener

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

[12] arXiv:1701.02952 [pdf, other]

Title: Unhappy Developers: Bad for Themselves, Bad for Process, and Bad for Software Product

Daniel Graziotin, Fabian Fagerholm, Xiaofeng Wang, Pekka Abrahamsson

Comments: 3 pages. To appear as a poster paper in the Proceedings of the 39th International Conference on Software Engineering (ICSE '17). Full paper available as arXiv:1701.05789 [cs.SE]

Journal-ref: In Proceedings of the 39th International Conference on Software Engineering Companion (ICSE-C '17), 2017. IEEE Press, Piscataway, NJ, USA, 362-364

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

[13] arXiv:1701.03249 [pdf, other]

Title: Log-based Anomaly Detection of CPS Using a Statistical Method

Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, Eun-Hye Choi

Journal-ref: IWESEP 2017, Proceedings of 8th IEEE International Workshop on Empirical Software Engineering in Practice

Subjects: Software Engineering (cs.SE)

[14] arXiv:1701.04064 [pdf, other]

Title: Basis to develop a platform for multiple-scale complex systems modeling and visualization: MoNet

Gerardo L. Febres

Comments: 13 pages, 12 figures, 0 table

Journal-ref: J Multidis Res Rev Vol: 1, Issu: 2 (35-46) 2019

Subjects: Software Engineering (cs.SE)

[15] arXiv:1701.04481 [pdf, other]

Title: A Tutorial on Using Dafny to Construct Verified Software

Paqui Lucio

Comments: In Proceedings PROLE 2016, arXiv:1701.03069

Journal-ref: EPTCS 237, 2017, pp. 1-19

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

[16] arXiv:1701.05327 [pdf, other]

Title: Bringing Back-in-Time Debugging Down to the Database

Arian Treffer, Michael Perscheid, Matthias Uflacker

Comments: 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering

Subjects: Software Engineering (cs.SE)

[17] arXiv:1701.05453 [pdf, other]

Title: Software Architectures for Robotics Systems: A Systematic Mapping Study

Aakash Ahmad, Muhammad Ali Babar

Journal-ref: Journal of Systems and Software, 122, pp. 16-39 (2016)

Subjects: Software Engineering (cs.SE)

[18] arXiv:1701.05467 [pdf, other]

Title: Healing Data Loss Problems in Android Apps

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Comments: IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2016

Subjects: Software Engineering (cs.SE)

[19] arXiv:1701.05472 [pdf, other]

Title: Do Code Clones Matter?

Elmar Juergens, Florian Deissenboeck, Benjamin Hummel, Stefan Wagner

Comments: 12 pages, 7 figures in Proc. 31st International Conference on Software Engineering (ICSE '09). IEEE, 2009

Journal-ref: Proc. 31st International Conference on Software Engineering (ICSE '09). IEEE, 2009

Subjects: Software Engineering (cs.SE)

[20] arXiv:1701.05497 [pdf, other]

Title: Where do we stand in requirements engineering improvement today? First results from a mapping study

Daniel Méndez Fernández, Saahil Ognawala, Stefan Wagner, Maya Daneva

Comments: 5 pages, 2 figures in Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM'14). ACM, 2014

Journal-ref: Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM'14). ACM, 2014

Subjects: Software Engineering (cs.SE)

[21] arXiv:1701.05648 [pdf, other]

Title: NLP2Code: Code Snippet Content Assist via Natural Language Tasks

Brock Angus Campbell, Christoph Treude

Comments: tool demo video available at this https URL to appear as a tool demo paper at ICSME 2017 (this https URL)

Subjects: Software Engineering (cs.SE)

[22] arXiv:1701.05739 [pdf, other]

Title: Towards the Assessment of Stress and Emotional Responses of a Salutogenesis-Enhanced Software Tool Using Psychophysiological Measurements

Jan-Peter Ostberg, Daniel Graziotin, Stefan Wagner, Birgit Derntl

Comments: 5 pages, 1 figure. To be presented at the Second International Workshop on Emotion Awareness in Software Engineering, colocated with the 39th International Conference on Software Engineering (ICSE'17)

Journal-ref: 2017 IEEE/ACM 2nd International Workshop on Emotion Awareness in Software Engineering (SEmotion), Buenos Aires, Argentina, 2017, pp. 22-25

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[23] arXiv:1701.05747 [pdf, other]

Title: Systematic Mapping Protocol: The impact of using software patterns during requirements engineering activities in real-world settings

José L. Barros-Justo, Ania L. Cravero-Leal, Fabiane B. V. Benitti, Rafael Capilla-Sevilla

Subjects: Software Engineering (cs.SE)

[24] arXiv:1701.05789 [pdf, other]

Title: Consequences of Unhappiness While Developing Software

Daniel Graziotin, Fabian Fagerholm, Xiaofeng Wang, Pekka Abrahamsson

Comments: 6 pages. To be presented at the Second International Workshop on Emotion Awareness in Software Engineering, colocated with the 39th International Conference on Software Engineering (ICSE'17). Extended version of arXiv:1701.02952v2 [cs.SE]

Journal-ref: 2017 IEEE/ACM 2nd International Workshop on Emotion Awareness in Software Engineering (SEmotion), Buenos Aires, Argentina, 2017, pp. 42-47

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

[25] arXiv:1701.05940 [pdf, other]

Title: ImageJ2: ImageJ for the next generation of scientific image data

Curtis T. Rueden, Johannes Schindelin, Mark C. Hiner, Barry E. DeZonia, Alison E. Walter, Ellen T. Arena, Kevin W. Eliceiri

Subjects: Software Engineering (cs.SE); Quantitative Methods (q-bio.QM)