Pengbo Nie

Orcid: 0000-0002-3759-5242

According to our database1, Pengbo Nie authored at least 5 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations.
ACM Trans. Softw. Eng. Methodol., January, 2023

GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2021
ApproxiFuzzer: Fuzzing towards Deep Code Snippets in Java Programs.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer Graphs.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020


  Loading...