Software Engineering

Authors and titles for June 2017

[1] arXiv:1706.00166 [pdf, other]

Title: PAPS: A Scalable Framework for Prioritization and Partial Selection of Security Requirements

Davoud Mougouei

Subjects: Software Engineering (cs.SE)

[2] arXiv:1706.00933 [pdf, other]

Title: Evolution of statistical analysis in empirical software engineering research: Current state and steps forward

Francisco Gomes de Oliveira Neto, Richard Torkar, Robert Feldt, Lucas Gren, Carlo A. Furia, Ziwei Huang

Comments: journal submission, 34 pages, 8 figures

Subjects: Software Engineering (cs.SE)

[3] arXiv:1706.01118 [pdf, other]

Title: Enhancing Android Application Bug Reporting

Kevin Moran

Comments: 3 Pages, in Proceedings of 10th Joint Meeting of the European Software Engineering Conference and the 23rd ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15) Student Research Competition (SRC)

Journal-ref: Proceedings of the 23rd ACM SIGSOFT Symposium on the Foundations of Software Engineering (SRC), 2015, pp. 1045-1047

Subjects: Software Engineering (cs.SE)

[4] arXiv:1706.01130 [pdf, other]

Title: Automatically Discovering, Reporting and Reproducing Android Application Crashes

Kevin Moran, Mario Linares-Vásquez, Carlos Bernal-Cárdenas, Christopher Vendome, Denys Poshyvanyk

Comments: 12 pages, in Proceedings of 9th IEEE International Conference on Software Testing, Verification and Validation (ICST'16), Chicago, IL, April 10-15, 2016, pp. 33-44

Journal-ref: IEEE International Conference on Software Testing, Verification and Validation (ICST), Chicago, IL, 2016, pp. 33-44

Subjects: Software Engineering (cs.SE)

[5] arXiv:1706.01602 [pdf, other]

Title: Tailoring Architecture Centric Design Method with Rapid Prototyping

Nitish M. Devadiga

Comments: 7 pages, 12 figures

Subjects: Software Engineering (cs.SE)

[6] arXiv:1706.01636 [pdf, other]

Title: Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers?

Peter Charbachi, Linus Eklund, Eduard Enoiu

Subjects: Software Engineering (cs.SE)

[7] arXiv:1706.01755 [pdf, other]

Title: Visualization of Constraint Handling Rules: Semantics and Applications

Nada Sharaf, Slim Abdennadher, Thom Frühwirth

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

[8] arXiv:1706.02062 [pdf, other]

Title: Code review and cooperative pair programming best practice

Qiang Fu, Francis Grady, Bjoern Flemming Broberg, Andrew Roberts, Geir Gil Martens, Kjetil Vatland Johansen, Pieyre Le Loher

Subjects: Software Engineering (cs.SE)

[9] arXiv:1706.02217 [pdf, other]

Title: Classifying the Correctness of Generated White-Box Tests: An Exploratory Study

David Honfi, Zoltan Micskei

Comments: 13 pages, 7 figures

Journal-ref: Software Quality Journal (2019)

Subjects: Software Engineering (cs.SE)

[10] arXiv:1706.02259 [pdf, other]

Title: A Pragmatic Approach for Measuring Maintainability of DPRA Models

Irina Rychkova, Fabrice Boissier, Hassane Chraibi, Valentin Rychkov

Comments: Technical report

Subjects: Software Engineering (cs.SE)

[11] arXiv:1706.02526 [pdf, other]

Title: Conditional Transition Systems with Upgrades

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva

Subjects: Software Engineering (cs.SE)

[12] arXiv:1706.02769 [pdf, other]

Title: Source Forager: A Search Engine for Similar Source Code

Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas Reps

Comments: 11 pages

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

[13] arXiv:1706.03030 [pdf, other]

Title: A review of quality frameworks in information systems

Thanh Thoa Pham Thi, Markus Helfert

Comments: Information Systems Technology and its Applications, 6th International Conference ISTA'2007

Subjects: Software Engineering (cs.SE)

[14] arXiv:1706.03167 [pdf, other]

Title: IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report)

Peizun Liu, Thomas Wahl

Comments: The 15th International Conference on Software Engineering and Formal Methods (SEFM 2017)

Subjects: Software Engineering (cs.SE)

[15] arXiv:1706.03232 [pdf, other]

Title: Darwinian Data Structure Selection

Michail Basios, Lingbo Li, Fan Wu, Leslie Kanthan, Earl Barr

Comments: 11 pages

Journal-ref: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC FSE 18) November 2018, Lake Buena Vista, FL, USA

Subjects: Software Engineering (cs.SE)

[16] arXiv:1706.03796 [pdf, other]

Title: Verification Coverage

Rodrigo Castaño, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel

Subjects: Software Engineering (cs.SE)

[17] arXiv:1706.03934 [pdf, other]

Title: Exploring Code Clones in Programmable Logic Controller Software

Hannes Thaller, Rudolf Ramler, Josef Pichler, Alexander Egyed

Comments: 8 pages, 2 figures, 2 tables, COMET Center SCCH (FFG #844597), etfa2018

Subjects: Software Engineering (cs.SE)

[18] arXiv:1706.04023 [pdf, other]

Title: DAReing to reduce the annotation overheads of verified programs

Gudmund Grov, Duncan Cameron, Leon McGregor

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

[19] arXiv:1706.04404 [pdf, other]

Title: Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain

Christoph Prybila, Stefan Schulte, Christoph Hochreiner, Ingo Weber

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

[20] arXiv:1706.04468 [pdf, other]

Title: Failure-Directed Program Trimming (Extended Version)

Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig

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

[21] arXiv:1706.04578 [pdf, other]

Title: Translating Event-B machines to Eiffel programs

Victor Rivera, JooYoung Lee, Manuel Mazzara, Leonard Johard

Subjects: Software Engineering (cs.SE)

[22] arXiv:1706.04741 [pdf, other]

Title: Software Model Checking: A Promising Approach to Verify Mobile App Security

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

Comments: 2 pages, 2 figures, FTFJP'17

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

[23] arXiv:1706.05037 [pdf, other]

Title: Model based approach to study Defect Dependency in Large Scale Integrated Software Products

Sai Anirudh Karre, Y. Raghu Reddy

Comments: Yet to come up with an updated version

Subjects: Software Engineering (cs.SE)

[24] arXiv:1706.05042 [pdf, other]

Title: DPerm: Assisting the Migration of Android Apps to Runtime Permissions

Denis Bogdanas

Subjects: Software Engineering (cs.SE)

[25] arXiv:1706.06291 [pdf, other]

Title: pyRecLab: A Software Library for Quick Prototyping of Recommender Systems

Gabriel Sepulveda, Vicente Dominguez, Denis Parra

Comments: 2 pages, poster submited to RecSys 2017 conference

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