Intersection and Rotation of Assumption Literals Boosts Bug-Finding.

Rohit Dureja Jianwen Li Geguang Pu Moshe Y. Vardi Kristin Y. Rozier

Published in: VSTTE (2019)

Keyphrases

information retrieval
search engine
source code
bug reports
real time
databases
website
similarity measure
optimal solution