Software Engineering

Authors and titles for cs.SE in Sep 2020, skipping first 125

[126]  arXiv:2009.07990 (cross-list from cs.FL) [pdf, other]

Title: An Abstract Framework for Choreographic Testing

Authors: Alex Coto (GSSI), Roberto Guanciale (KTH), Emilio Tuosto (GSSI)

Comments: In Proceedings ICE 2020, arXiv:2009.07628

Journal-ref: EPTCS 324, 2020, pp. 43-60

Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

[127]  arXiv:2009.07991 (cross-list from cs.LO) [pdf, ps, other]

Title: Towards Refinable Choreographies

Authors: Ugo de'Liguoro (Università di Torino), Hernán Melgratti (Universidad de Buenos Aires), Emilio Tuosto (Gran Sasso Science Institute)

Comments: In Proceedings ICE 2020, arXiv:2009.07628

Journal-ref: EPTCS 324, 2020, pp. 61-77

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[128]  arXiv:2009.08289 (cross-list from cs.DC) [pdf, other]

Title: Extending SLURM for Dynamic Resource-Aware Adaptive Batch Scheduling

Authors: Mohak Chadha, Jophin John, Michael Gerndt

Comments: IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC) 2020

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[129]  arXiv:2009.08700 (cross-list from cs.PL) [pdf, ps, other]

Title: A Visual Language for Composable Inductive Programming

Authors: Edward McDaid, Sarah McDaid

Comments: 10 pages, 4 figures

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[130]  arXiv:2009.09117 (cross-list from cs.PL) [pdf, other]

Title: Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments

Authors: Roger Scott, Joseph Ranieri, Lucja Kot, Vineeth Kashyap

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[131]  arXiv:2009.09943 (cross-list from cs.LG) [pdf, other]

Title: NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation

Authors: Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang

Comments: Published as a conference paper at ASE 2020

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Software Engineering (cs.SE); Machine Learning (stat.ML)

[132]  arXiv:2009.10245 (cross-list from cs.DC) [pdf, other]

Title: Continuous Reasoning for Managing Next-Gen Distributed Applications

Authors: Stefano Forti (Department of Computer Science, University of Pisa, Italy), Antonio Brogi (Department of Computer Science, University of Pisa, Italy)

Comments: In Proceedings ICLP 2020, arXiv:2009.09158

Journal-ref: EPTCS 325, 2020, pp. 164-177

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[133]  arXiv:2009.10638 (cross-list from cs.MA) [pdf, other]

Title: Sense-Deliberate-Act Cognitive Agents for Sense-Compute-Control Applications in the Internet of Things & Services

Authors: Armin Moin

Comments: International Internet of Things Summit - IoT360 2014: Internet of Things. User-Centric IoT pp 23-28

Journal-ref: Internet of Things. User-Centric IoT, 2015

Subjects: Multiagent Systems (cs.MA); Software Engineering (cs.SE)

[134]  arXiv:2009.10643 (cross-list from cs.HC) [pdf, other]

Title: mage: Fluid Moves Between Code and Graphical Work in Computational Notebooks

Authors: Mary Beth Kery, Donghao Ren, Fred Hohman, Dominik Moritz, Kanit Wongsuphasawat, Kayur Patel

Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[135]  arXiv:2009.11484 (cross-list from cs.CR) [pdf, ps, other]

Title: Pandora: A Cyber Range Environment for the Safe Testing and Deployment of Autonomous Cyber Attack Tools

Authors: Hetong Jiang, Taejun Choi, Ryan K. L. Ko

Comments: 20 pages, 10 figures, to be published in SSCC 2020

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[136]  arXiv:2009.13250 (cross-list from cs.LG) [pdf, ps, other]

Title: Advancing the Research and Development of Assured Artificial Intelligence and Machine Learning Capabilities

Authors: Tyler J. Shipp, Daniel J. Clouse, Michael J. De Lucia, Metin B. Ahiskali, Kai Steverson, Jonathan M. Mullin, Nathaniel D. Bastian

Comments: Presented at AAAI FSS-20: Artificial Intelligence in Government and Public Sector, Washington, DC, USA

Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Computers and Society (cs.CY); Software Engineering (cs.SE)

[137]  arXiv:2009.05015 (cross-list from stat.AP) [pdf, ps, other]

Title: Bias Variance Tradeoff in Analysis of Online Controlled Experiments

Authors: Ali Mahmoudzadeh, Sophia Liu, Sol Sadeghi, Paul Luo Li, Somit Gupta

Subjects: Applications (stat.AP); Software Engineering (cs.SE)