diff options
author | Nguyễn Gia Phong <cnx@loang.net> | 2023-11-24 18:08:17 +0900 |
---|---|---|
committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-11-24 18:08:17 +0900 |
commit | 679ca723e849b731a9d94a276763bb59756aa3a2 (patch) | |
tree | 95d45dc5657288a881b32c92051d795ea315cc9e /ref.bib | |
parent | cf32a3f1cac556281aafa02355fbec106f00edd5 (diff) | |
download | thesis-679ca723e849b731a9d94a276763bb59756aa3a2.tar.gz |
Proof read approach
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}, |