@inproceedings{AAK15,
 author    = {S. Almagor and G. Avni and O. Kupferman},
 title     = {Automatic Generation of Quality Specifications},
 booktitle = concur15,
 serias    =  {LIPIcs},
 volume    =  42,
pages     = {325--339}, 
year      = {2015}
}