Software Engineering

Authors and titles for November 2016

[51] arXiv:1611.10169 [pdf, other]

Title: Links between the personalities, styles and performance in computer programming

Zahra Karimia, Ahmad Baraani-Dastjerdia, Nasser Ghasem-Aghaeea, Stefan Wagner

Comments: 27 pages, 6 figures

Journal-ref: Journal of Systems and Software, Volume 111, January 2016, Pages 228-241

Subjects: Software Engineering (cs.SE)

[52] arXiv:1611.10181 [pdf, other]

Title: A Bayesian Network Approach to Assess and Predict Software Quality Using Activity-Based Quality Models

Stefan Wagner

Comments: 32 pages, 6 figures

Journal-ref: Information and Software Technology, Volume 52, Issue 11, November 2010, Pages 1230-1241

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

[53] arXiv:1611.10187 [pdf, other]

Title: A Bayesian Network Approach to Assess and Predict Software Quality Using Activity-Based Quality Models (Conference Version)

Stefan Wagner

Comments: 9 pages, 3 figures

Journal-ref: Proceedings of the 5th International Conference on Predictor Models in Software Engineering (PROMISE '09). ACM, 2009

Subjects: Software Engineering (cs.SE)

[54] arXiv:1611.10288 [pdf, other]

Title: Naming the Pain in Requirements Engineering: Contemporary Problems, Causes, and Effects in Practice

D. Méndez Fernández, S. Wagner, M.Kalinowski, M. Felderer, P. Mafra, A. Vetrò, T. Conte, M.-T. Christiansson, D. Greer, C. Lassenius, T. Männistö, M. Nayabi, M. Oivo, B. Penzenstadler, D. Pfahl, R. Prikladnicki, G. Ruhe, A. Schekelmann, S. Sen, R. Spinola, A. Tuzcu, J. L. de la Vara, R. Wieringa

Journal-ref: Empirical Software Engineering, 2016

Subjects: Software Engineering (cs.SE)

[55] arXiv:1611.00574 (cross-list from cs.FL) [pdf, other]

Title: Compositional Reasoning for Shared-variable Concurrent Programs

Fuyuan Zhang, Yongwang Zhao, David Sanan, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[56] arXiv:1611.00751 (cross-list from astro-ph.IM) [pdf, other]

Title: Porting the LSST Data Management Pipeline Software to Python 3

Tim Jenness

Comments: 4 pages, presented at Astronomical Data Analysis Software and Systems XXVI conference, Trieste, Italy, October 2016

Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Software Engineering (cs.SE)

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

Title: Context-aware System Service Call-oriented Symbolic Execution of Android Framework with Application to Exploit Generation

Lannan Luo, Qiang Zeng, Chen Cao, Kai Chen, Jian Liu, Limin Liu, Neng Gao, Min Yang, Xinyu Xing, Peng Liu

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

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

Title: LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks

Fu Song, Tayssir Touili

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

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

Title: Resilience Design Patterns - A Structured Approach to Resilience at Extreme Scale (version 1.0)

Saurabh Hukerikar, Christian Engelmann

Comments: Oak Ridge National Laboratory Technical Report version 1.0

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

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

Title: Language Support for Reliable Memory Regions

Saurabh Hukerikar, Christian Engelmann

Comments: The 29th International Workshop on Languages and Compilers for Parallel Computing

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

[61] arXiv:1611.03372 (cross-list from cs.RO) [pdf, other]

Title: A stochastically verifiable autonomous control architecture with reasoning

Paolo Izzo, Hongyang Qu, Sandor M. Veres

Comments: Accepted at IEEE Conf. Decision and Control, 2016

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Software Engineering (cs.SE); Systems and Control (eess.SY)

[62] arXiv:1611.08307 (cross-list from cs.NE) [pdf, other]

Title: Learning Python Code Suggestion with a Sparse Pointer Network

Avishkar Bhoopchand, Tim Rocktäschel, Earl Barr, Sebastian Riedel

Comments: Under review as a conference paper at ICLR 2017

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

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

Title: The G-ACM Tool: using the Drools Rule Engine for Access Control Management

João Sá, Sandra Alves, Sabine Broda

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

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

Title: Revisiting the Futamura Projections: A Diagrammatic Approach

Brandon M. Williams, Saverio Perugini

Comments: 20 pages, 11 figures, 3 tables; pre-print of published version in Theoretical and Applied Informatics

Journal-ref: B.M. Williams & Perugini, S. (2016) Revisiting the Futamura Projections: A diagrammatic approach. Theoretical and Applied Informatics, 28(4), 15-32

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