Eman Alatawi, Tim Miller, Harald Søndergaard. Symbolic Execution with Invariant Inlay: Evaluating the Potential. In 25th Australasian Software Engineering Conference, ASWEC 2018, Adelaide, Australia, November 26-30, 2018. pages 26-30, IEEE Computer Society, 2018. [doi]
Abstract is missing.