activity
20192025
most citedA Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs

2 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2019

Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences

Pengfei Gao, Fu Song, Taolue Chen +2

JavaScript has become one of the most widely used languages for Web development. However, it is challenging to ensure the correctness and reliability of Web applications written in…