Software Engineering

Authors and titles for July 2018

[1] arXiv:1807.00003 [pdf, other]

Title: Probabilistic Analysis of Weakly-Hard Real-Time Systems

Eun-Young Kang, Dongrui Mu, Li Huang

Comments: 47 pages, 43 figures, technical report of IFM2018. arXiv admin note: substantial text overlap with arXiv:1806.07702

Subjects: Software Engineering (cs.SE)

[2] arXiv:1807.00182 [pdf, other]

Title: EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers

Yuanliang Chen, Yu Jiang, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Zhuo Su, Xun Jiao

Comments: 18 pages, 11 figures

Subjects: Software Engineering (cs.SE)

[3] arXiv:1807.00515 [pdf, other]

Title: Automatic Software Repair: a Bibliography

Martin Monperrus

Journal-ref: ACM Computing Surveys, Association for Computing Machinery, 2017

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Programming Languages (cs.PL)

[4] arXiv:1807.00518 [pdf, other]

Title: App Store 2.0: From Crowd Information to Actionable Feedback in Mobile Ecosystems

María Gómez, Bram Adams, Walid Maalej, Martin Monperrus, Romain Rouvoy

Journal-ref: IEEE Software, Institute of Electrical and Electronics Engineers, 2017, 34, pp.81-89

Subjects: Software Engineering (cs.SE)

[5] arXiv:1807.00617 [pdf, other]

Title: Using mobile service for supply chain management : a survey and challenges

Selwa Elfirdoussi

Subjects: Software Engineering (cs.SE)

[6] arXiv:1807.01632 [pdf, other]

Title: Teaching DevOps in Corporate Environments: An experience report

Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov

Comments: Published in DEVOPS 2018 workshop

Subjects: Software Engineering (cs.SE)

[7] arXiv:1807.01662 [pdf, other]

Title: Implementing SCRUM to develop a connected robot

Diego Armando Diaz Vargas (LAAS-ISI), Rui Xue (LAAS-ISI), Claude Baron (RAPSODEE), Philippe Esteban (LAAS-ISI), Rob Vingerhoeds (DISC), Y Citlalih, Chao Liu (DEXTER)

Journal-ref: 12th International Conference on Modeling, Optimization and SIMulation - MOSIM'18, Jun 2018, Toulouse, France. 2018

Subjects: Software Engineering (cs.SE)

[8] arXiv:1807.01748 [pdf, other]

Title: Significant acceleration of development by automating quality assurance of a medical particle accelerator safety system using a formal language driven test stand

Pablo Fernandez Carmona, Michael Eichin, Alexandre Mayor, Harald Regele, Martin Grossmann, Damien Charles Weber

Comments: 6 pages, 9 figures, 21st IEEE Real Time Conference, 9-15 June 2018 Colonial Williamsburg, USA

Subjects: Software Engineering (cs.SE)

[9] arXiv:1807.01772 [pdf, other]

Title: Mapping the research software sustainability space

Stephan Druskat, Daniel S. Katz

Comments: 5 pages, 3 figures, 1 table, accepted as a long paper for the 9th International Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE6.1), co-locating with IEEE eScience 2018

Subjects: Software Engineering (cs.SE)

[10] arXiv:1807.01851 [pdf, other]

Title: Impact of Continuous Integration on Code Reviews

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: International Conference on Mining Software Repositories (MSR 2017), pp. 499--502, Buenos Aires, Argentina, May, 2017

Journal-ref: International Conference on Mining Software Repositories (MSR 2017), pp. 499--502, Buenos Aires, Argentina, May, 2017

Subjects: Software Engineering (cs.SE)

[11] arXiv:1807.01853 [pdf, other]

Title: An Insight into the Pull Requests of GitHub

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: 11th Working Conference on Mining Software Repositories (MSR 2014), pp. 364--367, Hyderabad, India, May 2014

Subjects: Software Engineering (cs.SE)

[12] arXiv:1807.01857 [pdf, other]

Title: An IDE-Based Context-Aware Meta Search Engine

Mohammad Masudur Rahman, Shamima Yeasmin, Chanchal K. Roy

Comments: 20th Working Conference on Reverse Engineering (WCRE 2013), Koblenz, Germany, October 2013, pp. 467--471

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

[13] arXiv:1807.01923 [pdf, other]

Title: Towards Classification of Lightweight Formal Methods

Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas, Peter Herrmann, Jan Olaf Blech

Comments: Preprint. Accepted to the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013). Final version published by SCITEPRESS

Subjects: Software Engineering (cs.SE)

[14] arXiv:1807.01928 [pdf, other]

Title: FocusST Solution for Analysis of Cryptographic Properties

Maria Spichkova, Radhika Bhat

Comments: Preprint. Accepted to the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018). Final version published by SCITEPRESS

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)

[15] arXiv:1807.01930 [pdf, other]

Title: Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia

Tawfeeq Alsanoosy, Maria Spichkova, James Harland

Comments: Preprint. Accepted to the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018). Final version published by SCITEPRESS

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

[16] arXiv:1807.01974 [pdf, other]

Title: What Stays in Mind? - Retention Rates in Programming MOOCs

Ralf Teusner, Christoph Matthies, Thomas Staubitz

Journal-ref: 2018 IEEE Frontiers in Education Conference (FIE), San Jose, CA, USA, 2018, pp. 1-9

Subjects: Software Engineering (cs.SE)

[17] arXiv:1807.02255 [pdf, other]

Title: Towards a Context-Aware IDE-Based Meta Search Engine for Recommendation about Programming Errors and Exceptions

Mohammad Masudur Rahman, Shamima Yeasmin, Chanchal K. Roy

Comments: IEEE CSMR-18/WCRE-21 Software Evolution Week (CSMR-WCRE 2014), pp. 194--203, Antwerp, Belgium, February 2014

Journal-ref: Proc. CSMR-WCRE 2014, pp. 194--203

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

[18] arXiv:1807.02256 [pdf, other]

Title: SurfClipse: Context-Aware Meta Search in the IDE

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: The 30th International Conference on Software Maintenance and Evolution (ICSME 2014), pp. 617--620, Victoria, Canada, September 2014

Journal-ref: Proc. ICSME 2014, pp. 617--620

Subjects: Software Engineering (cs.SE)

[19] arXiv:1807.02261 [pdf, other]

Title: On the Use of Context in Recommending Exception Handling Code Examples

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: The 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014), pp. 285--294, Victoria, Canada, September 2014

Journal-ref: Proc. SCAM 2014, pp. 285--294

Subjects: Software Engineering (cs.SE)

[20] arXiv:1807.02263 [pdf, other]

Title: TextRank Based Search Term Identification for Software Change Tasks

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: The 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015), pp. 540--544, Montreal, Canada, March 2015

Journal-ref: Proc. SANER 2015, pp. 540--544

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

[21] arXiv:1807.02274 [pdf, other]

Title: Recommending Relevant Sections from a Webpage about Programming Errors and Exceptions

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: 25th Annual International Conference on Computer Science and Software Engineering (CASCON 2015), pp. 181--190, Markham, Canada, November 2015

Journal-ref: Proc. CASCON 2015, pp. 181--190

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

[22] arXiv:1807.02278 [pdf, other]

Title: Recommending Insightful Comments for Source Code using Crowdsourced Knowledge

Mohammad Masudur Rahman, Chanchal K. Roy, Iman Keivanloo

Comments: The 15th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2015), pp. 81--90, Bremen, Germany, September 2015

Journal-ref: Proc. SCAM 2015, pp. 81--90

Subjects: Software Engineering (cs.SE)

[23] arXiv:1807.02282 [pdf, other]

Title: CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software

Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu

Subjects: Software Engineering (cs.SE)

[24] arXiv:1807.02400 [pdf, other]

Title: Beyond Surveys: Analyzing Software Development Artifacts to Assess Teaching Efforts

Christoph Matthies, Ralf Teusner, Guenter Hesse

Journal-ref: 2018 IEEE Frontiers in Education Conference (FIE), San Jose, CA, USA, 2018, pp. 1-9

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

[25] arXiv:1807.02798 [pdf, other]

Title: Formal Semantics of Architectural Decision Models

Marcin Szlenk

Comments: 14 pages

Subjects: Software Engineering (cs.SE)

[26] arXiv:1807.02953 [pdf, other]

Title: RACK: Automatic API Recommendation using Crowdsourced Knowledge

Mohammad Masudur Rahman, Chanchal K. Roy, David Lo

Comments: The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), pp. 349--359, Osaka, Japan, March 2016

Journal-ref: Proc. SANER 2016, pp. 349--359

Subjects: Software Engineering (cs.SE)

[27] arXiv:1807.02964 [pdf, other]

Title: QUICKAR: Automatic Query Reformulation for Concept Location using Crowdsourced Knowledge

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), pp. 220--225, Singapore, September 2016

Journal-ref: Proc. ASE 2016, pp. 220--225

Subjects: Software Engineering (cs.SE)

[28] arXiv:1807.02965 [pdf, other]

Title: CORRECT: Code Reviewer Recommendation in GitHub Based on Cross-Project and Technology Experience

Mohammad Masudur Rahman, Chanchal K. Roy, Jason A. Collins

Comments: The 38th International Conference on Software Engineering (Companion volume) (ICSE 2016), pp. 222--231, Austin Texas, USA, May 2016

Journal-ref: Proc. ICSE-C 2016, pp. 222--231

Subjects: Software Engineering (cs.SE)

[29] arXiv:1807.02971 [pdf, other]

Title: A Longitudinal Cohort Study on the Retainment of Test-Driven Development

Davide Fucci, Simone Romano, Maria Teresa Baldassarre, Danilo Caivano, Giuseppe Scanniello, Burak Thuran, Natalia Juristo

Comments: ESEM, October 2018, Oulu, Finland

Subjects: Software Engineering (cs.SE)

[30] arXiv:1807.03197 [pdf, other]

Title: Catalog of Formalized Application Integration Patterns

Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha

Comments: 5 pages, example implementations (correct and incorrect) can be found in this https URL

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

[31] arXiv:1807.03200 [pdf, other]

Title: The CodRep Machine Learning on Source Code Competition

Zimin Chen, Martin Monperrus

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)

[32] arXiv:1807.03329 [pdf, other]

Title: CANAL: A Cache Timing Analysis Framework via LLVM Transformation

Chungha Sung, Brandon Paulsen, Chao Wang

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Programming Languages (cs.PL)

[33] arXiv:1807.03512 [pdf, other]

Title: Practical Program Repair via Bytecode Mutation

Ali Ghanbari, Lingming Zhang

Subjects: Software Engineering (cs.SE)

[34] arXiv:1807.03649 [pdf, other]

Title: Rule- and context-based dynamic business process modelling and simulation

Olegas Vasilecas, Diana Kalibatiene, Dejan Lavbič

Comments: 22 pages, 4 figures, 3 tables

Journal-ref: Journal of Systems and Software 122 (2016) 1-15

Subjects: Software Engineering (cs.SE)

[35] arXiv:1807.03777 [pdf, other]

Title: Datalog-based Scalable Semantic Diffing of Concurrent Programs

Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang

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

[36] arXiv:1807.03837 [pdf, other]

Title: Understanding Differences among Executions with Variational Traces

Jens Meinicke, Chu-Pan Wong, Christian Kästner, Gunter Saake

Subjects: Software Engineering (cs.SE)

[37] arXiv:1807.03932 [pdf, other]

Title: ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection

Bo Jiang, Ye Liu, W.K. Chan

Comments: To appear in ASE 2018, Montpellier, France. 10 pages

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)

[38] arXiv:1807.04072 [pdf, other]

Title: Building a Sustainable Structure for Research Software Engineering Activities

Jeremy Cohen, Daniel S. Katz, Michelle Barker, Robert Haines, Neil Chue Hong

Comments: 5 pages, 1 figure, submitted to the 9th International Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE6.1)

Subjects: Software Engineering (cs.SE)

[39] arXiv:1807.04090 [pdf, other]

Title: Facilitating Ontology Development with Continuous Evaluation

Dejan Lavbič, Marjan Krisper

Comments: 17 pages, 8 figures

Journal-ref: Informatica 21 (2010) 533-552

Subjects: Software Engineering (cs.SE)

[40] arXiv:1807.04100 [pdf, other]

Title: The Effect of Noise on Sofware Engineers' Performance

Simone Romano, Giuseppe Scanniello, Davide Fucci, Natalia Juristo, Burak Turhan

Comments: ESEM18, Oulu (Finland), October 2018

Subjects: Software Engineering (cs.SE)

[41] arXiv:1807.04130 [pdf, other]

Title: CORRECT: Code Reviewer Recommendation at GitHub for Vendasta Technologies

Mohammad Masudur Rahman, Chanchal K. Roy, Jesse Redl, Jason A. Collins

Comments: The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), pp. 792--797, Singapore, September 2016. arXiv admin note: substantial text overlap with arXiv:1807.02965

Journal-ref: Proc. ASE 2016, pp. 792--797

Subjects: Software Engineering (cs.SE)

[42] arXiv:1807.04475 [pdf, other]

Title: STRICT: Information Retrieval Based Search Term Identification for Concept Location

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: The 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017), pp. 79--90, Klagenfurt, Austria, February 2017

Journal-ref: Proc. SANER 2017, pp. 79--90

Subjects: Software Engineering (cs.SE)

[43] arXiv:1807.04479 [pdf, other]

Title: RACK: Code Search in the IDE using Crowdsourced Knowledge

Mohammad Masudur Rahman, Chanchal K. Roy, David Lo

Comments: The 39th International Conference on Software Engineering (Companion volume) (ICSE 2017), pp. 51--54, Buenos Aires, Argentina, May, 2017

Journal-ref: Proc. ICSE-C 2017, pp. 51--54

Subjects: Software Engineering (cs.SE)

[44] arXiv:1807.04485 [pdf, other]

Title: Predicting Usefulness of Code Review Comments using Textual Features and Developer Experience

Mohammad Masudur Rahman, Chanchal K. Roy, Raula G. Kula

Comments: The 14th International Conference on Mining Software Repositories (MSR 2017), pp. 215--226, Buenos Aires, Argentina, May, 2017

Journal-ref: Proc. MSR 2017, pp. 215--226

Subjects: Software Engineering (cs.SE)

[45] arXiv:1807.04486 [pdf, other]

Title: The Impact of Feature Selection on Predicting the Number of Bugs

Haidar Osman, Mohammad Ghafari, Oscar Nierstrasz

Subjects: Software Engineering (cs.SE)

[46] arXiv:1807.04488 [pdf, other]

Title: Improved Query Reformulation for Concept Location using CodeRank and Document Structures

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: The 32nd International Conference on Automated Software Engineering (ASE 2017), pp. 428-439, Urbana-Champaign, Illinois, USA, October, 2017

Journal-ref: Proc. ASE 2017, pp. 428-439

Subjects: Software Engineering (cs.SE)

[47] arXiv:1807.04701 [pdf, other]

Title: Symbolic Verification of Cache Side-channel Freedom

Sudipta Chattopadhyay, Abhik Roychoudhury

Journal-ref: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)

[48] arXiv:1807.04872 [pdf, other]

Title: Where Are The Gaps? A Systematic Mapping Study of Infrastructure as Code Research

Akond Rahman, Rezvan Mahdavi-Hezaveh, Laurie Williams

Comments: Paper submitted to the journal of Information and Software Technology

Journal-ref: Information and Software Technology 2018

Subjects: Software Engineering (cs.SE)

[49] arXiv:1807.04962 [pdf, other]

Title: Knowledge Management Strategies and Processes in Agile Software Development: A Systematic Literature Review

Raquel Andrade Barros Ouriques, Krzysztof Wnuk, Tony Gorschek, Richard Berntsson Svensson

Comments: 39 pages

Subjects: Software Engineering (cs.SE)

[50] arXiv:1807.04998 [pdf, other]

Title: Facilitating information system development with Panoramic view on data

Dejan Lavbič, Iztok Lajovic, Marjan Krisper

Comments: 24 pages, 5 figures, 10 tables

Journal-ref: Computer Science and Information Systems 4 (2010) 737-767

Subjects: Software Engineering (cs.SE)

[51] arXiv:1807.05030 [pdf, other]

Title: A Comprehensive Study of Pseudo-tested Methods

Oscar Luis Vera-Pérez, Benjamin Danglot, Martin Monperrus, Benoit Baudry

Journal-ref: Empirical Software Engineering, Springer Verlag, 2018 pp 1-31

Subjects: Software Engineering (cs.SE)

[52] arXiv:1807.05092 [pdf, other]

Title: IntRepair: Informed Repairing of Integer Overflows

Paul Muntean, Martin Monperrus, Hao Sun, Jens Grossklags, Claudia Eckert

Comments: Accepted for publication at the IEEE TSE journal. arXiv admin note: text overlap with arXiv:1710.03720

Journal-ref: IEEE Transactions on Software Engineering, 2019

Subjects: Software Engineering (cs.SE)

[53] arXiv:1807.05582 [pdf, other]

Title: Aligning Technical Debt Prioritization with Business Objectives: A Multiple-Case Study

Rodrigo Rebouças de Almeida, Uirá Kulesza, Christoph Treude, D'angellys Cavalcanti Feitosa, Aliandro Higino Guedes Lima

Comments: Preprint submitted to the 34\textsuperscript{th} International Conference on Software Maintenance and Evolution (ICSME'18)

Subjects: Software Engineering (cs.SE)

[54] arXiv:1807.05593 [pdf, other]

Title: Visualizing test diversity to support test optimisation

Francisco Gomes de Oliveira Neto, Robert Feldt, Linda Erlenhov, José Benardi de Souza Nunes

Subjects: Software Engineering (cs.SE)

[55] arXiv:1807.06087 [pdf, other]

Title: Towards a Theory of Software Development Expertise

Sebastian Baltes, Stephan Diehl

Comments: 14 pages, 5 figures, 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), ACM, 2018

Subjects: Software Engineering (cs.SE)

[56] arXiv:1807.06106 [pdf, other]

Title: Structured Synthesis for Probabilistic Systems

Nils Jansen, Laura Humphrey, Jana Tumova, Ufuk Topcu

Subjects: Software Engineering (cs.SE)

[57] arXiv:1807.06136 [pdf, other]

Title: Visualizing Design Erosion: How Big Balls of Mud are Made

David Baum, Jens Dietrich, Craig Anslow, Richard Müller

Subjects: Software Engineering (cs.SE)

[58] arXiv:1807.06430 [pdf, other]

Title: Confederated Modular Differential Equation APIs for Accelerated Algorithm Development and Benchmarking

Christopher Rackauckas, Qing Nie

Comments: 4 figures, 3 algorithms

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

[59] arXiv:1807.06684 [pdf, other]

Title: Automatic Traceability Maintenance via Machine Learning Classification

Chris Mills, Javier Escobar-Avila, Sonia Haiduc

Comments: 12 pages, 1 Figure, 5 Tables, to be presented at The 34th International Conference on Software Maintenance and Evolution (ICSME'18)

Subjects: Software Engineering (cs.SE)

[60] arXiv:1807.06809 [pdf, other]

Title: Comparing Techniques for Aggregating Interrelated Replications in Software Engineering

Adrian Santos, Natalia Juristo

Subjects: Software Engineering (cs.SE)

[61] arXiv:1807.06850 [pdf, other]

Title: Does the performance of TDD hold across software companies and premises? A group of industrial experiments on TDD

Adrian Santos, Janne Jarvinen, Jari Partanen, Markku Oivo, Natalia Juristo

Subjects: Software Engineering (cs.SE)

[62] arXiv:1807.06851 [pdf, other]

Title: Moving Beyond the Mean: Analyzing Variance in Software Engineering Experiments

Adrian Santos, Markku Oivo, Natalia Juristo

Subjects: Software Engineering (cs.SE)

[63] arXiv:1807.07165 [pdf, other]

Title: Overcoming Language Dichotomies: Toward Effective Program Comprehension for Mobile App Development

Kevin Moran, Carlos Bernal Cardenas, Mario Linares Vasquez, Denys Poshyvanyk

Comments: Invited Keynote Paper for the 26th IEEE/ACM International Conference on Program Comprehension (ICPC'18)

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

[64] arXiv:1807.07171 [pdf, other]

Title: Automating Software Development for Mobile Computing Platforms (Doctoral Symposium)

Kevin Moran

Comments: Accepted to the 34th International Conference on Software Maintenance and Evolution (ICSME'18), Doctoral Symposium (Post-Doctoral Track)

Subjects: Software Engineering (cs.SE)

[65] arXiv:1807.07363 [pdf, other]

Title: CPuS-IoT : A Cyber-Physical Microservice and IoT-based Framework for Manufacturing Assembly Systems

Kleanthis Thramboulidis, Danai C. Vachtsevanou, Ioanna Kontou

Comments: 14 pages, 16 figures, Journal submission

Subjects: Software Engineering (cs.SE)

[66] arXiv:1807.07387 [pdf, other]

Title: The State of Sustainable Research Software: Results from the Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE5.1)

Daniel S. Katz, Stephan Druskat, Robert Haines, Caroline Jay, Alexander Struck

Journal-ref: Journal of Open Research Software, 7(1), 2019, p.11

Subjects: Software Engineering (cs.SE)

[67] arXiv:1807.07460 [pdf, other]

Title: Model-Based Monitoring for IoTs Smart Cities Applications

Matteo Orrù, Marco Mobilio, Anas Shatnawi, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani

Subjects: Software Engineering (cs.SE)

[68] arXiv:1807.07490 [pdf, other]

Title: FuzzerGym: A Competitive Framework for Fuzzing and Learning

William Drozd, Michael D. Wagner

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

[69] arXiv:1807.07662 [pdf, other]

Title: Loud and Interactive Paper Prototyping in Requirements Elicitation: What is it Good for?

Zahra Shakeri Hossein Abad, Sania Moazzam, Christina Lo, Tianhan Lan, Elis Frroku, Heejun Kim

Subjects: Software Engineering (cs.SE)

[70] arXiv:1807.07676 [pdf, other]

Title: Poster: Improving Bug Localization with Report Quality Dynamics and Query Reformulation

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: The 40th International Conference on Software Engineering (Companion volume, Poster Track) (ICSE 2018), pp. 348--349, Gothenburg, Sweden, May, 2018

Journal-ref: Proc. ICSE-C 2018, pp. 348--349

Subjects: Software Engineering (cs.SE)

[71] arXiv:1807.07743 [pdf, other]

Title: Dev-for-Operations and Multi-sided Platform for Next Generation Platform as a Service

Bela Berde, Steven Van Rossem, Aurora Ramos, Matteo Orru, Anas Shatnawi

Comments: 6 pages

Subjects: Software Engineering (cs.SE)

[72] arXiv:1807.07800 [pdf, other]

Title: Safety-Critical Systems and Agile Development: A Mapping Study

Rashidah Kasauli, Eric Knauss, Benjamin Kanagwa, Agneta Nilsson, Gul Calikli

Comments: Accepted at Euromicro Conf. on Software Engineering and Advanced Applications 2018, Prague, Czech Republic

Subjects: Software Engineering (cs.SE)

[73] arXiv:1807.07822 [pdf, other]

Title: Specification Mining for Smart Contracts with Automatic Abstraction Tuning

Florentin Guth, Valentin Wüstholz, Maria Christakis, Peter Müller

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

[74] arXiv:1807.08015 [pdf, other]

Title: Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória

Patrícia Monteiro, João Lourenço, António Ravara

Comments: Article in Portuguese, accepted in the national informatics conference INForum (this http URL)

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

[75] arXiv:1807.08707 [pdf, other]

Title: Fault Localization for Declarative Models in Alloy

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Subjects: Software Engineering (cs.SE)

[76] arXiv:1807.08798 [pdf, other]

Title: Effective Reformulation of Query for Code Search using Crowdsourced Knowledge and Extra-Large Data Analytics

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: The 34th International Conference on Software Maintenance and Evolution (ICSME 2018), pp. 12, Madrid, Spain, September, 2018

Journal-ref: Proc. ICSME 2018

Subjects: Software Engineering (cs.SE)

[77] arXiv:1807.08823 [pdf, other]

Title: Assessing Test Case Prioritization on Real Faults and Mutants

Qi Luo, Kevin Moran, Denys Poshyvanyk, Massimiliano Di Penta

Comments: Accepted to the 34th International Conference on Software Maintenance and Evolution (ICSME'18)

Subjects: Software Engineering (cs.SE)

[78] arXiv:1807.08906 [pdf, other]

Title: Reduction of Redundant Rules in Association Rule Mining-Based Bug Assignment

Meera Sharma, Abhishek Tandon, Madhu Kumari, V B Singh

Comments: 14 pages

Journal-ref: International Journal of Reliability, Quality and Safety Engineering Vol. 24, No. 6 (2017) 1740005 (14 pages) World Scientific Publishing Company

Subjects: Software Engineering (cs.SE)

[79] arXiv:1807.09160 [pdf, other]

Title: Automatically Assessing Vulnerabilities Discovered by Compositional Analysis

Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner, Pooja Kulkarni

Comments: To appear in the proceedings of the First International Workshop on Machine Learning and Software Engineering in Symbiosis (MASES'18), co-located with IEEE/ACM International Conference on Automated Software Engineering

Subjects: Software Engineering (cs.SE)

[80] arXiv:1807.09440 [pdf, other]

Title: Detecting and Summarizing GUI Changes in Evolving Mobile Apps

Kevin Moran, Cody Watson, John Hoskins, George Purnell, Denys Poshyvanyk

Comments: Proceedings of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE '18), September 3-7, 2018, Montpellier, France

Subjects: Software Engineering (cs.SE)

[81] arXiv:1807.09679 [pdf, other]

Title: RuntimeSearch: Ctrl+F for a Running Program

Matúš Sulír, Jaroslav Porubän

Journal-ref: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE, 2017, pp. 388-393

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

[82] arXiv:1807.09696 [pdf, other]

Title: Fast & Flexible IO : A Compositional Approach to Storage Construction for High-Performance Devices

Daniel G. Waddington

Comments: 7 pages, 4 figures

Subjects: Software Engineering (cs.SE); Operating Systems (cs.OS)

[83] arXiv:1807.10059 [pdf, other]

Title: From Monolith to Microservices: A Classification of Refactoring Approaches

Jonas Fritzsch, Justus Bogner, Alfred Zimmermann, Stefan Wagner

Comments: 13 pages, 4 tables, 2 figures, Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

Subjects: Software Engineering (cs.SE)

[84] arXiv:1807.10106 [pdf, other]

Title: Trend Analysis on the Metadata of Program Comprehension Papers

Matúš Sulír, Jaroslav Porubän

Journal-ref: 13th International Conference on Engineering of Modern Electric Systems (EMES), IEEE, 2015, pp. 153--156

Subjects: Software Engineering (cs.SE)

[85] arXiv:1807.10255 [pdf, other]

Title: Assurances in Software Testing: A Roadmap

Marcel Böhme

Comments: Accepted at ICSE'19 NIER. Extended version. 5 pages + references

Subjects: Software Engineering (cs.SE)

[86] arXiv:1807.10439 [pdf, other]

Title: Symbolic Execution for Deep Neural Networks

Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)

[87] arXiv:1807.10453 [pdf, other]

Title: METTLE: a METamorphic testing approach to assessing and validating unsupervised machine LEarning systems

Xiaoyuan Xie, Zhiyi Zhang, Tsong Yueh Chen, Yang Liu, Pak-Lok Poon, Baowen Xu

Subjects: Software Engineering (cs.SE)

[88] arXiv:1807.10673 [pdf, other]

Title: Thinging for Software Engineers

Sabah Al-Fedaghi

Comments: 9 pages, 20 Figures

Journal-ref: International Journal of Computer Science and Information Security (IJCSIS), Vol. 16, No. 7, July 2018

Subjects: Software Engineering (cs.SE)

[89] arXiv:1807.10953 [pdf, other]

Title: Goal-Oriented Mutation Testing with Focal Methods

Sten Vercammen, Mohammad Ghafari, Serge Demeyer, Markus Borg

Comments: A-TEST 2018

Subjects: Software Engineering (cs.SE)

[90] arXiv:1807.11184 [pdf, other]

Title: Automatic Clone Recommendation for Refactoring Based on the Present and the Past

Ruru Yue, Zhe Gao, Na Meng, Yingfei Xiong, Xiaoyin Wang, J. David Morgenthaler

Comments: Accepted by ICSME 2018

Subjects: Software Engineering (cs.SE)

[91] arXiv:1807.11286 [pdf, other]

Title: Towards an automated approach for bug fix pattern detection

Fernanda Madeiral, Thomas Durieux, Victor Sobreira, Marcelo Maia

Subjects: Software Engineering (cs.SE)

[92] arXiv:1807.11318 [pdf, other]

Title: umd-verification: Automation of Software Validation for the EGI federated e-Infrastructure

Pablo Orviz Fernandez, Joao Pina, Alvaro Lopez Garcia, Isabel Campos Plasencia, Mario David, Jorge Gomes

Comments: This is the author's pre-print version of this work. The final publication is available at this http URL

Journal-ref: Journal of Grid COmputing (2018) 1-14

Subjects: Software Engineering (cs.SE)

[93] arXiv:1807.11344 [pdf, other]

Title: The REquirements TRacing On target (RETRO).NET Dataset

Jane Huffman Hayes, Jared Payne, Alex Dekhtyar

Comments: We thank NSF for partially funding this work under grants CCF-1511117 and CICI 1642134; 4 pages; in Proceedings of IEEE Requirements Engineering 2018

Subjects: Software Engineering (cs.SE)

[94] arXiv:1807.11454 [pdf, other]

Title: Automating Requirements Traceability: Two Decades of Learning from KDD

Alex Dekhtyar, Jane Huffman Hayes

Comments: The work of the second author has been supported in part by NSF grants CCF-1511117 and CICI 1642134; 4 pages; in Proceedings of IEEE Requirements Engineering 2018

Subjects: Software Engineering (cs.SE)

[95] arXiv:1807.00468 (cross-list from cs.LG) [pdf, other]

Title: Automated Directed Fairness Testing

Sakshi Udeshi, Pryanshu Arora, Sudipta Chattopadhyay

Comments: In Proceedings of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 18), September 3-7, 2018, Montpellier, France

Journal-ref: Automated Directed Fairness Testing. In Proceedings of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 18), September 3-7, 2018, Montpellier, France

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE); Machine Learning (stat.ML)

[96] arXiv:1807.00669 (cross-list from cs.CR) [pdf, other]

Title: Verifying Security Protocols using Dynamic Strategies

Yan Xiong, Cheng Su, Wenchao Huang, Fuyou Miao, Wansen Wang, Hengyi Ouyang

Comments: arXiv admin note: text overlap with arXiv:1403.1142, arXiv:1703.00426 by other authors

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[97] arXiv:1807.01095 (cross-list from cs.CR) [pdf, other]

Title: Usability and Security Effects of Code Examples on Crypto APIs - CryptoExamples: A platform for free, minimal, complete and secure crypto examples

Kai Mindermann, Stefan Wagner

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[98] arXiv:1807.01838 (cross-list from cs.CR) [pdf, other]

Title: Improving Fuzzing Using Software Complexity Metrics

Maksim Shudrak, Vyacheslav Zolotarev

Journal-ref: ICISC 2015: Information Security and Cryptology - ICISC 2015 pp 246-261

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

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

Title: An Insight into the Unresolved Questions at Stack Overflow

Mohammad Masudur Rahman, Chanchal K. Roy

Comments: 12th Working Conference on Mining Software Repositories (MSR 2015), pp. 426--429, Florence, Italy, May 2015

Journal-ref: Proc. MSR (2015), 426-429

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

[100] arXiv:1807.02340 (cross-list from cs.CL) [pdf, other]

Title: Testing Untestable Neural Machine Translation: An Industrial Case

Wujie Zheng, Wenyu Wang, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Pinjia He, Tao Xie

Comments: 10 pages

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