Program querying with a SOUL: The BARISTA tool suite | IEEE Conference Publication | IEEE Xplore