diff options
Diffstat (limited to 'ref.bib')
-rw-r--r-- | ref.bib | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/ref.bib b/ref.bib index 5703043..4c2eac1 100644 --- a/ref.bib +++ b/ref.bib @@ -8,6 +8,20 @@ pages = {379-423}, note = {\doi{10.1002/j.1538-7305.1948.tb01338.x}}} +@article{tree-pattern, + author = {Christoph M. Hoffmann and Michael J. O'Donnell}, + title = {Pattern Matching in Trees}, + year = 1982, + publisher = {Association for Computing Machinery}, + volume = 29, + number = 1, + issn = {0004-5411}, + note = {\doi{10.1145/322290.322295}}, + journal = {J. ACM}, + month = jan, + pages = {68--95}, + numpages = 28} + @inproceedings{k-sat, author = {Russell Impagliazzo and Ramamohan Paturi}, booktitle = {Proc. IEEE Conf. Comput. Complex. (CCC)}, @@ -171,6 +185,16 @@ year = 2017, note = {\doi{10.1145/3106237.3106255}}} +@inproceedings{fl-eval, + author = {Spencer Pearson and Jos\'e Campos and Ren\'e Just + and Gordon Fraser and Rui Abreu and Michael D. Ernst + and Deric Pang and Benjamin Keller}, + booktitle = {Proc. ACM/IEEE Int. Conf. Softw. Eng. (ICSE)}, + title = {Evaluating and Improving Fault Localization}, + year = 2017, + pages = {609--620}, + note = {\doi{10.1109/ICSE.2017.62}}} + @article{shadow, author = {Tomasz Kuchta and Hristina Palikareva and Cristian Cadar}, title = {Shadow Symbolic Execution for Testing Software Patches}, |