English
Related papers

Related papers: An Empirical Study of Automation in Software Secur…

200 papers

In the software industry, artificial intelligence (AI) has been utilized more and more in software development activities. In some activities, such as coding, AI has already been an everyday tool, but in software testing activities AI it…

Software Engineering · Computer Science 2025-04-08 Katja Karhu , Jussi Kasurinen , Kari Smolander

Operators performing high-stakes, safety-critical tasks - such as air traffic controllers, surgeons, or mission control personnel - must maintain exceptional cognitive performance under variable and often stressful conditions. This paper…

Human-Computer Interaction · Computer Science 2025-06-30 Maciej Grzeszczuk , Grzegorz Pochwatko , Barbara Karpowicz , Stanisław Knapiński , Wiesław Kopeć

Software supply chain attacks have increased exponentially since 2020. The primary attack vectors for supply chain attacks are through: (1) software components; (2) the build infrastructure; and (3) humans (a.k.a software practitioners).…

Cryptography and Security · Computer Science 2025-09-11 Laurie Williams , Sammy Migues

Many industrial tasks-such as sanding, installing fasteners, and wire harnessing-are difficult to automate due to task complexity and variability. We instead investigate deploying robots in an assistive role for these tasks, where the robot…

Robotics · Computer Science 2024-01-24 Michael Hagenow , Emmanuel Senft , Robert Radwin , Michael Gleicher , Michael Zinn , Bilge Mutlu

Security risk assessment methods have served us well over the last two decades. As the complexity, pervasiveness and automation of technology systems increases, particularly with the Internet of Things (IoT), there is a convincing argument…

Cryptography and Security · Computer Science 2018-06-29 Jason R. C. Nurse , Petar Radanliev , Sadie Creese , David De Roure

For workers, the exposure to on-site hazards can result in fatalities and serious injuries. To improve safety outcomes, different approaches have been implemented for health and safety training in the construction sector, such as…

Computers and Society · Computer Science 2018-08-08 Yifan Gao , Vicente Gonzalez , Tak Wing Yiu

New model of software safety is offered. Distribution of mistakes in program on stages of life cycle is researched. Study of ways of increase of reliability of software at help simulation program is leaded.

Software Engineering · Computer Science 2008-07-02 Arkadiy Khandjian

Given the complexity of typical data science projects and the associated demand for human expertise, automation has the potential to transform the data science process. Key insights: * Automation in data science aims to facilitate and…

Organizations that develop software have recognized that software process models are particularly useful for maintaining a high standard of quality. In the last decade, simulations of software processes were used in several settings and…

Software Engineering · Computer Science 2014-02-24 Holger Neu , Thomas Hanne , Jürgen Münch , Stefan Nickel , Andreas Wirsen

Manufacturing requires consistent production rate and task success for sustainable operation. Some manufacturing tasks require a semi-autonomous approach, exploiting the combination of human adaptability and machine precision and speed, to…

Systems and Control · Computer Science 2015-11-20 Parker Owan , Joseph Garbini , Santosh Devasia

Shared control is a form of video gaming accessibility support that allows players with disabilities to delegate inaccessible controls to another person. Through interviews involving 14 individuals with lived experience of accessible gaming…

Human-Computer Interaction · Computer Science 2026-04-15 Dragan Ahmetovic , Matteo Manzoni , Filippo Corti , Sergio Mascetti

Context: Today's safety critical systems are increasingly reliant on software. Software becomes responsible for most of the critical functions of systems. Many different safety analysis techniques have been developed to identify hazards of…

Software Engineering · Computer Science 2016-12-02 Asim Abdulkhaleq , Stefan Wagner

Automated vulnerability patching is crucial for software security, and recent advancements in Large Language Models (LLMs) present promising capabilities for automating this task. However, existing research has primarily assessed LLMs using…

Cryptography and Security · Computer Science 2025-12-01 Aayush Garg , Zanis Ali Khan , Renzo Degiovanni , Qiang Tang

Software developers face risks of leaking their software secrets, such as API keys or passwords, which can result in significant harm. Secret management tools (SMTs), such as HashiCorp Vault Secrets or Infisical, are highly recommended by…

Human-Computer Interaction · Computer Science 2025-09-12 Lorenzo Neil , Deepthi Mungara , Laurie Williams , Yasemin Acar , Bradley Reaves

To improve software developers' productivity has been the holy grail of software engineering research. But before we can claim to have improved it, we must first be able to measure productivity. This is far from trivial. In fact, two…

Software Engineering · Computer Science 2020-12-15 Moritz Beller , Vince Orgovan , Spencer Buja , Thomas Zimmermann

The advance of web services technologies promises to have far-reaching effects on the Internet and enterprise networks allowing for greater accessibility of data. The security challenges presented by the web services approach are…

Logic in Computer Science · Computer Science 2012-06-15 Michele Barletta , Silvio Ranise , Luca Viganò

[Background] The rapidly changing business environments in which many companies operate is challenging traditional Requirements Engineering (RE) approaches. This gave rise to agile approaches for RE. Security, at the same time, is an…

Software Engineering · Computer Science 2018-06-06 H. Villamizar , M. Kalinowski , M. Viana , D. Méndez Fernández

Crafting automation systems tailored for specific domains requires aligning the space of human experts' semantics with the space of robot executable actions, and scheduling the required resources and system layout accordingly. Regrettably,…

Robotics · Computer Science 2024-10-10 Yu-Zhe Shi , Qiao Xu , Fanxu Meng , Lecheng Ruan , Qining Wang

Robotics simulation plays an important role in the design, development, and verification and validation of robotic systems. Recent studies have shown that simulation may be used as a cheaper, safer, and more reliable alternative to manual,…

Robotics · Computer Science 2020-04-17 Afsoon Afzal , Deborah S. Katz , Claire Le Goues , Christopher S. Timperley

Patching nodes is an effective network defense strategy for malware control at early stages, and its performance is primarily dependent on how accurately the infection propagation is characterized. In this paper, we aim to design a novel…

Networking and Internet Architecture · Computer Science 2025-11-03 Minh Phu Vuong , Chul-Ho Lee , Do Young Eun