Software Engineering

Authors and titles for March 2015

[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)