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

Software Engineering

Authors and titles for recent submissions, skipping first 17

[ total of 44 entries: 1-50 | 18-44 ]
[ showing up to 50 entries per page: fewer | more ]

Thu, 11 Aug 2022 (continued, showing last 6 of 10 entries)

[18]  arXiv:2208.05273 [pdf, other]
Title: Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process
Authors: Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves, Greg Chance, Tony Pipe, Kerstin Eder
Comments: 6 pages, 4 figures
Subjects: Software Engineering (cs.SE)
[19]  arXiv:2208.05266 [pdf, other]
Title: Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
Authors: Maurice H. ter Beek, Alessio Ferrari
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[20]  arXiv:2208.05227 [pdf, other]
Title: Multi-View Pre-Trained Model for Code Vulnerability Identification
Authors: Xuxiang Jiang, Yinhao Xiao, Jun Wang, Wei Zhang
Comments: Accepted By WASA'2022
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[21]  arXiv:2208.05219 [pdf, other]
Title: Capturing Dependencies within Machine Learning via a Formal Process Model
Authors: Fabian Ritz, Thomy Phan, Andreas Sedlmeier, Philipp Altmann, Jan Wieghardt, Reiner Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien, Thomas Gabor
Comments: 10 pages, 5 figures, draft; the final version will appear in the proceedings of the International Symposium on Leveraging Applications of Formal Methods (ISoLA) 2022
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[22]  arXiv:2208.05046 [pdf, other]
Title: Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
Authors: Dirk Beyer, Nian-Ze Lee, Philipp Wendler
Comments: 23 pages, 6 figures, 2 tables
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[23]  arXiv:2208.05440 (cross-list from cs.LG) [pdf, other]
Title: Differentiable Inference of Temporal Logic Formulas
Authors: Nicole Fronda, Houssam Abbas
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

Wed, 10 Aug 2022

[24]  arXiv:2208.04692 [pdf, other]
Title: A Tutorial on the Interoperability of Self-sovereign Identities
Authors: Hakan Yildiz, Axel Küpper, Dirk Thatmann, Sebastian Göndör, Patrick Herbke
Comments: Submitted to IEEE Communications Surveys & Tutorials
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[25]  arXiv:2208.04351 [pdf, other]
Title: Learning to Learn to Predict Performance Regressions in Production at Meta
Authors: Moritz Beller, Hongyu Li, Vivek Nair, Vijayaraghavan Murali, Imad Ahmad, Jürgen Cito, Drew Carlson, Ari Aye, Wes Dyer
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[26]  arXiv:2208.04761 (cross-list from cs.CY) [pdf]
Title: Digital health shopping assistant with React Native: a simple technological solution to a complex health problem
Authors: Alina Govoruhina, Anastasija Nikiforova
Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)
[27]  arXiv:2208.04719 (cross-list from cs.CR) [pdf, other]
Title: STELLA: Sparse Taint Analysis for Enclave Leakage Detection
Authors: Yang Chen, Jianfeng jiang, Shoumeng Yan, Hui Xu
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[28]  arXiv:2208.04713 (cross-list from cs.CY) [pdf, ps, other]
Title: Reflections on the Evolution of Computer Science Education
Authors: Sreekrishnan Venkateswaran
Comments: Preprint Edition of the paper published in ACM SIGSOFT Software Engineering Notes (SEN), Volume 47, Issue 3, July 2022 (this https URL)
Journal-ref: ACM SIGSOFT Software Engineering Notes (SEN), Volume 47, Issue 3, July2022
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[29]  arXiv:2208.04631 (cross-list from cs.PL) [pdf, other]
Title: Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules
Authors: Gerard Tabone, Adrian Francalanza
Comments: In Proceedings ICE 2022, arXiv:2208.04086
Journal-ref: EPTCS 365, 2022, pp. 17-36
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

Tue, 9 Aug 2022

[30]  arXiv:2208.04261 [pdf, other]
Title: Software Security during Modern Code Review: The Developer's Perspective
Authors: Larissa Braz, Alberto Bacchelli
Comments: This paper has been accepted at ESEC/FSE '22 (30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering)
Subjects: Software Engineering (cs.SE)
[31]  arXiv:2208.04259 [pdf, other]
Title: First Come First Served: The Impact of File Position on Code Review
Authors: Enrico Fregnan, Larissa Braz, Marco D'Ambros, Gül Çalikli, Alberto Bacchelli
Comments: This paper has been accepted at ESEC/FSE '22 (30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering)
Subjects: Software Engineering (cs.SE)
[32]  arXiv:2208.04125 [pdf, other]
Title: Is this Change the Answer to that Problem? Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness
Authors: Haoye Tian, Xunzhu Tang, Andrew Habib, Shangwen Wang, Kui Liu, Xin Xia, Jacques Klein, Tegawendé F. Bissyandé
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[33]  arXiv:2208.04096 [pdf, other]
Title: Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation
Authors: Zhichao Zhou, Yuming Zhou, Chunrong Fang, Zhenyu Chen, Yutian Tang
Subjects: Software Engineering (cs.SE)
[34]  arXiv:2208.04074 [pdf, other]
Title: Bug-Fix Variants: Visualizing Unique Source Code Changes across GitHub Forks
Authors: Daigo Imamura, Takashi Ishio, Raula Gaikovina Kula, Kenichi Matsumoto
Comments: Accepted Short Paper to VISSOFT 2022
Subjects: Software Engineering (cs.SE)
[35]  arXiv:2208.04062 [pdf, other]
Title: Testing of Machine Learning Models with Limited Samples: An Industrial Vacuum Pumping Application
Authors: Ayan Chatterjee, Bestoun S. Ahmed, Erik Hallin, Anton Engman
Comments: 11 pages
Journal-ref: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022)
Subjects: Software Engineering (cs.SE)
[36]  arXiv:2208.04003 [pdf, other]
Title: On the Benefits And Problems Related to Using Definition of Done -- A Survey Study
Authors: Sylwia Kopczynska, Jakub Piechowiak, Miroslaw Ochodek, Jerzy Nawrocki
Journal-ref: Journal of Systems and Software, 2022, 111479, ISSN 0164-1212
Subjects: Software Engineering (cs.SE)
[37]  arXiv:2208.03988 [pdf, other]
Title: Fuzzing Microservices In Industry: Experience of Applying EvoMaster at Meituan
Authors: Man Zhang, Andrea Arcuri, Yonggang Li, Kaiming Xue, Zhao Wang, Jian Huo, Weiwei Huang
Subjects: Software Engineering (cs.SE)
[38]  arXiv:2208.03938 [pdf, other]
Title: Constructing Large-Scale Real-World Benchmark Datasets for AIOps
Authors: Zeyan Li, Nengwen Zhao, Shenglin Zhang, Yongqian Sun, Pengfei Chen, Xidao Wen, Minghua Ma, Dan Pei
Subjects: Software Engineering (cs.SE); Performance (cs.PF)
[39]  arXiv:2208.03922 [pdf, other]
Title: CSSAM:Code Search via Attention Matching of Code Semantics and Structures
Authors: Yi Hu, Bo Cai, Yaoxiang Yu
Comments: arXiv admin note: text overlap with arXiv:1909.13516 by other authors
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)
[40]  arXiv:2208.03407 [pdf, other]
Title: An Overview of Structural Coverage Metrics for Testing Neural Networks
Authors: Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[41]  arXiv:2208.04213 (cross-list from cs.DC) [pdf]
Title: Hybrid Serverless Computing: Opportunities and Challenges
Authors: Paul Castro, Vatche Isahagian, Vinod Muthusamy, Aleksander Slominski
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[42]  arXiv:2208.04211 (cross-list from cs.RO) [pdf, other]
Title: Behavior Trees and State Machines in Robotics Applications
Authors: Razan Ghzouli, Swaib Dragule, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski
Comments: 23 pages, 10 figures. This work is submitted to IEEE TSE Journal. arXiv admin note: substantial text overlap with arXiv:2010.06256
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[43]  arXiv:2208.03518 (cross-list from cs.LO) [pdf, ps, other]
Title: A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
Authors: Maximiliano Cristiá, Gianfranco Rossi
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[44]  arXiv:2208.03484 (cross-list from cs.CR) [pdf, other]
Title: Towards Interdependent Safety Security Assessments using Bowties
Authors: Luca Arnaboldi, David Aspinall
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[ total of 44 entries: 1-50 | 18-44 ]
[ showing up to 50 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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