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

Software Engineering

Authors and titles for recent submissions

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

Tue, 4 Oct 2022

[1]  arXiv:2210.00859 [pdf]
Title: Requirements Engineering for Machine Learning: A Review and Reflection
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[2]  arXiv:2210.00848 [pdf, other]
Title: I Speak, You Verify: Toward Trustworthy Neural Program Synthesis
Comments: 10 pages, 6 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL)
[3]  arXiv:2210.00328 [pdf, other]
Title: CodeDSI: Differentiable Code Search
Comments: 6 pages, 2 figures
Subjects: Software Engineering (cs.SE); Information Retrieval (cs.IR)
[4]  arXiv:2210.00236 [pdf]
Title: Software system rationalisation: How to get better outcomes through stronger user engagement
Comments: 12 pages, 5 figures, 3 tables, 10 references
Subjects: Software Engineering (cs.SE); General Literature (cs.GL)
[5]  arXiv:2210.00139 [pdf, other]
Title: Code Reviews in Open Source Projects : How Do Gender Biases Affect Participation and Outcomes?
Subjects: Software Engineering (cs.SE)
[6]  arXiv:2210.00095 [pdf]
Title: Safety-Critical Adaptation in Self-Adaptive Systems
Comments: Submitted to The 1st IEEE International Workshop on Assured Autonomy, Artificial Intelligence and Machine Learning (WAAM) 2022
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[7]  arXiv:2210.01047 (cross-list from cs.PL) [pdf, ps, other]
Title: Testing by Dualization
Authors: Yishuai Li
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[8]  arXiv:2210.00982 (cross-list from cs.MA) [pdf, other]
Title: Assuring safety of vision-based swarm formation control
Authors: Chiao Hsieh (1), Yangge Li (1), Yubin Koh (1), Sayan Mitra (1) ((1) Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign)
Comments: 7 pages, 9 figures, submitted to the 40th IEEE Conference on Robotics and Automation (ICRA 2023)
Subjects: Multiagent Systems (cs.MA); Robotics (cs.RO); Software Engineering (cs.SE)
[9]  arXiv:2210.00896 (cross-list from physics.soc-ph) [pdf, other]
Title: CBLab: Scalable Traffic Simulation with Enriched Data Supporting
Subjects: Physics and Society (physics.soc-ph); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

Mon, 3 Oct 2022

[10]  arXiv:2209.15438 [pdf, other]
Title: Empowering the trustworthiness of ML-based critical systems through engineering activities
Comments: This work has been supported by the French government under the "France 2030" program, as part of the SystemX Technological Research Institute Research Institute
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[11]  arXiv:2209.15369 [pdf, other]
Title: Towards effective assessment of steady state performance in Java software: Are we there yet?
Comments: Accepted for publication in Empirical Software Engineering (EMSE)
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2209.15260 [pdf]
Title: A Multiple Criteria Decision Analysis based Approach to Remove Uncertainty in SMP Models
Comments: Submitted for peer review
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[13]  arXiv:2209.15075 [pdf]
Title: What UAE Software Students Think about Software Testing: A Replicated Study
Comments: 9 pagges. arXiv admin note: text overlap with arXiv:2205.07781, arXiv:2007.12632
Journal-ref: 9th International Conference on Computers Communications and Control (ICCCC 2022), Oradea, Romania, in Springer Series: Intelligent Methods Systems and Applications in Computing, Communications and Control
Subjects: Software Engineering (cs.SE)
[14]  arXiv:2209.15011 [pdf, other]
Title: Does Collaborative Editing Help Mitigate Security Vulnerabilities in Crowd-Shared IoT Code Examples?
Comments: 10 pages, 14 figures, ESEM22
Subjects: Software Engineering (cs.SE)
[15]  arXiv:2209.15620 (cross-list from cs.CR) [pdf, other]
Title: Family-Based Fingerprint Analysis: A Position Paper
Comments: Paper published in the Proceedings A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday 2022
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Software Engineering (cs.SE)

Fri, 30 Sep 2022

[16]  arXiv:2209.14924 [pdf]
Title: Chandojnanam: A Sanskrit Meter Identification and Utilization System
Comments: to be published in "18th World Sanskrit Conference (WSC 2023)"
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[17]  arXiv:2209.14876 [pdf, other]
Title: Repairing Bugs in Python Assignments Using Large Language Models
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[18]  arXiv:2209.14714 [pdf, other]
Title: Evolving Reference Architecture Description: Guidelines based on ISO/IEC/IEEE 42010
Comments: 17 pages, 2 figures, 2 algorithms, 11 tables
Subjects: Software Engineering (cs.SE)
[19]  arXiv:2209.14422 [pdf, other]
Title: StacerBot: A Stacktrace Search Engine for Stack Overflow
Subjects: Software Engineering (cs.SE)
[20]  arXiv:2209.14300 [pdf]
Title: Locally Weighted Regression with different Kernel Smoothers for Software Effort Estimation
Subjects: Software Engineering (cs.SE)
[21]  arXiv:2209.14299 [pdf]
Title: Software Defect Prediction Using Support Vector Machine
Subjects: Software Engineering (cs.SE)
[22]  arXiv:2209.14879 (cross-list from cs.CR) [pdf]
Title: OpenDSU: Digital Sovereignty in PharmaLedger
Comments: 18 pages, 8 figures
Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Social and Information Networks (cs.SI); Systems and Control (eess.SY)
[23]  arXiv:2209.14708 (cross-list from cs.HC) [pdf, other]
Title: TruEyes: Utilizing Microtasks in Mobile Apps for Crowdsourced Labeling of Machine Learning Datasets
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[24]  arXiv:2209.14457 (cross-list from cs.DB) [pdf, other]
Title: Consensus-Free Spreadsheet Integration
Subjects: Databases (cs.DB); Software Engineering (cs.SE)

Thu, 29 Sep 2022

[25]  arXiv:2209.14263 [pdf]
Title: Enhancing Agile Software Development Sustainability through the Integration of User Experience and Gamification
Comments: 8 pages, 2 figures, XP 2022 conference
Subjects: Software Engineering (cs.SE)
[26]  arXiv:2209.14227 [pdf, other]
Title: FV Time: a formally verified Coq library
Subjects: Software Engineering (cs.SE)
[27]  arXiv:2209.14155 [pdf, other]
Title: Automatic Analysis of Available Source Code of Top Artificial Intelligence Conference Papers
Comments: Please cite the version of IJSEKE
Journal-ref: International Journal of Software Engineering and Knowledge Engineering, Vol. 32, No. 07, pp. 947-970 (2022)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Digital Libraries (cs.DL); Machine Learning (cs.LG)
[28]  arXiv:2209.14071 [pdf, other]
Title: Towards Auditable Distributed Systems
Authors: Lev Sorokin
Comments: Editor: Ib\'eria Medeiros. 18th European Dependable Computing Conference (EDCC 2022), September 12-15, 2022, Zaragoza, Spain. Student Forum Proceedings - EDCC 2022
Subjects: Software Engineering (cs.SE)
[29]  arXiv:2209.14060 [pdf, other]
Title: Design Guidelines for Improving User Experience in Industrial Domain-Specific Modelling Languages
Comments: 12 pages, 5 figures
Subjects: Software Engineering (cs.SE)
[30]  arXiv:2209.14057 [pdf, other]
Title: How Far Does the Predictive Decision Impact the Software Project? The Cost, Service Time, and Failure Analysis from a Cross-Project Defect Prediction Model
Subjects: Software Engineering (cs.SE)
[31]  arXiv:2209.14055 [pdf, other]
Title: Dealing with Data Challenges when Delivering Data-Intensive Software Solutions
Comments: Submitted to IEEE Transactions on Software Engineering, 20 pages, 3 Figures, 1 Table
Subjects: Software Engineering (cs.SE)
[32]  arXiv:2209.14044 [pdf, other]
Title: Extending Attack-Fault Trees with Runtime Verification
Authors: Rafael C. Cardoso (University of Aberdeen), Angelo Ferrando (University of Genova), Michael Fisher (The University of Manchester)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 193-207
Subjects: Software Engineering (cs.SE)
[33]  arXiv:2209.14034 [pdf, other]
Title: From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata
Authors: Maike Schwammberger (University of Oldenburg), Verena Klös (TU Berlin)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 20-37
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[34]  arXiv:2209.14028 [pdf, ps, other]
Title: Bounded Invariant Checking for Stateflow
Authors: Predrag Filipovikj (Scania CV AB), Gustav Ung (Scania CV AB), Dilian Gurov (KTH Royal Institute of Technology), Mattias Nyberg (Scania CV AB)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181. arXiv admin note: substantial text overlap with arXiv:2103.06248
Journal-ref: EPTCS 371, 2022, pp. 38-52
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[35]  arXiv:2209.13995 [pdf, other]
Title: Revealing the Semantics of Data Wrangling Scripts With COMANTICS
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[36]  arXiv:2209.13978 [pdf, other]
Title: Feature Sets in Just-in-Time Defect Prediction: An Empirical Evaluation
Comments: 10 pages, 3 figures, accepted at the 18th edition of the International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE'22)
Subjects: Software Engineering (cs.SE)
[37]  arXiv:2209.14147 (cross-list from cs.DC) [pdf, other]
Title: Mobile Edge Computing, Metaverse, 6G Wireless Communications, Artificial Intelligence, and Blockchain: Survey and Their Convergence
Authors: Yitong Wang, Jun Zhao
Comments: This paper appears in the Proceedings of 2022 IEEE 8th World Forum on Internet of Things (WF-IoT). Please feel free to contact us for questions or remarks
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)
[38]  arXiv:2209.14036 (cross-list from cs.LO) [pdf, other]
Title: Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata
Authors: Gleifer Vaz Alves (UTFPR), Maike Schwammberger (University of Oldenburg)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 77-85
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[39]  arXiv:2209.13731 (cross-list from quant-ph) [pdf, ps, other]
Title: Software science view on quantum circuit algorithms
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Software Engineering (cs.SE); Mathematical Physics (math-ph)
[ total of 43 entries: 1-39 | 40-43 ]
[ showing 39 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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