@inproceedings{avgerinos:2014,
        author     = {Thanassis Avgerinos and Alexandre Rebert and Sang Kil Cha and David Brumley},
        title      = {Enhancing Symbolic Execution with Veritesting},
        booktitle  = {International Conference on Software Engineering},
        month      = jun,
        year       = {2014},
}