Fetching the paper…
Reading the bibliography…
In company with the data explosion over the past decade, deep neural network (DNN) based software has experienced unprecedented leap and is becoming the key driving force of many novel industrial applications, including many safety-critical scenarios such as autonomous driving.
Y. LeCun and C. Cortes, “The MNIST database of handwritten digits,” 1998
1998
Earlier work this paper cites.
Y. LeCun, L. Bottou, Y. Bengio, and P. Haffner, “Gradient-based learning applied to document recognition,” Proc. of the IEEE , vol. 86, no. 11, pp. 2278–2324, 1998
1998
Earlier work this paper cites.
H. Kelly J., V. Dan S., C. John J., and R. Leanna K., “A practical tutorial on modified condition/decision coverage,” NASA, Tech. Rep., 2001
2001
Earlier work this paper cites.
C. Cadar, D. Dunbar, D. R. Engler et al. , “Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs.” in OSDI , vol. 8, 2008, pp. 209–224
2008
Earlier work this paper cites.
R. Pressman, Software Engineering: A Practitioner’s Approach , 7th ed. New York, NY, USA: McGraw-Hill, Inc., 2010
2010
Earlier work this paper cites.
N. B. Ruparelia, “Software development lifecycle models,” SIGSOFT Softw. Eng. Notes , vol. 35, no. 3, pp. 8–13, May 2010
2010
Earlier work this paper cites.
L. Pulina and A. Tacchella, “An abstraction-refinement approach to verification of artificial neural networks,” in International Conference on Computer Aided Verification . Springer, 2010, pp. 243–257
2010
Earlier work this paper cites.
G. Hinton, L. Deng, D. Yu, G. E. Dahl, A.-r. Mohamed, N. Jaitly, A. Senior, V. Vanhoucke, P. Nguyen, T. N. Sainath et al. , “Deep neural networks for acoustic modeling in speech recognition: The shared views of four research groups,” IEEE Signal Processing Magazine , vol. 29, no. 6, pp. 82–97, 2012
2012
Earlier work this paper cites.
D. Ciresan, A. Giusti, L. M. Gambardella, and J. Schmidhuber, “Deep neural networks segment neuronal membranes in electron microscopy images,” in NIPS , 2012, pp. 2843–2851
2012
Earlier work this paper cites.
D. Ciregan, U. Meier, and J. Schmidhuber, “Multi-column deep neural networks for image classification,” in CVPR , 2012, pp. 3642–3649
2012
Earlier work this paper cites.
A. Krizhevsky, I. Sutskever, and G. E. Hinton, “Imagenet classification with deep convolutional neural networks,” in NIPS , 2012, pp. 1097–1105
2012
Earlier work this paper cites.
C. Holler, K. Herzig, and A. Zeller, “Fuzzing with code fragments,” in Presented as part of the 21st USENIX Security Symposium (USENIX Security 12) . Bellevue, WA: USENIX, 2012, pp. 445–458. [Online]. Available: https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/holler
2012
Earlier work this paper cites.
J. E. Kelly III and S. Hamm, Smart machines: IBM’s Watson and the era of cognitive computing . Columbia University Press, 2013
2013
Earlier work this paper cites.
2014
Earlier work this paper cites.
M. Zalewski. (2014) Technical ”whitepaper” for afl-fuzz. [Online]. Available: http://lcamtuf.coredump.cx/afl/technical_details.txt
2014
Earlier work this paper cites.
N. Krizhevsky, H. Vinod, C. Geoffrey, M. Papadakis, and A. Ventresque, “The cifar-10 dataset,” http://www.cs.toronto.edu/kriz/cifar.html
2014
Earlier work this paper cites.
2014
Earlier work this paper cites.
C. Szegedy, W. Zaremba, I. Sutskever, J. Bruna, D. Erhan, I. Goodfellow, and R. Fergus, “Intriguing properties of neural networks,” in ICLR , 2014
2014
Earlier work this paper cites.
V. Mnih, K. Kavukcuoglu, D. Silver, A. A. Rusu, J. Veness, M. G. Bellemare, A. Graves, M. Riedmiller, A. K. Fidjeland, G. Ostrovski et al. , “Human-level control through deep reinforcement learning,” Nature , vol. 518, no. 7540, p. 529, 2015
2015
Earlier work this paper cites.
2015
Earlier work this paper cites.
F. Chollet et al. , “Keras,” https://github.com/fchollet/keras
2015
Earlier work this paper cites.
S. Gupta, A. Agrawal, K. Gopalakrishnan, and P. Narayanan, “Deep learning with limited numerical precision,” in ICLR , 2015, pp. 1737–1746
2015
Earlier work this paper cites.
M. Courbariaux, Y. Bengio, and J.-P. David, “Binaryconnect: Training deep neural networks with binary weights during propagations,” in NIPS , 2015, pp. 3105–3113
2015
Earlier work this paper cites.
O. Russakovsky, J. Deng, H. Su, J. Krause, S. Satheesh, S. Ma, Z. Huang, A. Karpathy, A. Khosla, M. Bernstein, A. C. Berg, and L. Fei-Fei, “ImageNet Large Scale Visual Recognition Challenge,” IJCV , vol. 115, no. 3, pp. 211–252, 2015
2015
Earlier work this paper cites.
I. J. Goodfellow, J. Shlens, and C. Szegedy, “Explaining and harnessing adversarial examples,” ICLR , 2015
2015
Earlier work this paper cites.
D. Silver, A. Huang, C. J. Maddison, A. Guez, L. Sifre, G. Van Den Driessche, J. Schrittwieser, I. Antonoglou, V. Panneershelvam, M. Lanctot et al. , “Mastering the game of go with deep neural networks and tree search,” Nature , vol. 529, no. 7587, p. 484, 2016
2016
Earlier work this paper cites.
M. Abadi, P. Barham, J. Chen, Z. Chen, A. Davis, J. Dean, M. Devin, S. Ghemawat, G. Irving, M. Isard, M. Kudlur, J. Levenberg, R. Monga, S. Moore, D. G. Murray, B. Steiner, P. Tucker, V. Vasudevan, P. Warden, M. Wicke, Y. Yu, and X. Zheng, “Tensorflow: A system for large-scale machine learning,” in 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) , 2016, pp. 265–283
2016
Earlier work this paper cites.
Google Accident, “A Google self-driving car caused a crash for the first time,” 2016. [Online]. Available: https://www.theverge.com/2016/2/29/11134344/google-self-driving-car-crash-report
2016
Earlier work this paper cites.
M. Böhme, V.-T. Pham, and A. Roychoudhury, “Coverage-based greybox fuzzing as markov chain,” in Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security , ser. CCS ’16. New York, NY, USA: ACM, 2016, pp. 1032–1043. [Online]. Available: http://doi.acm.org/10.1145/2976749.2978428
2016
Earlier work this paper cites.
2016
Earlier work this paper cites.
M. Rastegari, V. Ordonez, J. Redmon, and A. Farhadi, “Xnor-net: Imagenet classification using binary convolutional neural networks,” in ECCV , 2016, pp. 525–542
2016
Earlier work this paper cites.
S. Han, H. Mao, and W. J. Dally, “Deep compression: Compressing deep neural networks with pruning, trained quantization and huffman coding,” ICLR , 2016
2016
Earlier work this paper cites.
K. He, X. Zhang, S. Ren, and J. Sun, “Deep residual learning for image recognition,” in CVPR , 2016, pp. 770–778
2016
Cited alongside, same era.
I. Goodfellow, Y. Bengio, and A. Courville, Deep learning . MIT Press, 2016, vol. 1
2016
Cited alongside, same era.
A. Paszke, S. Gross, S. Chintala, G. Chanan, E. Yang, Z. DeVito, Z. Lin, A. Desmaison, L. Antiga, and A. Lerer, “Automatic differentiation in pytorch,” NIPS 2017 Workshop Autodiff , 2017
2017
Cited alongside, same era.
S. Rawat, V. Jain, A. Kumar, L. Cojocar, C. Giuffrida, and H. Bos, “Vuzzer: Application-aware evolutionary fuzzing,” in Proceedings of the Network and Distributed System Security Symposium (NDSS) , 2017
2017
Cited alongside, same era.
J. Wang, B. Chen, L. Wei, and Y. Liu, “Skyfire: Data-driven seed generation for fuzzing,” in 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017 , May 2017, pp. 579–594. [Online]. Available: https://doi.org/10.1109/SP.2017.23
B. Jacob, S. Kligys, B. Chen, M. Zhu, M. Tang, A. Howard, H. Adam, and D. Kalenichenko, “Quantization and training of neural networks for efficient integer-arithmetic-only inference,” in CVPR , June 2018
2018
Closest in time.
2018
Closest in time.
F. Juefei-Xu, V. N. Boddeti, and M. Savvides, “Perturbative neural networks,” in CVPR . IEEE, June 2018, pp. 3310–3318
2018
Closest in time.
“ NVIDIA TensorRT,” 2018. [Online]. Available: https://developer.nvidia.com/tensorrt
2018
Closest in time.
“ Peach Fuzzer Platform,” 2018. [Online]. Available: https://www.peach.tech/products/peach-fuzzer/peach-platform/
2018
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2017
Cited alongside, same era.
K. Pei, Y. Cao, J. Yang, and S. Jana, “Deepxplore: Automated whitebox testing of deep learning systems,” in Proceedings of the 26th Symposium on Operating Systems Principles , 2017, pp. 1–18
2017
Cited alongside, same era.
C. Zhu, S. Han, H. Mao, and W. J. Dally, “Trained ternary quantization,” ICLR , 2017
2017
Cited alongside, same era.
I. Hubara, M. Courbariaux, D. Soudry, R. El-Yaniv, and Y. Bengio, “Quantized neural networks: Training neural networks with low precision weights and activations,” The Journal of Machine Learning Research , vol. 18, no. 1, pp. 6869–6898, 2017
2017
Cited alongside, same era.
F. Juefei-Xu, V. Boddeti, and M. Savvides, “Local binary convolutional neural networks,” in CVPR . IEEE, July 2017, pp. 19–28
2017
Cited alongside, same era.
N. Carlini and D. Wagner, “Towards evaluating the robustness of neural networks,” in Security and Privacy (SP), IEEE Symposium on , 2017, pp. 39–57
2017
Cited alongside, same era.
M. Böhme, V.-T. Pham, M.-D. Nguyen, and A. Roychoudhury, “Directed greybox fuzzing,” in Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security , ser. CCS ’17. New York, NY, USA: ACM, 2017, pp. 2329–2344. [Online]. Available: http://doi.acm.org/10.1145/3133956.3134020
2017
Cited alongside, same era.
Google. (2017) libprotobuf-mutator. [Online]. Available: https://github.com/google/libprotobuf-mutator
2017
Cited alongside, same era.
S. Gan, C. Zhang, X. Qin, X. Tu, K. Li, Z. Pei, and Z. Chen, “Collafl: Path sensitive fuzzing,” in 2018 IEEE Symposium on Security and Privacy (SP) . IEEE, 2018, pp. 679–696
2018
Closest in time.
L. Ma, F. Juefei-Xu, J. Sun, C. Chen, T. Su, F. Zhang, M. Xue, B. Li, L. Li, Y. Liu et al. , “Deepgauge: Multi-granularity testing criteria for deep learning systems,” The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018) , 2018
2018
Closest in time.
F. Chollet et al. , “Keras applications,” https://keras.io/applications/
2018
Closest in time.
C. Xiao, B. Li, J.-Y. Zhu, W. He, M. Liu, and D. Song, “Generating Adversarial Examples with Adversarial Networks,” ArXiv e-prints , Jan. 2018
2018
Closest in time.
Y. L. B. C. X. X. X. W. Hongxu Chen, Yinxing Xue and Y. Liu, “Hawkeye: Towards a desired directed grey-box fuzzer,” in Proceedings of the 25th ACM Conference on Computer and Communications Security . ACM, 2018
2018
Closest in time.
Payatu. (2018) Cloudfuzz: Machine learning powered content specific input generation for fuzzing
2018
Closest in time.
C. Cummins, P. Petoumenos, A. Murray, and H. Leather, “Compiler fuzzing through deep learning,” in Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis , ser. ISSTA 2018. New York, NY, USA: ACM, 2018, pp. 95–105. [Online]. Available: http://doi.acm.org/10.1145/3213846.3213848
2018
Closest in time.
2018
Closest in time.
Y. Sun, X. Huang, and D. Kroening, “Testing Deep Neural Networks,” ArXiv e-prints , Mar. 2018
2018
Closest in time.
L. Ma, F. Zhang, J. Sun, M. Xue, B. Li, F. Juefei-Xu, C. Xie, L. Li, Y. Liu, J. Zhao et al. , “Deepmutation: Mutation testing of deep learning systems,” The 29th IEEE International Symposium on Software Reliability Engineering (ISSRE) , 2018
2018
Closest in time.
2018
Closest in time.
2018
Closest in time.
D. D.-C. P. T. S. C. M. V. Timon Gehr, Matthew Mirman, “Ai2: Safety and robustness certification of neural networks with abstract interpretation,” in 2018 IEEE Symposium on Security and Privacy (SP) , 2018
2018
Closest in time.
W. He, B. Li, and D. Song, “Decision boundary analysis of adversarial examples,” in ICLR , 2018
2018
Closest in time.
W. Brendel, J. Rauber, and M. Bethge, “Decision-based adversarial attacks: Reliable attacks against black-box machine learning models,” in ICLR , 2018
2018
Closest in time.
Z. Zhao, D. Dua, and S. Singh, “Generating natural adversarial examples,” in ICLR , 2018
2018
Closest in time.
C. Xiao, J.-Y. Zhu, B. Li, W. He, M. Liu, and D. Song, “Spatially transformed adversarial examples,” in ICLR , 2018
2018
Closest in time.
F. Tramèr, A. Kurakin, N. Papernot, I. Goodfellow, D. Boneh, and P. McDaniel, “Ensemble adversarial training: Attacks and defenses,” in ICLR , 2018
2018
Closest in time.
P. Samangouei, M. Kabkab, and R. Chellappa, “Defense-gan: Protecting classifiers against adversarial attacks using generative models,” in ICLR , 2018
2018
Closest in time.
Y. Song, T. Kim, S. Nowozin, S. Ermon, and N. Kushman, “Pixeldefend: Leveraging generative models to understand and defend against adversarial examples,” in ICLR , 2018
2018
Closest in time.
A. Raghunathan, J. Steinhardt, and P. Liang, “Certified defenses against adversarial examples,” in ICLR , 2018
2018
Closest in time.
G. S. Dhillon, K. Azizzadenesheli, J. D. Bernstein, J. Kossaifi, A. Khanna, Z. C. Lipton, and A. Anandkumar, “Stochastic activation pruning for robust adversarial defense,” in ICLR , 2018
2018
Closest in time.
A. Galloway, G. W. Taylor, and M. Moussa, “Attacking binarized neural networks,” in ICLR , 2018
2018
Closest in time.
C. Guo, M. Rana, M. Cisse, and L. van der Maaten, “Countering adversarial images using input transformations,” in ICLR , 2018
2018
Closest in time.
J. Buckman, A. Roy, C. Raffel, and I. Goodfellow, “Thermometer encoding: One hot way to resist adversarial examples,” in ICLR , 2018
2018
Closest in time.
A. Madry, A. Makelov, L. Schmidt, D. Tsipras, and A. Vladu, “Towards deep learning models resistant to adversarial attacks,” in ICLR , 2018
2018
Closest in time.