If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

Trustworthy AI, Automated Software Testing, Model Checking, Real-Time Systems

Fingerprint Dive into the research topics where Youcheng Sun is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Hamming distance Engineering & Materials Science
Software testing Engineering & Materials Science
Model checking Engineering & Materials Science
Blasting Engineering & Materials Science
Real time systems Engineering & Materials Science
Specifications Engineering & Materials Science
Hardware Engineering & Materials Science
Testing Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2017 2019

  • 6 Conference contribution
  • 3 Article
1 Citation (Scopus)

Building Better Bit-Blasting for Floating-Point Problems

Brain, M., Schanda, F. & Sun, Y., 04 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). p. 79-98 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Blasting
Hardware

DeepConcolic: testing and debugging deep neural networks

Sun, Y., Huang, X., Kroening, D., Sharp, J., Hill, M. & Ashmore, R., 2019, Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings. p. 111-114 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

Ruan, W., Wu, M., Sun, Y., Huang, X., Kroening, D. & Kwiatkowska, M., Aug 2019, International Joint Conferences on Artificial Intelligence Organization: Proceedings. p. 5944-5952 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hamming distance
Tensors
Deep neural networks

Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems

Al-bayati, Z., Sun, Y., Zeng, H., Natale, M. D., Zhu, Q. & Meyer, B. H., 04 Aug 2019, In : ACM Transactions on Embedded Computing Systems. 18, 4, p. 35:1-35:28

Research output: Contribution to journalArticle

Structural Test Coverage Criteria for Deep Neural Networks

Sun, Y., Huang, X., Kroening, D., Sharp, J., Hill, M. & Ashmore, R., 08 Oct 2019, In : ACM Transactions on Embedded Computing Systems. 18, 5s, 23 p., 94.

Research output: Contribution to journalArticle

Open Access
File
Semantics
Deep neural networks
Costs