17 citations · 47 across the 11 of their papers we have counts for
11 papers
Improving Mobile User Interface Testing with Model Driven Monkey Search
Jordan Doyle, Takfarinas Saber, Paolo Arcaini +1
Testing mobile applications often relies on tools, such as Exerciser Monkey for Android systems, that simulate user input. Exerciser Monkey, for example, generates random events (e…
FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks
Moses Openja, Paolo Arcaini, Foutse Khomh +1
Deep neural networks (DNNs) are being utilized in various aspects of our daily lives, including high-stakes decision-making applications that impact individuals. However, these sys…
Towards Quantum Software Requirements Engineering
Tao Yue, Shaukat Ali, Paolo Arcaini
Quantum software engineering (QSE) is receiving increasing attention, as evidenced by increasing publications on topics, e.g., quantum software modeling, testing, and debugging. Ho…
QuCAT: A Combinatorial Testing Tool for Quantum Software
Xinyi Wang, Paolo Arcaini, Tao Yue +1
With the increased developments in quantum computing, the availability of systematic and automatic testing approaches for quantum programs is becoming increasingly essential. To th…
Online Causation Monitoring of Signal Temporal Logic
Zhenya Zhang, Jie An, Paolo Arcaini +1
Online monitoring is an effective validation approach for hybrid systems, that, at runtime, checks whether the (partial) signals of a system satisfy a specification in, e.g., Signa…
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Falsification of hybrid systems is attracting ever-growing attention in quality assurance of Cyber-Physical Systems (CPS) as a practical alternative to exhaustive formal verificati…
A Mutation-based Approach for Assessing Weight Coverage of a Path Planner
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa +1
Autonomous cars are subjected to several different kind of inputs (other cars, road structure, etc.) and, therefore, testing the car under all possible conditions is impossible. To…
Repairing Timed Automata Clock Guards through Abstraction and Testing
Étienne André, Paolo Arcaini, Angelo Gargantini +1
Timed automata (TAs) are a widely used formalism to specify systems having temporal requirements. However, exactly specifying the system may be difficult, as the user may not know…
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version)
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
Hybrid system falsification is an actively studied topic, as a scalable quality assurance methodology for real-world cyber-physical systems. In falsification, one employs stochasti…
AsmetaF: A Flattener for the ASMETA Framework
Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene
Abstract State Machines (ASMs) have shown to be a suitable high-level specification method for complex, even industrial, systems; the ASMETA framework, supporting several validatio…
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search
Zhenya Zhang, Gidon Ernst, Sean Sedwards +2
Few real-world hybrid systems are amenable to formal verification, due to their complexity and black box components. Optimization-based falsification---a methodology of search-base…