diff options
author | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 13:34:41 +0900 |
---|---|---|
committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 13:34:41 +0900 |
commit | 210ddf92aab09acc796b2a7fe34ba3bd983cbd62 (patch) | |
tree | e14507055b594dddf22c5f44fc2f25b356902d6d /ref.bib | |
parent | 0f6b9207d5380eefb3a99d21a12751a32de63bfb (diff) | |
download | thesis-210ddf92aab09acc796b2a7fe34ba3bd983cbd62.tar.gz |
Finish content
Diffstat (limited to 'ref.bib')
-rw-r--r-- | ref.bib | 61 |
1 files changed, 35 insertions, 26 deletions
diff --git a/ref.bib b/ref.bib index 9519fca..26949fe 100644 --- a/ref.bib +++ b/ref.bib @@ -12,7 +12,7 @@ author = {Christoph M. Hoffmann and Michael J. O'Donnell}, title = {Pattern Matching in Trees}, year = 1982, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, volume = 29, number = 1, issn = {0004-5411}, @@ -70,7 +70,7 @@ year = 2009, publisher = {Springer Berlin Heidelberg}, pages = {76--92}, - doi = {10.1007/978-3-642-04694-0_6}} + note = {\doi{10.1007/978-3-642-04694-0\_6}}} @inproceedings{smt, author = {Leonardo de Moura and Nikolaj Bj{\o}rner}, @@ -87,27 +87,34 @@ title = {Path Exploration Based on Symbolic Output}, year = 2011, isbn = {9781450304436}, - publisher = {Association for Computing Machinery}, - url = {https://doi.org/10.1145/2025113.2025152}, - doi = {10.1145/2025113.2025152}, + note = {\doi{10.1145/2025113.2025152}}, booktitle = {Proc. ACM SIGSOFT Symp. and Eur. Conf. Found. Softw. Eng.}, pages = {278--288}, numpages = 11, - keywords = {relevant slice condition, symbolic execution, path exploration}, - series = {ESEC/FSE '11}} + keywords = {relevant slice condition, symbolic execution, path exploration}} + +@inproceedings{directed, + author = {Ma, Kin-Keung and Phang, Khoo Yit + and Jeffrey S. Foster and Michael Hicks}, + title = {Directed Symbolic Execution}, + year = 2011, + isbn = {9783642237010}, + booktitle = {Proc. Int. Conf. Static Analysis (SAS)}, + pages = {95--111}, + note = {\doi{10.5555/2041552.2041563}}, + numpages = 17} @article{merge, author = {Volodymyr Kuznetsov and Johannes Kinder and Stefan Bucur and George Candea}, title = {Efficient State Merging in Symbolic Execution}, year = 2012, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, volume = 47, number = 6, issn = {0362-1340}, - url = {https://doi.org/10.1145/2345156.2254088}, - doi = {10.1145/2345156.2254088}, + note = {\doi{10.1145/2345156.2254088}}, journal = {SIGPLAN Not.}, month = jun, pages = {193--204}, @@ -121,7 +128,7 @@ A Context-Guided Search Strategy in Concolic Testing}, year = 2014, isbn = {9781450330565}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, url = {https://doi.org/10.1145/2635868.2635872}, doi = {10.1145/2635868.2635872}, booktitle = {Proc. ACM SIGSOFT Int. Symp. Found. Softw. Eng. (FSE)}, @@ -151,9 +158,8 @@ Overfitting in Automated Program Repair}, year = 2015, isbn = {9781450336758}, - publisher = {Association for Computing Machinery}, - url = {https://doi.org/10.1145/2786805.2786825}, - doi = {10.1145/2786805.2786825}, + publisher = {ACM}, + note = {\doi{10.1145/2786805.2786825}}, booktitle = {Proc. Joint Meet. Found. Softw. Eng. (FSE)}, pages = {532--543}, numpages = 12, @@ -218,7 +224,7 @@ and Matias Martinez and Benoit Baudry and Lionel Seinturier}, title = {Repairnator Patches Programs Automatically}, year = 2019, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, volume = 2019, url = {https://doi.org/10.1145/3349589}, doi = {10.1145/3349589}, @@ -269,11 +275,18 @@ pages = {609--620}, note = {\doi{10.1109/ICSE.2017.62}}} +@inbook{atoi, + title = {The Open Group Base Specifications}, + year = 2018, + author = {{IEEE} and {The Open Group}}, + chapter = {{atoi}}, + url = {https://pubs.opengroup.org/onlinepubs/9699919799/functions/atoi.html}} + @article{shadow, author = {Tomasz Kuchta and Hristina Palikareva and Cristian Cadar}, title = {Shadow Symbolic Execution for Testing Software Patches}, year = 2018, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, volume = 27, number = 3, issn = {1049-331X}, @@ -290,9 +303,7 @@ by Learning Aggressive State-Pruning Strategy}, year = 2020, isbn = {9781450370431}, - publisher = {Association for Computing Machinery}, - url = {https://doi.org/10.1145/3368089.3409755}, - doi = {10.1145/3368089.3409755}, + note = {\doi{10.1145/3368089.3409755}}, booktitle = {Proc. Joint Meet. Eur. Softw. Eng. Conf. and ACM Symp. Found. Softw. Eng. (ESEC/FSE)}, pages = {147--158}, @@ -302,12 +313,10 @@ @inproceedings{hydiff, author = {Yannic Noller and Corina S. P\u{a}s\u{a}reanu and Marcel B\"{o}hme and Sun, Youcheng and Nguyen, Hoang Lam and Lars Grunske}, - title = {HyDiff: Hybrid Differential Software Analysis}, + title = {{HyDiff}: Hybrid Differential Software Analysis}, year = 2020, isbn = {9781450371216}, - publisher = {Association for Computing Machinery}, - url = {https://doi.org/10.1145/3377811.3380363}, - doi = {10.1145/3377811.3380363}, + note = {\doi{10.1145/3377811.3380363}}, booktitle = {Proc. ACM/IEEE Int. Conf. Softw. Eng. (ICSE)}, pages = {1273--1285}, numpages = 13, @@ -319,7 +328,7 @@ title = {Abstracting Failure-Inducing Inputs}, year = 2020, isbn = {9781450380089}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, url = {https://doi.org/10.1145/3395363.3397349}, doi = {10.1145/3395363.3397349}, booktitle = {Proc. ACM SIGSOFT Int. Symp. Softw. Test. and Analysis (ISSTA)}, @@ -336,7 +345,7 @@ for Java Programs}, year = 2020, isbn = {9781450371216}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, doi = {10.1145/3377811.3380338}, booktitle = {Proc. ACM/IEEE Int. Conf. Softw. Eng. (ICSE)}, pages = {615--627}, @@ -392,7 +401,7 @@ pages = {118--122}, publisher = {{KSI} Research Inc.}, year = 2023, - note = {\doi{https://doi.org/10.18293/SEKE2023-070}}} + note = {\doi{10.18293/SEKE2023-070}}} @inbook{unidiff, author = {David MacKenzie and Paul Eggert and Richard Stallman}, |