Software Engineering

Authors and titles for August 2020

[101] arXiv:2008.13108 [pdf, other]

Title: Agile Methods: Testing Challenges, Solutions & Tool Support

Attique Ur Rehman, Ali Nawaz, Muhammad Abbas

Journal-ref: 2020 14th International Conference on Open Source Systems and Technologies (ICOSST), Lahore, Pakistan, 2020, pp. 1-5

Subjects: Software Engineering (cs.SE)

[102] arXiv:2008.13111 [pdf, other]

Title: Role of Project Management in Virtual Teams Success

Attique Ur Rehman, Ali Nawaz, Muhammad Abbas

Journal-ref: iKSP Journal of Computer Science and Engineering. 1, 2 (Feb. 2021), 43-51 (2021)

Subjects: Software Engineering (cs.SE)

[103] arXiv:2008.13113 [pdf, other]

Title: A Survey of Requirement Engineering Process in Android Application Development

Ali Nawaz, Attique Ur Rehman, Wasi Haider Butt

Journal-ref: iKSP Journal of Computer Science and Engineering. 1, 2 (Feb. 2021), 43-51 (2021))

Subjects: Software Engineering (cs.SE)

[104] arXiv:2008.13489 [pdf, other]

Title: BiLO-CPDP: Bi-Level Programming for Automated Model Discovery in Cross-Project Defect Prediction

Ke Li, Zilin Xiang, Tao Chen, Kay Chen Tan

Subjects: Software Engineering (cs.SE)

[105] arXiv:2008.13768 [pdf, other]

Title: A3Ident: A Two-phased Approach to Identify the Leading Authors of Android Apps

Wei Wang, Guozhu Meng, Haoyu Wang, Kai Chen, Weimin Ge, Xiaohong Li

Comments: 12 pages

Journal-ref: ICSME 2020: 36th IEEE International Conference on Software Maintenance and Evolution

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

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

Title: Concolic Testing in CLP

Fred Mesnard, Etienne Payet, German Vidal

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages

Journal-ref: Theory and Practice of Logic Programming 20 (2020) 671-686

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

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

Title: A Large Scale Analysis of Android-Web Hybridization

Abhishek Tiwari, Jyoti Prakash, Sascha Gross, Christian Hammer

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

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

Title: Prolog for Verification, Analysis and Transformation Tools

Michael Leuschel (University of Düsseldorf)

Comments: In Proceedings VPT/HCVS 2020, arXiv:2008.02483

Journal-ref: EPTCS 320, 2020, pp. 80-94

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

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

Title: Code Building Genetic Programming

Edward Pantridge, Lee Spector

Comments: Proceedings of the 2020 Genetic and Evolutionary Computation Conference, Genetic Programming Track

Subjects: Programming Languages (cs.PL); Neural and Evolutionary Computing (cs.NE); Software Engineering (cs.SE)

[110] arXiv:2008.04080 (cross-list from eess.SY) [pdf, other]

Title: Safe and efficient collision avoidance control for autonomous vehicles

Qiang Wang, Dachuan Li, Joseph Sifakis

Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

[111] arXiv:2008.04308 (cross-list from eess.IV) [pdf, other]

Title: CG-SENSE revisited: Results from the first ISMRM reproducibility challenge

Oliver Maier, Steven H. Baete, Alexander Fyrdahl, Kerstin Hammernik, Seb Harrevelt, Lars Kasper, Agah Karakuzu, Michael Loecher, Franz Patzig, Ye Tian, Ke Wang, Daniel Gallichan, Martin Uecker, Florian Knoll

Comments: Submitted to Magnetic Resonance in Medicine; 29 pages with 10 figures and 1 table

Journal-ref: Magnetic Resonance in Medicine 2021;85:1821-1839

Subjects: Image and Video Processing (eess.IV); Software Engineering (cs.SE); Signal Processing (eess.SP); Medical Physics (physics.med-ph)

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

Title: Localizing Patch Points From One Exploit

Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury

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

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

Title: An Empirical Analysis of Backward Compatibility in Machine Learning Systems

Megha Srivastava, Besmira Nushi, Ece Kamar, Shital Shah, Eric Horvitz

Comments: KDD 2020, 9 pages, 7 figures

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

[114] arXiv:2008.04640 (cross-list from cs.DB) [pdf, other]

Title: High-concurrency Custom-build Relational Database System's design and SQL parser design based on Turing-complete automata

WanHong Huang

Subjects: Databases (cs.DB); Software Engineering (cs.SE)

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

Title: Security checklists for Ethereum smart contract development: patterns and best practices

Lodovica Marchesi, Michele Marchesi, Livio Pompianu, Roberto Tonelli

Comments: 13 pages, 5 tables. To be submitted to a Journal. arXiv admin note: substantial text overlap with arXiv:1912.09074

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

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

Title: On Security Measures for Containerized Applications Imaged with Docker

Samuel P. Mullinix, Erikton Konomi, Renee Davis Townsend, Reza M. Parizi

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

[117] arXiv:2008.05132 (cross-list from cs.CV) [pdf, other]

Title: Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?

Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li

Comments: 13 pages, accepted to ESEC/FSE '20

Subjects: Computer Vision and Pattern Recognition (cs.CV); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Software Engineering (cs.SE)

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

Title: OCoR: An Overlapping-Aware Code Retriever

Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang

Journal-ref: ASE 2020: 35th IEEE/ACM International Conference on Automated Software Engineering Proceedings

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Software Engineering (cs.SE)

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

Title: Reactive Synthesis from Extended Bounded Response LTL Specifications

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

Comments: Extended Version

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

[120] arXiv:2008.05804 (cross-list from cs.AI) [pdf, other]

Title: Process Discovery for Structured Program Synthesis

Dell Zhang, Alexander Kuhnle, Julian Richardson, Murat Sensoy

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

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

Title: Can We Trust Your Explanations? Sanity Checks for Interpreters in Android Malware Analysis

Ming Fan, Wenying Wei, Xiaofei Xie, Yang Liu, Xiaohong Guan, Ting Liu

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

[122] arXiv:2008.05938 (cross-list from cs.CV) [pdf, other]

Title: RGB cameras failures and their effects in autonomous driving applications

Francesco Secci, Andrea Ceccarelli

Comments: submitted

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Software Engineering (cs.SE)

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

Title: Sniffing for Codebase Secret Leaks with Known Production Secrets in Industry

Zhen Yu Ding, Benjamin Khakshoor, Justin Paglierani, Mantej Rajpal

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

[124] arXiv:2008.06798 (cross-list from cs.HC) [pdf, other]

Title: Skyline: Interactive In-Editor Computational Performance Profiling for Deep Neural Network Training

Geoffrey X. Yu, Tovi Grossman, Gennady Pekhimenko

Comments: 14 pages, 5 figures. Appears in the proceedings of UIST'20

Subjects: Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Software Engineering (cs.SE)

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

Title: [not Rp] Reproducibility of 'Poincare dodecahedral space parameter estimates'

Boudewijn F. Roukema

Comments: 8 pages, 1 table

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