28 citations · 45 across the 4 of their papers we have counts for
4 papers
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer +2
Defining test oracles is crucial and central to test development, but manual construction of oracles is expensive. While recent neural-based automated test oracle generation techni…
Evolutionary Multi-Task Injection Testing on Web Application Firewalls
Ke Li, Heng Yang, Willem Visser
Web application firewall (WAF) plays an integral role nowadays to protect web applications from various malicious injection attacks such as SQL injection, XML injection, and PHP in…
SymInfer: Inferring Program Invariants using Symbolic States
ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
We introduce a new technique for inferring program invariants that uses symbolic states generated by symbolic execution. Symbolic states, which consist of path conditions and const…
Predicate Abstraction with Under-approximation Refinement
Corina S. Pasareanu, Radek Pelanek, Willem Visser
We propose an abstraction-based model checking method which relies on refinement of an under-approximation of the feasible behaviors of the system under analysis. The method preser…