Software Engineering

Authors and titles for October 2017

[1] arXiv:1710.00163 [pdf, other]

Title: Automated Program Analysis for Novice Programmers

Tim Blok, Ansgar Fehnker

Comments: Published in Proceedings of the 3rd International Conference on Higher Education Advances. Eds Josep Domenech, M. Cinta Vicent-Vela, Elena de la Poza, Desamparados Blazquez. Valencia. 2017

Subjects: Software Engineering (cs.SE)

[2] arXiv:1710.00202 [pdf, other]

Title: Diagramming the Class Diagram: Toward a Unified Modeling Methodology

Sabah Al-Fedaghi

Comments: 12 pages

Journal-ref: International Journal of Computer Science and Information Security (IJCSIS, Vol. 15, No. 9, September 2017

Subjects: Software Engineering (cs.SE)

[3] arXiv:1710.00446 [pdf, other]

Title: Extracting Insights from the Topology of the JavaScript Package Ecosystem

Nuttapon Lertwittayatrai, Raula Gaikovina Kula, Saya Onoue, Hideaki Hata, Arnon Rungsawang, Pattara Leelaprute, Kenichi Matsumoto

Comments: 10 pages, APSEC 2017

Subjects: Software Engineering (cs.SE)

[4] arXiv:1710.00564 [pdf, other]

Title: CrySL: Validating Correct Usage of Cryptographic APIs

Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini

Comments: 11 pages

Subjects: Software Engineering (cs.SE)

[5] arXiv:1710.00903 [pdf, other]

Title: The SysML/KAOS Domain Modeling Approach

Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier

Comments: 16 pages

Subjects: Software Engineering (cs.SE)

[6] arXiv:1710.01151 [pdf, other]

Title: Concerns and Limitations in Agile Software Development: A Survey with Paraguayan Companies

Myrian R. N. Salinas, Adolfo Gustavo Serra Seca Neto, Maria Claudia F. P. Emer

Comments: Draft of paper presented at the 8th Brazilian Workshop on Agile Methods this http URL

Subjects: Software Engineering (cs.SE)

[7] arXiv:1710.01943 [pdf, other]

Title: Unusual Events in GitHub Repositories

Christoph Treude, Larissa Leite, Maurício Aniche

Comments: Accepted for publication in Journal of Systems and Software

Subjects: Software Engineering (cs.SE)

[8] arXiv:1710.02801 [pdf, other]

Title: AutoReq: expressing and verifying requirements for control systems

Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold

Subjects: Software Engineering (cs.SE)

[9] arXiv:1710.03107 [pdf, other]

Title: Verification of Binarized Neural Networks via Inter-Neuron Factoring

Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess

Comments: Version 2: add proofs for hardness of PTAS approximability, remove experiments on randomized examples and some not-so-important optimizations

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

[10] arXiv:1710.03129 [pdf, other]

Title: Grand Challenges of Traceability: The Next Ten Years

Giuliano Antoniol, Jane Cleland-Huang, Jane Huffman Hayes, Michael Vierhauser

Subjects: Software Engineering (cs.SE)

[11] arXiv:1710.03168 [pdf, other]

Title: Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3

Wiktor B. Daszczuk

Comments: 10 pages, 5 figures, 1 table

Journal-ref: The 37th IEEE Software Engineering Workshop, Federated Conference on Computer Science and Information Systems, SEW-37, FedCSIS 2017, Prague, Czech Republic, 3-6 September 2017, pp. 377-386

Subjects: Software Engineering (cs.SE)

[12] arXiv:1710.03394 [pdf, other]

Title: Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems

Chris Leong, Tim Kelly, Rob Alexander

Comments: In Proceedings CREST 2017, arXiv:1710.02770

Journal-ref: EPTCS 259, 2017, pp. 56-71

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

[13] arXiv:1710.03675 [pdf, other]

Title: An Introduction to Rocker: Docker Containers for R

Carl Boettiger, Dirk Eddelbuettel

Subjects: Software Engineering (cs.SE)

[14] arXiv:1710.03928 [pdf, other]

Title: A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt

Comments: Accepted by Formal Aspects of Computing

Journal-ref: Formal Asp. Comput. 30(1): 163-192 (2018)

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[15] arXiv:1710.04037 [pdf, other]

Title: Failures to be celebrated: an analysis of major pivots of software startups

Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen Duc, Pekka Abrahamsson

Comments: This is the author's version of the work. Copyright owner's version can be accessed at this https URL

Journal-ref: Empir Software Eng (2017) 22: 2373

Subjects: Software Engineering (cs.SE)

[16] arXiv:1710.04630 [pdf, other]

Title: Supporting Requirements Engineering Research that Industry Needs: The Naming the Pain in Requirements Engineering Initiative

Daniel Méndez Fernández

Comments: Invited magazine article at IEEE Software (accepted for publication), 5 pages, 2 figures, position statement

Journal-ref: IEEE Software Magazine, 2018

Subjects: Software Engineering (cs.SE)

[17] arXiv:1710.04936 [pdf, other]

Title: An Empirical Comparison of Dependency Network Evolution in Seven Software Packaging Ecosystems

Alexandre Decan, Tom Mens, Philippe Grosjean

Comments: Preprint, currently under review. Submitted for publication to Springer's Empirical Software Engineering journal

Subjects: Software Engineering (cs.SE)

[18] arXiv:1710.05570 [pdf, other]

Title: How PHP Releases Are Adopted in the Wild?

Jukka Ruohonen, Ville Leppänen

Comments: Forthcoming in the Proceedings of the 24th Asia-Pacific Software Engineering Conference this http URL

Subjects: Software Engineering (cs.SE)

[19] arXiv:1710.05583 [pdf, other]

Title: MultiRefactor: Automated Refactoring To Improve Software Quality

Michael Mohan, Des Greer

Subjects: Software Engineering (cs.SE)

[20] arXiv:1710.06119 [pdf, other]

Title: Beneficial and Harmful Agile Practices for Product Quality

Sven Theobald, Philipp Diebold

Subjects: Software Engineering (cs.SE)

[21] arXiv:1710.06774 [pdf, other]

Title: Toward Common Components for Open Workflow Systems

Jay Jay Billings, Shantenu Jha

Subjects: Software Engineering (cs.SE)

[22] arXiv:1710.07014 [pdf, other]

Title: Comparative Analysis of Software Development Methods between Parallel, V-Shaped and Iterative

Suryanto Nugroho, Sigit Hadi Waluyo, Luqman Hakim

Comments: 5 pages

Subjects: Software Engineering (cs.SE)

[23] arXiv:1710.07430 [pdf, other]

Title: Self-adaptive static analysis

Eric Bodden

Subjects: Software Engineering (cs.SE)

[24] arXiv:1710.07956 [pdf, other]

Title: Teaching Programming and Design-by-Contract

Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, JooYong Lee, Sergey Masiagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera

Comments: 21th International Conference on Interactive Collaborative Learning

Journal-ref: The Challenges of the Digital Transformation in Education, 2019

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

[25] arXiv:1710.07980 [pdf, other]

Title: Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Benoit Baudry

Comments: Submitted to Empirical Software Engineering

Subjects: Software Engineering (cs.SE)