Sign in

StateComparator: Detecting Unbounded Variables Using JPF.

Heila BothaBrink van der MerweWillem VisserOksana Tkachuk
Published in: ACM SIGSOFT Softw. Eng. Notes (2016)
Keyphrases