Software Engineering

Authors and titles for cs.SE in Dec 2020, skipping first 75

[76]  arXiv:2012.09557 [pdf, other]

Title: A framework to semantify BPMN models using DEMO business transaction pattern

Authors: Sérgio Guerreiro, Pedro Sousa

Comments: 22 pages, 15 figures, models are available at this https URL, tool available at this https URL

Subjects: Software Engineering (cs.SE)

[77]  arXiv:2012.09590 [pdf, other]

Title: The Mind Is a Powerful Place: How Showing Code Comprehensibility Metrics Influences Code Understanding

Authors: Marvin Wyrich, Andreas Preikschat, Daniel Graziotin, Stefan Wagner

Comments: To appear in: Proceedings of the 43rd International Conference on Software Engineering (ICSE '21), Madrid, Spain, 12 pages. 12 pages, 1 figure. Postprint, after peer review

Journal-ref: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021 pp. 512-523

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

[78]  arXiv:2012.09916 [pdf, other]

Title: RAICC: Revealing Atypical Inter-Component Communication in Android Apps

Authors: Jordan Samhi, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein

Comments: In the proceedings of the 43rd International Conference on Software Engineering 2021 (ICSE 2021)

Subjects: Software Engineering (cs.SE)

[79]  arXiv:2012.10095 [pdf, other]

Title: A First Look at Human Values-Violation in App Reviews

Authors: Humphrey O. Obie, Waqar Hussain, Xin Xia, John Grundy, Li Li, Burak Turhan, Jon Whittle, Mojtaba Shahin

Comments: 10 pages, Accepted for publication in IEEE/ACM 43nd International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS), IEEE, 2021

Subjects: Software Engineering (cs.SE)

[80]  arXiv:2012.10126 [pdf, other]

Title: Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge

Authors: Leifeng He, Guanjun Liu

Comments: 23 pages, 17 figures, 4 tables, 56 references

Journal-ref: IEEE Transactions on Computational Social Systems 2022

Subjects: Software Engineering (cs.SE)

[81]  arXiv:2012.10154 [pdf, other]

Title: Neural Network Embeddings for Test Case Prioritization

Authors: João Lousada, Miguel Ribeiro

Comments: 11 pages, 6 figures and 2 tables

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

[82]  arXiv:2012.10206 [pdf, other]

Title: An Empirical Investigation of Command-Line Customization

Authors: Michael Schröder, Jürgen Cito

Journal-ref: Empir Software Eng 27, 30 (2022)

Subjects: Software Engineering (cs.SE)

[83]  arXiv:2012.10662 [pdf, other]

Title: Configuring Test Generators using Bug Reports: A Case Study of GCC Compiler and Csmith

Authors: Md Rafiqul Islam Rabin, Mohammad Amin Alipour

Comments: The 36th ACM/SIGAPP Symposium on Applied Computing, Software Verification and Testing Track (SAC-SVT'21)

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

[84]  arXiv:2012.10672 [pdf, other]

Title: A Declarative Metamorphic Testing Framework for Autonomous Driving

Authors: Yao Deng, Xi Zheng, Tianyi Zhang, Guannan Lou, Huai liu, Miryung Kim, Tsong Yueh Chen

Subjects: Software Engineering (cs.SE)

[85]  arXiv:2012.10833 [pdf, ps, other]

Title: A Systematic Mapping on the use of Visual Data Mining to Support the Conduct of Systematic Literature Reviews

Authors: Katia R. Felizardo, Stephen G. MacDonell, Emília Mendes, José Carlos Maldonado

Comments: 12 pages, Journal, 14 tables, 4 figures

Journal-ref: Journal of Software (2012) 7(2), pp.450-461

Subjects: Software Engineering (cs.SE)