Software Engineering

Authors and titles for cs.SE in Dec 2017

[1]  arXiv:1712.00242 [pdf, other]

Title: A Systematic Evaluation of Static API-Misuse Detectors

Authors: Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini

Comments: Accepted for publication in IEEE Transactions on Software Engineering, March 12, 2018 Artifact page: this http URL 19 pages; 1 figure; 9 tables; 6 listings

Subjects: Software Engineering (cs.SE)

[2]  arXiv:1712.00606 [pdf]

Title: A survey study on major technical barriers affecting the decision to adopt cloud services

Authors: Nattakarn Phaphoom, Xiaofeng Wang, Sarah Samuel, Sven Helmer, Pekka Abrahamsson

Comments: This is the author's version of the work. The copyright holder's version can be found at this https URL

Journal-ref: Journal of Systems and Software, Volume 103, May 2015, Pages 167-181

Subjects: Software Engineering (cs.SE)

[3]  arXiv:1712.00674 [pdf]

Title: What influences the speed of prototyping? An empirical investigation of twenty software startups

Authors: Anh Nguyen Duc, Xiaofeng Wang, Pekka Abrahamsson

Comments: This is the author's version of the work. Copyright owner's version can be accessed at doi.org/10.1007/978-3-319-57633-6_2, XP2017, Cologne, Germany

Subjects: Software Engineering (cs.SE)

[4]  arXiv:1712.00675 [pdf]

Title: The impact of software complexity on cost and quality - A comparative analysis between Open source and proprietary software

Authors: Anh Nguyen-Duc

Comments: This is the author's version of the work

Journal-ref: International Journal on Software Engineering and Application, vol. 8 (2), 17-31, 2017

Subjects: Software Engineering (cs.SE)

[5]  arXiv:1712.00676 [pdf, ps, other]

Title: Will humans even write code in 2040 and what would that mean for extreme heterogeneity in computing?

Authors: Jay Jay Billings, Alexander J. McCaskey, Geoffroy Vallee, Greg Watson

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

[6]  arXiv:1712.01024 [pdf, other]

Title: A Quantitative Study of Java Software Buildability

Authors: Matúš Sulír, Jaroslav Porubän

Journal-ref: Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2016), pages 17-25. ACM, 2016

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

[7]  arXiv:1712.01177 [pdf, other]

Title: A Study of the Scrum Master's Role

Authors: John Noll, Mohammad Abdur Razzak, Julian M Bass, Sarah Beecham

Comments: 16 pages, 1 figure, PROFES 2017

Journal-ref: In Product-Focused Software Process Improvement. PROFES 2017. Lecture Notes in Computer Science, vol 10611. Springer, Cham (2017)

Subjects: Software Engineering (cs.SE)

[8]  arXiv:1712.01207 [pdf, other]

Title: Model Checking in multiplayer games development

Authors: Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera

Journal-ref: 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)

Subjects: Software Engineering (cs.SE)

[9]  arXiv:1712.01674 [pdf, ps, other]

Title: On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs

Authors: Hui Xu, Zirui Zhao, Yangfan Zhou, Michael R. Lyu

Subjects: Software Engineering (cs.SE)

[10]  arXiv:1712.01718 [pdf, other]

Title: An LLVM Instrumentation Plug-in for Score-P

Authors: Ronny Tschüter, Johannes Ziegenbalg, Bert Wesarg, Matthias Weber, Christian Herold, Sebastian Döbel, Ronny Brendel

Comments: 8 pages

Journal-ref: LLVM-HPC'17: Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, 2017, 2:1--2:8

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

[11]  arXiv:1712.01967 [pdf, other]

Title: A Study on the Perception of Researchers about the Application of Agile Software Development Methods in Research

Authors: Nelson Marcelo Romero Aquino, Adolfo Gustavo Serra Seca Neto, Heitor Silvério Lopes

Comments: Draft. Accepted for publication at the 8th Brazilian Workshop on Agile Methods

Subjects: Software Engineering (cs.SE)

[12]  arXiv:1712.02227 [pdf, other]

Title: Formal Verification of Probabilistic SystemC Models with Statistical Model Checking

Authors: Van Chan Ngo, Axel Legay

Comments: Journal of Software: Evolution and Process. Wiley, 2017. arXiv admin note: substantial text overlap with arXiv:1507.08187

Subjects: Software Engineering (cs.SE)

[13]  arXiv:1712.02448 [pdf, ps, other]

Title: Towards Methods for Model-Based Software Development

Authors: Valdemar Vicente Graciano Neto, Luiz Fernando Batista Loja

Subjects: Software Engineering (cs.SE)

[14]  arXiv:1712.03201 [pdf, other]

Title: Mining Fix Patterns for FindBugs Violations

Authors: Kui Liu, Dongsun Kim, Tegawendé F. Bissyandé, Shin Yoo, Yves Le Traon

Comments: Accepted for IEEE Transactions on Software Engineering

Subjects: Software Engineering (cs.SE)

[15]  arXiv:1712.03359 [pdf]

Title: FPA-FL: Incorporating Static Fault-proneness Analysis into Statistical Fault Localization

Authors: Farid Feyzi, Saeed Parsa

Journal-ref: Systems and Software, Volume 136, February 2018, Pages 39-58

Subjects: Software Engineering (cs.SE)

[16]  arXiv:1712.03361 [pdf]

Title: Inforence: Effective Fault Localization Based on Information-Theoretic Analysis and Statistical Causal Inference

Authors: Farid Feyzi, Saeed Parsa

Comments: Frontiers of Computer Science, 2018

Subjects: Software Engineering (cs.SE)

[17]  arXiv:1712.03854 [pdf, other]

Title: Ultra-Large Repair Search Space with Automatically Mined Templates: the Cardumen Mode of Astor

Authors: Matias Martinez, Martin Monperrus

Journal-ref: Proceedings of the International Symposium on Search Based Software Engineering, 2018

Subjects: Software Engineering (cs.SE)

[18]  arXiv:1712.04189 [pdf]

Title: A Practical Approach for Detecting Logical Error in Object Oriented Environment

Authors: Ghassan Samara

Comments: 10 pages, Vol. 7, No. 2, 10-19, 2017

Journal-ref: World of Computer Science and Information Technology Journal (WCSIT) ISSN: 2221-0741, 2017

Subjects: Software Engineering (cs.SE)

[19]  arXiv:1712.05078 [pdf]

Title: Fourteen Years of Software Engineering at ETH Zurich

Authors: Bertrand Meyer

Comments: 118 pages, numerous figures and photographs

Subjects: Software Engineering (cs.SE)

[20]  arXiv:1712.05236 [pdf, other]

Title: ARTENOLIS: Automated Reproducibility and Testing Environment for Licensed Software

Authors: Laurent Heirendt, Sylvain Arreckx, Christophe Trefois, Yohan Yarosz, Maharshi Vyas, Venkata P. Satagopam, Reinhard Schneider, Ines Thiele, Ronan M.T. Fleming

Subjects: Software Engineering (cs.SE)

[21]  arXiv:1712.05243 [pdf]

Title: CIM compliant multiplatform approach for cyber-physical energy system assessment

Authors: Minh Tri Le, Van Hoa Nguyen, Quoc Tuan Tran, Yvon Besanger, Thierry Braconnier, Antoine Labonne, Herve Buttin

Comments: Proceedings of the IEEE PES ISGT Asia 2017 Conference

Subjects: Software Engineering (cs.SE)

[22]  arXiv:1712.05264 [pdf, other]

Title: A Brief Overview of the KTA WCET Tool

Authors: David Broman

Subjects: Software Engineering (cs.SE)

[23]  arXiv:1712.06025 [pdf, other]

Title: Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

Authors: Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin

Subjects: Software Engineering (cs.SE)

[24]  arXiv:1712.06796 [pdf, other]

Title: Built to Last or Built Too Fast? Evaluating Prediction Models for Build Times

Authors: Ekaba Bisong, Eric Tran, Olga Baysal

Comments: 4 paged version published in the Proceedings of the IEEE/ACM 14th International Conference on Mining Software Repositories (MSR) Pages 487-490. MSR 2017

Subjects: Software Engineering (cs.SE)

[25]  arXiv:1712.06843 [pdf, other]

Title: An Exploratory Survey of Hybrid Testing Techniques Involving Symbolic Execution and Fuzzing

Authors: Saahil Ognawala, Ana Petrovska, Kristian Beckers

Comments: Author's preprint

Subjects: Software Engineering (cs.SE)