@inproceedings{lin2016compositional,
  title={Compositional Symbolic Execution: Incremental Solving Revisited},
  author={Lin, Yude and Miller, Tim and S{\o}ndergaard, Harald},
  booktitle={23rd Asia-Pacific Software Engineering Conference (APSEC)},
  pages={273-280},
  year={2016},
  organization={IEEE},
  core={B},
}

{"_id":"8zcMH4w8on8kytuEK","bibbaseid":"lin-miller-sndergaard-compositionalsymbolicexecutionincrementalsolvingrevisited-2016","author_short":["Lin, Y.","Miller, T.","Søndergaard, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Compositional Symbolic Execution: Incremental Solving Revisited","author":[{"propositions":[],"lastnames":["Lin"],"firstnames":["Yude"],"suffixes":[]},{"propositions":[],"lastnames":["Miller"],"firstnames":["Tim"],"suffixes":[]},{"propositions":[],"lastnames":["Søndergaard"],"firstnames":["Harald"],"suffixes":[]}],"booktitle":"23rd Asia-Pacific Software Engineering Conference (APSEC)","pages":"273-280","year":"2016","organization":"IEEE","core":"B","bibtex":"@inproceedings{lin2016compositional,\n title={Compositional Symbolic Execution: Incremental Solving Revisited},\n author={Lin, Yude and Miller, Tim and S{\\o}ndergaard, Harald},\n booktitle={23rd Asia-Pacific Software Engineering Conference (APSEC)},\n pages={273-280},\n year={2016},\n organization={IEEE},\n core={B},\n}\n\n","author_short":["Lin, Y.","Miller, T.","Søndergaard, H."],"key":"lin2016compositional","id":"lin2016compositional","bibbaseid":"lin-miller-sndergaard-compositionalsymbolicexecutionincrementalsolvingrevisited-2016","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://uqtmiller.github.io/files/pubs.bib","dataSources":["prk7Mhd5Dv3tM6Wp6","tctNabWBSjqkRdjhA","yWvm3kzg5vKQAPLm7","ofmsZryxNDBSpE7j5","9aC4cxLD8D6oJ3FLN","wpkuJrZJJtqra3FbL","XqcrNTrCCBr9mSd37","W7ih7WyQivP4EDh83"],"keywords":[],"search_terms":["compositional","symbolic","execution","incremental","solving","revisited","lin","miller","søndergaard"],"title":"Compositional Symbolic Execution: Incremental Solving Revisited","year":2016}