diff options
author | n.ramanathan14 <n.ramanathan14@imperial.ac.uk> | 2020-09-13 20:36:28 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-09-13 21:06:53 +0000 |
commit | 7edc114c8e692a0809003840bf02f2c57a440e6e (patch) | |
tree | 0ff869547051f6af560b48f65790fd5aced0adeb /conference.bib | |
parent | 18bc081c88bcedb95088e9f972ccba46ac9c2cde (diff) | |
download | fccm21_esrhls-7edc114c8e692a0809003840bf02f2c57a440e6e.tar.gz fccm21_esrhls-7edc114c8e692a0809003840bf02f2c57a440e6e.zip |
Update on Overleaf.
Diffstat (limited to 'conference.bib')
-rw-r--r-- | conference.bib | 29 |
1 files changed, 28 insertions, 1 deletions
diff --git a/conference.bib b/conference.bib index 15b692d..7a6f32a 100644 --- a/conference.bib +++ b/conference.bib @@ -124,7 +124,7 @@ with {LegUp} High-Level Synthesis}, year={2012} } -@inproceedings{chen+13+taming, +@inproceedings{fuzzing+chen+13+taming, title={Taming compiler fuzzers}, author={Chen, Yang and Groce, Alex and Zhang, Chaoqiang and Wong, Weng-Keen and Fern, Xiaoli and Eide, Eric and Regehr, John}, booktitle={Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation}, @@ -132,6 +132,33 @@ with {LegUp} High-Level Synthesis}, year={2013} } +@article{fuzzing+liang+18+survey, + title={Fuzzing: State of the art}, + author={Liang, Hongliang and Pei, Xiaoxiao and Jia, Xiaodong and Shen, Wuwei and Zhang, Jian}, + journal={IEEE Transactions on Reliability}, + volume={67}, + number={3}, + pages={1199--1218}, + year={2018}, + publisher={IEEE} +} + +@inproceedings{fuzz+sun+16+toward, + title={Toward understanding compiler bugs in {GCC and LLVM}}, + author={Sun, Chengnian and Le, Vu and Zhang, Qirun and Su, Zhendong}, + booktitle={Proceedings of the 25th International Symposium on Software Testing and Analysis}, + pages={294--305}, + year={2016} +} + +@inproceedings{fuzzing+zhang+19, + title={Finding and understanding bugs in software model checkers}, + author={Zhang, Chengyu and Su, Ting and Yan, Yichen and Zhang, Fuyuan and Pu, Geguang and Su, Zhendong}, + booktitle={Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, + pages={763--773}, + year={2019} +} + @article{perna12_mechan_wire_wise_verif_handel_c_synth, author = "Juan Perna and Jim Woodcock", title = {Mechanised Wire-Wise Verification of {Handel-C} Synthesis}, |