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

Software Engineering

Authors and titles for cs.SE in Nov 2021, skipping first 25

[ total of 110 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-110 ]
[ showing 25 entries per page: fewer | more | all ]
[26]  arXiv:2111.04837 [pdf, other]
Title: D$^2$ABS: A Framework for Dynamic Dependence Abstraction of Distributed Programs
Comments: 23 pages, 7 figures, 8 tables
Journal-ref: IEEE Transactions on Software Engineering (TSE), 2021
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[27]  arXiv:2111.04910 [pdf]
Title: Structure-Behavior Coalescence Process Algebra -- Toward a Unified View of the System in Model-Based Systems Engineering
Authors: William S. Chao
Comments: arXiv admin note: substantial text overlap with arXiv:2110.15526
Subjects: Software Engineering (cs.SE)
[28]  arXiv:2111.04916 [pdf]
Title: Building an AI-ready RSE Workforce
Authors: Ying Zhang (1), Matthew A. Gitzendanner (1), Dan S. Maxwell (1), Justin W. Richardson (1), Kaleb E. Smith (2), Eric A. Stubbs (1), Brian J. Stucky (1), Jingchao Zhang (2), Erik Deumens (1) ((1) University of Florida, (2) NVIDIA)
Comments: 3 pages. Research Software Engineers in HPC Workshop (RSE-HPC-2021) at SC21
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[29]  arXiv:2111.05003 [pdf, other]
Title: An Empirical Study of Automated Unit Test Generation for Python
Comments: 51 pages, submitted to EMSE Special Issue on Advances in Search-Based Software Engineering. arXiv admin note: text overlap with arXiv:2007.14049
Subjects: Software Engineering (cs.SE)
[30]  arXiv:2111.05132 [pdf, other]
Title: BreakBot: Analyzing the Impact of Breaking Changes to Assist Library Evolution
Authors: Lina Ochoa (TU/e), Thomas Degueule (LaBRI), Jean-Rémy Falleri (LaBRI, IUF)
Comments: 44th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2022, May 2022, Pittsburgh, United States
Subjects: Software Engineering (cs.SE)
[31]  arXiv:2111.05287 [pdf, other]
Title: Test cases as a measurement instrument in experimentation
Comments: Author list fixed
Subjects: Software Engineering (cs.SE)
[32]  arXiv:2111.05290 [pdf, other]
Title: Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Comments: This is the extended version of the paper with the same title published at VMCAI 2022
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[33]  arXiv:2111.05327 [pdf, other]
Title: An adaptive 3D virtual learning environment for training software developers in scrum
Subjects: Software Engineering (cs.SE)
[34]  arXiv:2111.05391 [pdf, ps, other]
Title: Statistical Perspectives on Reliability of Artificial Intelligence Systems
Comments: 40 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Applications (stat.AP)
[35]  arXiv:2111.05649 [pdf, other]
Title: A Comprehensive Evaluation of Android ICC Resolution Techniques
Subjects: Software Engineering (cs.SE)
[36]  arXiv:2111.05711 [pdf, other]
Title: Counterfactual Explanations for Models of Code
Comments: 10 pages, 6 listings, 2 algorithms, 2 tables, 1 figure
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[37]  arXiv:2111.05713 [pdf, ps, other]
Title: Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques
Comments: Accepted at the 21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021)
Subjects: Software Engineering (cs.SE)
[38]  arXiv:2111.05827 [pdf]
Title: Data-Driven AI Model Signal-Awareness Enhancement and Introspection
Comments: Fixed author email ids
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[39]  arXiv:2111.05999 [pdf, ps, other]
Title: What Does the Post-Moore Era Mean for Research Software Engineering?
Authors: Kazutomo Yoshii
Comments: Research Software Engineers in HPC (RSE-HPC-2021) this https URL
Subjects: Software Engineering (cs.SE)
[40]  arXiv:2111.06193 [pdf]
Title: Agile Information System Development Organizations Transforming to Large-Scale Collaboration
Comments: 18 pages, 5 figures, 2 tables
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[41]  arXiv:2111.06301 [pdf, other]
Title: Developing and Publishing Code for Trusted Research Environments: Best Practices and Ways of Working
Authors: Ed Chalstrey
Subjects: Software Engineering (cs.SE)
[42]  arXiv:2111.06840 [pdf]
Title: Reliability Models for Smartphone Applications
Comments: 25 pages. arXiv admin note: substantial text overlap with arXiv:1910.02452
Journal-ref: 5th Computational Methods in Systems and Software (CoMeSySo 2021), Lecture Notes in Networks and Systems (LNNS 232), pp. 1-25, Springer Nature Switzerland AG, October 2021
Subjects: Software Engineering (cs.SE)
[43]  arXiv:2111.07002 [pdf, other]
Title: Refactoring for Reuse: An Empirical Study
Subjects: Software Engineering (cs.SE)
[44]  arXiv:2111.07101 [pdf]
Title: Reputation Gaming in Stack Overflow
Authors: Iren Mazloomzadeh (1), Gias Udin (2), Foutse Khomh (3), Ashkan Sami (4) ((1) Persian Gulf University, (2) University of Calgary, (3) Polytechnique Montréal, (4) Shiraz University)
Subjects: Software Engineering (cs.SE)
[45]  arXiv:2111.07238 [pdf, other]
Title: FACOS: Finding API Relevant Contents on Stack Overflow with Semantic and Syntactic Analysis
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[46]  arXiv:2111.07538 [html]
Title: Proceedings First Workshop on Applicable Formal Methods
Authors: Mario Gleirscher (University of Bremen), Jaco van de Pol (Aarhus University), Jim Woodcock (University of York)
Journal-ref: EPTCS 349, 2021
Subjects: Software Engineering (cs.SE)
[47]  arXiv:2111.07739 [pdf, other]
Title: Beep: Fine-grained Fix Localization by Learning to Predict Buggy Code Elements
Subjects: Software Engineering (cs.SE)
[48]  arXiv:2111.07752 [pdf]
Title: Parsing Data Formats of the Inputs and Outputs of Geographic Models with Code Analysis
Comments: 22 pages, 7 figures
Subjects: Software Engineering (cs.SE)
[49]  arXiv:2111.07875 [pdf, other]
Title: Choose Your Programming Copilot: A Comparison of the Program Synthesis Performance of GitHub Copilot and Genetic Programming
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[50]  arXiv:2111.08203 [pdf, ps, other]
Title: Is CADP an Applicable Formal Method?
Comments: In Proceedings AppFM 2021, arXiv:2111.07538
Journal-ref: EPTCS 349, 2021, pp. 1-11
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[ total of 110 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-110 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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