Software Engineering

Authors and titles for March 2015

[1] arXiv:1503.00102 [pdf, other]

Title: CARP: Context-Aware Reliability Prediction of Black-Box Web Services

Jieming Zhu, Pinjia He, Qi Xie, Zibin Zheng, Michael R. Lyu

Comments: This paper has been published at International Conference on Web Services (ICWS'17)

Subjects: Software Engineering (cs.SE)

[2] arXiv:1503.00493 [pdf, other]

Title: Real-Time Model Checking Support for AADL

B Berthomieu (LAAS), J.-P Bodeveix (IRIT), S Dal Zilio (LAAS), M Filali (IRIT), D Le Botlan (LAAS), G Verdier (IRIT), F Vernadat (LAAS)

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

[3] arXiv:1503.00711 [pdf, other]

Title: Smelling out Code Clones: Clone Detection Tool Evaluation and Corresponding Challenges

Rachel Gauci

Comments: 8 pages, 2 figures

Subjects: Software Engineering (cs.SE)

[4] arXiv:1503.02007 [pdf, other]

Title: Qualitative Analysis of Integration Adapter Modeling

Daniel Ritter, Manuel Holzleitner

Comments: 7 pages, Quantitative Analysis of Adapter Types and Tasks and Qualitative Modeling User Studies

Subjects: Software Engineering (cs.SE)

[5] arXiv:1503.02388 [pdf, other]

Title: Reproducibility in Research: Systems, Infrastructure, Culture

Tom Crick, Benjamin A. Hall, Samin Ishtiaq

Comments: Invited submission to Journal of Open Research Software; 12 pages, LaTeX

Subjects: Software Engineering (cs.SE); Computational Engineering, Finance, and Science (cs.CE); Computers and Society (cs.CY)

[6] arXiv:1503.02997 [pdf, other]

Title: Spreadsheets in an ERP environment: not what the doctor ordered

No'am Newman

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (this http URL)

Subjects: Software Engineering (cs.SE)

[7] arXiv:1503.03122 [pdf, other]

Title: Structured Spreadsheet Modeling and Implementation

Paul Mireault

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets

Subjects: Software Engineering (cs.SE)

[8] arXiv:1503.03195 [pdf, other]

Title: Reconciling a component and process view

Maria Spichkova, Heinz Schmidt

Comments: Preprint, 7th International Workshop on Modeling in Software Engineering (MiSE) at ICSE 2015

Subjects: Software Engineering (cs.SE)

[9] arXiv:1503.03202 [pdf, other]

Title: Proiectarea si implementarea unui portal HL7

Marius Cristian Cerlinca, Tudor Ioan Cerlinca, Cristina Elena Turcu, Remus Catalin Prodan, Felicia Florentina Giza-Belciug

Comments: 4 pages, in Romanian; Distributed Systems (2009) Suceava

Subjects: Software Engineering (cs.SE)

[10] arXiv:1503.03267 [pdf, other]

Title: Using Calculation Fragments for Spreadsheet Testing and Debugging

Dietmar Jannach, Thomas Schmitz

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (this http URL)

Subjects: Software Engineering (cs.SE)

[11] arXiv:1503.03378 [pdf, other]

Title: Browserbite: Cross-Browser Testing via Image Processing

Tõnis Saar, Marlon Dumas, Marti Kaljuve, Nataliia Semenenko

Comments: 28 pages, 16 figures

Subjects: Software Engineering (cs.SE)

[12] arXiv:1503.03401 [pdf, other]

Title: Toward Reverse Engineering of VBA Based Excel Spreadsheet Applications

Domenico Amalfitano, Nicola Amatucci, Vincenzo De Simone, Anna Rita Fasolino, Porfirio Tramontana

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (this http URL)

Subjects: Software Engineering (cs.SE)

[13] arXiv:1503.03463 [pdf, other]

Title: Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets

Pedro Maia, Jorge Mendes, Jácome Cunha, Henrique Rebêlo, João Saraiva

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (this http URL)

Subjects: Software Engineering (cs.SE)

[14] arXiv:1503.03511 [pdf, other]

Title: Cross platform app: a comparative study

Paulo R. M. de Andrade, Adriano B. Albuquerque, Otávio F. Frota, Robson V Silveira, Fátima A. da Silva

Comments: 8 pages, 3 figures, 2 tables in International Journal of Computer Science & Information Technology (IJCSIT) Vol 7, No 1, February 2015

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

[15] arXiv:1503.03584 [pdf, other]

Title: Human Factors in Software Reliability Engineering

Maria Spichkova, Huai Liu, Mohsen Laali, Heinz W. Schmidt

Comments: Preprint, Workshop on Applications of Human Error Research to Improve Software Engineering (WAHESE) at ICSE 2015

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

[16] arXiv:1503.04055 [pdf, other]

Title: Enron versus EUSES: A Comparison of Two Spreadsheet Corpora

Bas Jansen

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets

Subjects: Software Engineering (cs.SE)

[17] arXiv:1503.04215 [pdf, other]

Title: Spreadsheets for Stream Partitions and Windows

Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (this http URL)

Subjects: Software Engineering (cs.SE)

[18] arXiv:1503.04378 [pdf, other]

Title: Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures

Bara Buhnova, Lucia Happe, Jan Kofroň

Journal-ref: EPTCS 178, 2015

Subjects: Software Engineering (cs.SE)

[19] arXiv:1503.04912 [pdf, other]

Title: Improving Runtime Overheads for detectEr

Ian Cassar (University of Malta), Adrian Francalanza (University of Malta), Simon Said (University of Malta)

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 1-8

Subjects: Software Engineering (cs.SE)

[20] arXiv:1503.04915 [pdf, other]

Title: Using Model-Checking Techniques for Component-Based Systems with Reconfigurations

Jean-Michel Hufflen (FEMTO-ST & University of Franche-Comté)

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 33-46

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

[21] arXiv:1503.04916 [pdf, other]

Title: A Model of Layered Architectures

Diego Marmsoler (Technische Universitaet Muenchen), Alexander Malkis (Technische Universitaet Muenchen), Jonas Eckhardt (Technische Universitaet Muenchen)

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 47-61

Subjects: Software Engineering (cs.SE)

[22] arXiv:1503.04917 [pdf, other]

Title: A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems

Vasileios Koutsoumpas (TUM)

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 62-76

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

[23] arXiv:1503.04957 [pdf, other]

Title: Conformance Checking Based on Multi-Perspective Declarative Process Models

Andrea Burattin, Fabrizio Maria Maggi, Alessandro Sperduti

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

[24] arXiv:1503.05171 [pdf, other]

Title: Modeling and Analyzing Release Trajectory based on the Process of Issue Tracking

Hani Abdeen, Houari Sahraoui

Comments: DIRO technical report, draft, undersubmission

Subjects: Software Engineering (cs.SE)

[25] arXiv:1503.05366 [pdf, other]

Title: Project portfolio selection: Multi-criteria analysis and interactions between projects

Khadija BENAIJA, Laila KJIRI

Journal-ref: K. Benaija, and L. Kjiri, Project portfolio selection: Multi-criteria analysis and interactions between projects. International Journal of Computer Science Issues, Vol. 11, Issue 6, 2014, pp. 134-143

Subjects: Software Engineering (cs.SE)

[26] arXiv:1503.05493 [pdf, other]

Title: Testability Measurement Model for Object Oriented Design (TMMOOD)

M.H. Khan Abdullah, Reena Srivastava

Comments: 10

Journal-ref: International Journal of Computer Science & Information Technology (IJCSIT) Vol 7, No 1, February 2015

Subjects: Software Engineering (cs.SE)

[27] arXiv:1503.05533 [pdf, other]

Title: Fundamental Analysis of a Developer Support Chat Log for Identifying Process Improvement Opportunities

Zádor Dániel Kelemen

Comments: 13 pages

Subjects: Software Engineering (cs.SE)

[28] arXiv:1503.05807 [pdf, other]

Title: DSpot: Test Amplification for Automatic Assessment of Computational Diversity

Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus

Comments: 12 pages

Subjects: Software Engineering (cs.SE)

[29] arXiv:1503.06934 [pdf, other]

Title: Measuring Software Quality in Use: State-of-the-Art and Research Challenges

Issa Atoum, Chih How Bong

Comments: 4 Figures

Journal-ref: ASQ.Software Quality Professional, 17(2), 2015

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

[30] arXiv:1503.07132 [pdf, other]

Title: Pragmatic Requirements for Adaptive Systems: a Goal-Driven Modelling and Analysis Approach

Felipe Pontes Guimarães, Genaina Nunes Rodrigues, Raian Ali, Daniel Macêdo Batista

Subjects: Software Engineering (cs.SE)

[31] arXiv:1503.07217 [pdf, other]

Title: Automated Test Input Generation for Android: Are We There Yet?

Shauvik Roy Choudhary, Alessandra Gorla, Alessandro Orso

Subjects: Software Engineering (cs.SE)

[32] arXiv:1503.07235 [pdf, other]

Title: A Formal Study on Backward Compatible Dynamic Software Updates

Jun Shen, Rida A. Bazzi

Subjects: Software Engineering (cs.SE)

[33] arXiv:1503.07266 [pdf, other]

Title: Towards Controlling Refinements of Statecharts

Conner Hansen, Eugene Syriani, Levi Lucio

Comments: In Poster Proceedings of 6th Conference on Software Language Engineering (SLE) 2013 (this http URL)

Subjects: Software Engineering (cs.SE)

[34] arXiv:1503.07626 [pdf, other]

Title: Building the distributed WPS-services execution environment

Igor Bychkov, Gennady Ruzhnikov, Roman Fedorov, Alexander Shumilov

Comments: 17 pages

Subjects: Software Engineering (cs.SE)

[35] arXiv:1503.07713 [pdf, other]

Title: A method for business process reengineering based on enterprise ontology

Pedram Bahramnejad, Sayed Mehran Sharafi, Akbar Nabiollahi

Comments: 15 pages, published in IJSEA

Subjects: Software Engineering (cs.SE)

[36] arXiv:1503.07737 [pdf, other]

Title: Business Rule Mining from Spreadsheets

Sohon Roy

Comments: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (this http URL)

Subjects: Software Engineering (cs.SE)

[37] arXiv:1503.08476 [pdf, other]

Title: Guided Grammar Convergence

Vadim Zaytsev

Comments: In Poster Proceedings of 6th Conference on Software Language Engineering (SLE) 2013, this http URL

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

[38] arXiv:1503.08504 [pdf, other]

Title: Investigating the Impact of Metric Aggregation Techniques on Defect Prediction

Rawad Abou Assi

Subjects: Software Engineering (cs.SE)

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

Title: DAG-width of Control Flow Graphs with Applications to Model Checking

Therese Biedl, Sebastian Fischmeister, Neeraj Kumar

Comments: 12 pages, 4 figures

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

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

Title: Node.DPWS: High performance and scalable Web Services for the IoT

Konstantinos Fysarakis (1), Damianos Mylonakis (2), Charalampos Manifavas (3), Ioannis Papaefstathiou (1) ((1) Dept. of Electronic & Computer Engineering, Technical University of Crete, Greece, (2) Dept. of Computer Science, University of Crete, Greece, (3) Dept. of Informatics Engineering, Technological Educational Institute of Crete, Greece)

Comments: 12 pages, 1 table, 3 figures, for associated libraries, see this https URL and this https URL. This work has been submitted to the IEEE for possible publication

Subjects: Networking and Internet Architecture (cs.NI); Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: Tools and Models for High Level Parallel and Grid Programming

Patrizio Dazzi

Comments: PhD Thesis, 2008, IMT Institute for Advanced Studies, Lucca. arXiv admin note: text overlap with arXiv:1002.2722 by other authors

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

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

Title: Capturing, Documenting and Visualizing Search Contexts for building Multimedia Corpora

Zeon Trevor Fernando

Comments: Undergraduate (this http URL Hons, Computer Science) Thesis Report, 2014, Vellore Institute of Technology, India

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

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

Title: Proceedings Seventh Workshop on Intersection Types and Related Systems

Jakob Rehof (TU-Dortmund)

Journal-ref: EPTCS 177, 2015

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

[44] arXiv:1503.04501 (cross-list from physics.comp-ph) [pdf, other]

Title: Computer Assisted Parallel Program Generation

Shigeo Kawata

Comments: 10 pages and 8 figures. Prepared for a book entitled "Encyclopedia of Information Science and Technology", IGI global

Subjects: Computational Physics (physics.comp-ph); Mathematical Software (cs.MS); Software Engineering (cs.SE)

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

Title: Typing Classes and Mixins with Intersection Types

Jan Bessai (Technical University of Dortmund), Boris Düdder (Technical University of Dortmund), Andrej Dudenhefner (Technical University of Dortmund), Tzu-Chun Chen (Technical University of Darmstadt), Ugo de'Liguoro (University of Torino)

Comments: In Proceedings ITRS 2014, arXiv:1503.04377

Journal-ref: EPTCS 177, 2015, pp. 79-93

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

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

Title: Path-Based Program Repair

Heinz Riener, Rüdiger Ehlers, Görschwin Fey

Comments: In Proceedings FESCA 2015, arXiv:1503.04378

Journal-ref: EPTCS 178, 2015, pp. 22-32

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

[47] arXiv:1503.05508 (cross-list from cs.AI) [pdf, other]

Title: Exploration of the scalability of LocFaults approach for error localization with While-loops programs

Mohammed Bekkouche

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

[48] arXiv:1503.05530 (cross-list from cs.AI) [pdf, other]

Title: Exploration of the scalability of LocFaults

Mohammed Bekkouche

Comments: in French

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

[49] arXiv:1503.06630 (cross-list from cs.NI) [pdf, other]

Title: Metadata in SDN API

Dmitry Namiot, Manfred Sneps-Sneppe

Comments: submitted to EuCNC 2015

Subjects: Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)

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

Title: On data skewness, stragglers, and MapReduce progress indicators

Emilio Coppa, Irene Finocchi

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