English
Related papers

Related papers: AUTOVR: Automated UI Exploration for Detecting Sen…

200 papers

The rapid digitalization of communication systems has elevated Interactive Voice Response (IVR) technologies to become critical interfaces for customer engagement. With Artificial Intelligence (AI) now driving these platforms, ensuring…

Cryptography and Security · Computer Science 2025-05-06 Khushbu Mehboob Shaikh , Georgios Giannakopoulos

We present the DRYVR framework for verifying hybrid control systems that are described by a combination of a black-box simulator for trajectories and a white-box transition graph specifying mode switches. The framework includes (a) a…

Systems and Control · Computer Science 2017-02-23 Chuchu Fan , Bolun Qi , Sayan Mitra , Mahesh Viswanathan

One core challenge in the development of automated vehicles is their capability to deal with a multitude of complex trafficscenarios with many, hard to predict traffic participants. As part of the iterative development process, it is…

Graphics · Computer Science 2025-11-25 Lars Töttel , Maximilian Zipfl , Daniel Bogdoll , Marc René Zofka , J. Marius Zöllner

We consider the problem of generating relevant execution traces to test rich interactive applications. Rich interactive applications, such as apps on mobile platforms, are complex stateful and often distributed systems where sufficiently…

Software Engineering · Computer Science 2017-08-30 Edmund S. L. Lam , Peilun Zhang , Bor-Yuh Evan Chang

As mobile devices are becoming ubiquitous, regularly interacting with a variety of user interfaces (UIs) is a common aspect of daily life for many people. To improve the accessibility of these devices and to enable their usage in a variety…

Computation and Language · Computer Science 2021-01-27 Zecheng He , Srinivas Sunkara , Xiaoxue Zang , Ying Xu , Lijuan Liu , Nevan Wichers , Gabriel Schubiner , Ruby Lee , Jindong Chen , Blaise Agüera y Arcas

Security vulnerabilities in software systems represent significant risks as potential entry points for malicious attacks. Traditional dashboards that display the results of static analysis security testing often use 2D or 3D visualizations,…

Human-Computer Interaction · Computer Science 2025-04-28 Dennis Wüppelman , Enes Yigitbas

Virtual reality (VR) technology is commonly used in entertainment applications; however, it has also been deployed in practical applications in more serious aspects of our lives, such as safety. To support people working in dangerous…

Human-Computer Interaction · Computer Science 2022-08-25 Ziming Li , Yiming Luo , Jialin Wang , Yushan Pan , Lingyun Yu , Hai-Ning Liang

Human values are an important aspect of life and should be supported in ubiquitous technologies such as mobile applications (apps). There has been a lot of focus on fixing certain kinds of violation of human values, especially privacy,…

Software Engineering · Computer Science 2021-09-30 Conghui Li , Humphrey O. Obie , Hourieh Khalajzadeh

The quality of Virtual Reality (VR) apps is vital, particularly the rendering quality of the VR Graphical User Interface (GUI). Different from traditional 2D apps, VR apps create a 3D digital scene for users, by rendering two distinct 2D…

Software Engineering · Computer Science 2024-10-30 Shuqing Li , Cuiyun Gao , Jianping Zhang , Yujia Zhang , Yepang Liu , Jiazhen Gu , Yun Peng , Michael R. Lyu

Visual prompting (VP) is an emerging parameter-efficient fine-tuning approach to adapting pre-trained vision models to solve various downstream image-classification tasks. However, there has hitherto been little systematic study of the…

Computer Vision and Pattern Recognition · Computer Science 2024-03-12 Hsi-Ai Tsao , Lei Hsiung , Pin-Yu Chen , Sijia Liu , Tsung-Yi Ho

With the growing reliance on digital devices equipped with graphical user interfaces (GUIs), such as computers and smartphones, the need for effective automation tools has become increasingly important. While multimodal large language…

Human-Computer Interaction · Computer Science 2024-10-18 Jakub Hoscilowicz , Bartosz Maj , Bartosz Kozakiewicz , Oleksii Tymoshchuk , Artur Janicki

Many underwater tasks, such as cable-and-wreckage inspection and search-and-rescue, can benefit from robust Human-Robot Interaction (HRI) capabilities. With the recent advancements in vision-based underwater HRI methods, Autonomous…

Robotics · Computer Science 2025-03-14 Sadman Sakib Enan , Junaed Sattar

The advancement in Autonomous Vehicles (AVs) has created an enormous market for the development of self-driving functionalities,raising the question of how it will transform the traditional vehicle development process. One adventurous…

Systems and Control · Computer Science 2017-03-29 Yunhan Jack Jia , Ding Zhao , Qi Alfred Chen , Z. Morley Mao

Information seeking on mobile devices is often fragmented, trapping users in repetitive cycles of context switching and data re-entry, which increases cognitive load and disrupts workflow. Existing mobile agents provide limited cross-source…

Human-Computer Interaction · Computer Science 2026-04-13 Yiheng Bian , Yunpeng Song , Guiyu Ma , Rongrong Zhu , Zhongmin Cai

We introduce FRONTMATTER: a tool to automatically mine both user interface models and behavior of Android apps at a large scale with high precision. Given an app, FRONTMATTER statically extracts all declared screens, the user interface…

Software Engineering · Computer Science 2021-05-10 Konstantin Kuznetsov , Chen Fu , Song Gao , David N. Jansen , Lijun Zhang , Andreas Zeller

Mobile applications are being used every day by more than half of the world's population to perform a great variety of tasks. With the increasingly widespread usage of these applications, the need arises for efficient techniques to test…

Software Engineering · Computer Science 2017-09-05 Ariel Rosenfeld , Odaya Kardashov , Orel Zang

Autonomous vehicles (AVs) must be both safe and trustworthy to gain social acceptance and become a viable option for everyday public transportation. Explanations about the system behaviour can increase safety and trust in AVs.…

Logic in Computer Science · Computer Science 2025-11-19 Dominik Grundt , Ishan Saxena , Malte Petersen , Bernd Westphal , Eike Möhlmann

As shown by recent studies, machine intelligence-enabled systems are vulnerable to test cases resulting from either adversarial manipulation or natural distribution shifts. This has raised great concerns about deploying machine learning…

Robotics · Computer Science 2022-11-01 Chejian Xu , Wenhao Ding , Weijie Lyu , Zuxin Liu , Shuai Wang , Yihan He , Hanjiang Hu , Ding Zhao , Bo Li

Autonomous vehicles are increasingly introduced into our lives. Yet, people's misunderstanding and mistrust have become the major obstacles to the use of these technologies. In response to this problem, proper work must be done to increase…

Human-Computer Interaction · Computer Science 2023-02-20 Zhijie Qiao , Xiatao Sun , Helen Loeb , Rahul Mangharam

Scalable and reproducible policy evaluation has been a long-standing challenge in robot learning. Evaluations are critical to assess progress and build better policies, but evaluation in the real world, especially at a scale that would…

Robotics · Computer Science 2025-04-04 Zhiyuan Zhou , Pranav Atreya , You Liang Tan , Karl Pertsch , Sergey Levine