Search filters

List of works by Jun Sun

A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic

scientific article published on 12 January 2022

ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings

scientific article published on 12 April 2024

Certified Continual Learning for Neural Network Regression

scientific article published on 11 September 2024

Code integrity attestation for PLCs using black box neural network predictions

scientific article published on 19 August 2021

Formalizing UML State Machines for Automated Verification – A Survey

scientific article published on 17 January 2023

Graph-based seed object synthesis for search-based unit testing

scientific article published on 19 August 2021

Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing

scientific article published on 30 November 2023

Partial Solution Based Constraint Solving Cache in Symbolic Execution

scientific article published on 12 July 2024

Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps

scientific article published on 10 July 2024

Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects

scientific article published on 30 November 2023

Type and interval aware array constraint solving for symbolic execution

scientific article published on 08 July 2021

sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts

scientific article published on 08 February 2024

Paulina is supported by:

About Paulina

Help