Author:
Larsen Kim,Legay Axel,Nolte Gerrit,Schlüter Maximilian,Stoelinga Marielle,Steffen Bernhard
Publisher
Springer Nature Switzerland
Reference46 articles.
1. Angluin, D.: Queries and concept learning. Mach. Learn. 2(4), 319–342 (1988)
2. Athalye, A., Engstrom, L., Ilyas, A., Kwok, K.: Synthesizing robust adversarial examples. In: Dy, J., Krause, A. (eds.) Proceedings of the 35th International Conference on Machine Learning, Proceedings of Machine Learning Research, vol. 80, pp. 284–293. PMLR (2018). https://proceedings.mlr.press/v80/athalye18b.html
3. Bahar, R.I., et al.: Algebric decision diagrams and their applications. Formal Methods Syst. Des. 10(2), 171–206 (1997)
4. Barrett, C., Tinelli, C.: Satisfiability modulo theories. In: Clarke, E., Henzinger, T., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 305–343. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_11
5. Boyer, R.S., Elspas, B., Levitt, K.N.: Select-a formal system for testing and debugging programs by symbolic execution. ACM SigPlan Not. 10(6), 234–245 (1975)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献