17 citations · 47 across the 11 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
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…