We gratefully acknowledge support from
the Simons Foundation and member institutions.

Software Engineering

Authors and titles for recent submissions

[ total of 43 entries: 1-25 | 26-43 ]
[ showing 25 entries per page: fewer | more | all ]

Wed, 1 Feb 2023

[1]  arXiv:2301.13807 [pdf, other]
Title: Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search
Authors: Sepehr Sharifi, Donghwan Shin, Lionel C. Briand, Nathan Aschbacher
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Robotics (cs.RO)
[2]  arXiv:2301.13615 [pdf, other]
Title: Property-Based Mutation Testing
Authors: Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Comments: Accepted at the 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023
Subjects: Software Engineering (cs.SE)
[3]  arXiv:2301.13506 [pdf, other]
Title: DNN Explanation for Safety Analysis: an Empirical Evaluation of Clustering-based Approaches
Authors: Mohammed Oualid Attaoui, Hazem Fahmy, Fabrizio Pastore, Lionel Briand
Comments: 10 Tables, 14 Figures
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[4]  arXiv:2301.13476 [pdf, other]
Title: An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications
Authors: Hans-Martin Heyn, Eric Knauss, Iswarya Malleswaran, Shruthi Dinakaran
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[5]  arXiv:2301.13246 [pdf, other]
Title: Conversational Automated Program Repair
Authors: Chunqiu Steven Xia, Lingming Zhang
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[6]  arXiv:2301.13779 (cross-list from cs.PL) [pdf, other]
Title: FLAME: A small language model for spreadsheet formulas
Authors: Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radiček, Gust Verbruggen
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[7]  arXiv:2301.13551 (cross-list from cs.PL) [pdf, ps, other]
Title: Designing text representations for existing data using the TextFormats Specification Language
Authors: Giorgio Gonnella
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[8]  arXiv:2301.13415 (cross-list from cs.AI) [pdf, other]
Title: LogAI: A Library for Log Analytics and Intelligence
Authors: Qian Cheng, Amrita Saha, Wenzhuo Yang, Chenghao Liu, Doyen Sahoo, Steven Hoi
Comments: 17 pages, 7 figures, technical report for open source code, paper release with code
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)

Tue, 31 Jan 2023

[9]  arXiv:2301.12954 [pdf, other]
Title: The Double-Edged Sword of Diversity: How Diversity, Conflict, and Psychological Safety Impact Agile Software Teams
Authors: Christiaan Verwijs, Daniel Russo
Subjects: Software Engineering (cs.SE)
[10]  arXiv:2301.12830 [pdf, other]
Title: A sustainable infrastructure concept for improved accessibility, reusability, and archival of research software
Authors: Timo Koch, Dennis Gläser, Anett Seeland, Sarbani Roy, Katharina Schulze, Kilian Weishaupt, David Boehringer, Sibylle Hermann, Bernd Flemisch
Subjects: Software Engineering (cs.SE)
[11]  arXiv:2301.12806 [pdf, other]
Title: Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis
Authors: Kris Nikov, Kyriakos Georgiou, Zbigniew Chamski, Kerstin Eder, Jose Nunez-Yanez
Comments: arXiv admin note: substantial text overlap with arXiv:2104.01055
Journal-ref: 2022 29th IEEE International Conference on Electronics, Circuits and Systems (ICECS) (pp. 1-4). IEEE
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2301.12695 [pdf, other]
Title: Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode
Authors: Jiahao He, Shuangyin Li, Xinming Wang, Shing-Chi Cheung, Gansen Zhao, Jinji Yang
Comments: 19 pages, 13 figures
Subjects: Software Engineering (cs.SE)
[13]  arXiv:2301.12633 [pdf, other]
Title: Faster or Slower? Performance Mystery of Python Idioms Unveiled with Empirical Evidence
Authors: Zejun Zhang, Zhenchang Xing, Xin Xia, Xiwei Xu, Liming Zhu, Qinghua Lu
Comments: 12 pages, accepted to ICSE'2023
Subjects: Software Engineering (cs.SE)
[14]  arXiv:2301.12453 [pdf, other]
Title: Boosting Automated Patch Correctness Prediction via Pre-trained Language Model
Authors: Quanjun Zhang, Chunrong Fang, Weisong Sun, Yan Liu, Tieke He, Xiaodong Hao, Zhenyu Chen
Subjects: Software Engineering (cs.SE)
[15]  arXiv:2301.12403 [pdf, other]
Title: Specification Inference for Evolving Systems
Authors: Renzo Degiovanni, Facundo Molina, Agustin Nolasco, Nazareno Aguirre, Mike Papadakis
Subjects: Software Engineering (cs.SE)
[16]  arXiv:2301.12377 [pdf, other]
Title: What Challenges Do Developers Face About Checked-in Secrets in Software Artifacts?
Authors: Setu Kumar Basak, Lorenzo Neil, Bradley Reaves, Laurie Williams
Comments: This paper is accepted at the International Conference on Software Engineering (ICSE) 2023
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[17]  arXiv:2301.12348 [pdf, other]
Title: Demystifying Privacy Policy of Third-Party Libraries in Mobile Apps
Authors: Zhao Kaifa, Zhan Xian Zhan, Yu Le, Zhou Shiyao, Zhou Hao, LuoXiapu Luo, Wang Haoyu, Liu Yepang
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[18]  arXiv:2301.12284 [pdf, other]
Title: Assertion Inferring Mutants
Authors: Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon
Subjects: Software Engineering (cs.SE)
[19]  arXiv:2301.12202 [pdf, other]
Title: A customizable approach to assess software quality through Multi-Criteria Decision Making
Authors: Francesco Basciani, Daniele Di Pompeo, Juri Di Rocco, Alfonso Pierantonio
Comments: 8 pages -- 3rd International Workshop on Model-Driven Engineering for Software Architecture (MDE4SA 2023)
Subjects: Software Engineering (cs.SE)
[20]  arXiv:2301.12169 [pdf, other]
Title: Navigating Complexity in Software Engineering: A Prototype for Comparing GPT-n Solutions
Authors: Christoph Treude
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[21]  arXiv:2301.12102 [pdf, other]
Title: Characterizing and Detecting WebAssembly Runtime Bugs
Authors: Yixuan Zhang, Shangtong Cao, Haoyu Wang, Zhenpeng Chen, Xiapu Luo, Dongliang Mu, Yun Ma, Gang Huang, Xuanzhe Liu
Subjects: Software Engineering (cs.SE)
[22]  arXiv:2301.12090 [pdf, other]
Title: Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation
Authors: Alessio Ferrari, Paola Spoletini
Subjects: Software Engineering (cs.SE)
[23]  arXiv:2301.12000 [pdf, other]
Title: Beyond Classroom: Making a Difference in Diversity in Tech
Authors: Barbora Buhnova
Comments: In Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights. Apress, 2023
Subjects: Software Engineering (cs.SE)
[24]  arXiv:2301.12867 (cross-list from cs.CL) [pdf, other]
Title: Exploring AI Ethics of ChatGPT: A Diagnostic Analysis
Authors: Terry Yue Zhuo, Yujin Huang, Chunyang Chen, Zhenchang Xing
Comments: Technical Report
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)

Mon, 30 Jan 2023 (showing first 1 of 4 entries)

[25]  arXiv:2301.11723 [pdf, other]
Title: Program Dependence Net and Its Slice for Verifying Linear Temporal Properties
Authors: Zhijun Ding, Shuo Li, Cheng Chen, Cong He
Comments: 37 pages, 6 figures
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[ total of 43 entries: 1-25 | 26-43 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2301, contact, help  (Access key information)