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

Software Engineering

Authors and titles for recent submissions, skipping first 9

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

Fri, 2 Dec 2022 (continued, showing last 2 of 5 entries)

[10]  arXiv:2212.00087 [pdf, other]
Title: Towards automated open source assessment -- An empirical study
Subjects: Software Engineering (cs.SE)
[11]  arXiv:2212.00619 (cross-list from quant-ph) [pdf, ps, other]
Title: Automated Quantum Software Engineering: why? what? how?
Authors: Aritra Sarkar
Comments: 9 pages, article is based on a talk delivered at Vrije Universiteit Brussel
Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Software Engineering (cs.SE)

Thu, 1 Dec 2022

[12]  arXiv:2211.17218 [pdf, other]
Title: Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems
Comments: 24 pages
Subjects: Software Engineering (cs.SE)
[13]  arXiv:2211.16716 [pdf, other]
Title: Automated Generating Natural Language Requirements based on Domain Ontology
Subjects: Software Engineering (cs.SE)
[14]  arXiv:2211.16587 [pdf, other]
Title: Rigorous Assessment of Model Inference Accuracy using Language Cardinality
Comments: Under review
Subjects: Software Engineering (cs.SE)
[15]  arXiv:2211.16895 (cross-list from cs.HC) [pdf, other]
Title: Self-Adaptive Digital Assistance Systems for Work 4.0
Comments: Preprint of our book chapter in: Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective, Springer-Vieweg, 2022
Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

Wed, 30 Nov 2022

[16]  arXiv:2211.15844 [pdf, other]
Title: How Important are Good Method Names in Neural Code Generation? A Model Robustness Perspective
Comments: UNDER REVIEW
Subjects: Software Engineering (cs.SE)
[17]  arXiv:2211.15733 [pdf, other]
Title: An Empirical Study of Library Usage and Dependency in Deep Learning Frameworks
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[18]  arXiv:2211.16490 (cross-list from cs.LG) [pdf, other]
Title: Coder Reviewer Reranking for Code Generation
Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Programming Languages (cs.PL); Software Engineering (cs.SE)

Tue, 29 Nov 2022

[19]  arXiv:2211.15007 [pdf, other]
Title: An Exploration of Cross-Patch Collaborations via Patch Linkage in OpenStack
Subjects: Software Engineering (cs.SE)
[20]  arXiv:2211.14875 [src]
Title: Detect-Localize-Repair: A Unified Framework for Learning to Debug with CodeT5
Comments: need to revise
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[21]  arXiv:2211.14592 [pdf, other]
Title: An Efficient Black-Box Support of Advanced Coverage Criteria for Klee
Comments: 10 pages
Subjects: Software Engineering (cs.SE)
[22]  arXiv:2211.14585 [pdf, other]
Title: Safety Verification of Declarative Smart Contracts
Comments: In submission to TACAS'23
Subjects: Software Engineering (cs.SE)
[23]  arXiv:2211.15605 (cross-list from cs.DC) [pdf]
Title: Development of an Equation-based Parallelization Method for Multiphase Particle-in-Cell Simulations
Comments: 28 pages, 11 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS); Software Engineering (cs.SE)
[24]  arXiv:2211.15363 (cross-list from cs.CL) [pdf, other]
Title: On the Security Vulnerabilities of Text-to-SQL Models
Subjects: Computation and Language (cs.CL); Cryptography and Security (cs.CR); Databases (cs.DB); Machine Learning (cs.LG); Software Engineering (cs.SE)
[25]  arXiv:2211.15300 (cross-list from cs.NI) [pdf, other]
Title: P4Testgen: An Extensible Test Oracle For P4
Subjects: Networking and Internet Architecture (cs.NI); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[26]  arXiv:2211.15261 (cross-list from cs.LO) [pdf, ps, other]
Title: Flexible Correct-by-Construction Programming
Comments: arXiv admin note: substantial text overlap with arXiv:2204.05644
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[27]  arXiv:2211.15207 (cross-list from cs.LO) [pdf, ps, other]
Title: Multiple Query Satisfiability of Constrained Horn Clauses
Authors: Emanuele De Angelis (1), Fabio Fioravanti (2), Alberto Pettorossi (3), Maurizio Proietti (1) ((1) IASI-CNR, Rome, Italy, (2) DEc, University 'G. d'Annunzio', Chieti-Pescara, Italy, (3) DICII, University of Rome 'Tor Vergata', Italy)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[28]  arXiv:2211.14607 (cross-list from cs.CV) [pdf, other]
Title: Sketch2FullStack: Generating Skeleton Code of Full Stack Website and Application from Sketch using Deep Learning and Computer Vision
Comments: 12 pages, 10 figures, preprint
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Software Engineering (cs.SE)
[29]  arXiv:2211.14430 (cross-list from cs.CY) [pdf]
Title: Effectiveness of an Online Course in Programming in a State University in the Philippines
Journal-ref: International Journal of Computing Sciences Research (ISSN print: 2546-0552; ISSN online: 2546-115X) Vol. 6, November 23, 2022
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[ total of 29 entries: 1-25 | 10-29 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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