Adding ISSTA paper to publications