Computer Science - Administration

  • 7 Conference contribution
  • 5 Article
  • 2 Preprint
  • 1 Commentary/debate
Filter
Conference contribution

Search results

  • 2022

    Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models

    Chen, J., Wang, J., Peng, T., Sun, Y., Cheng, P., Ji, S., Ma, X., Li, B. & Song, D., 27 Jul 2022, (E-pub ahead of print) 2022 IEEE Symposium on Security and Privacy (SP). IEEE

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 2021

    RobOT: Robustness-Oriented Testing for Deep Learning Systems

    Wang, J., Chen, J., Sun, Y., Ma, X., Wang, D., Sun, J. & CHeng, P., 7 May 2021, 43rd International Conference on Software Engineering (ICSE): Proceedings.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning

    Li, R., Yang, P., Huang, C.-C., Sun, Y., Xue, B. & Zhang, L., 2 Dec 2021, (Accepted/In press) International Conference on Software Engineering (ICSE).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    338 Downloads (Pure)
  • 2020

    Dataset Discovery in Data Lakes

    Bogatu, A., Fernandes, A., Paton, N. & Konstantinou, N., 27 May 2020, (E-pub ahead of print) 36th IEEE International Conference on Data Engineering .

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    167 Downloads (Pure)

  • Explaining Image Classifiers using Statistical Fault Localization

    Sun, Y., Chockler, H., Huang, X. & Kroening, D., 3 Nov 2020, European Conference on Computer Vision: 23-28 August 2020: Proceedings.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • HyDiff: Hybrid Differential Software Analysis

    Noller, Y., Păsăreanu, C., Böhme, M., Sun, Y., Nguyen, H. L. & Grunske, L., 27 Jun 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. p. 1273-1285 13 p. 3380363. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • 2018

    Concolic Testing for Deep Neural Networks

    Sun, Y., Wu, M., Ruan, W., Huang, X., Kwiatkowska, M. & Kroening, D., 3 Sept 2018, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. p. 109-119 11 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review