Jiansen Song

Orcid: 0009-0003-0401-2033

According to our database1, Jiansen Song authored at least 7 papers between 2022 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction.
Proc. VLDB Endow., April, 2024

Testing Gremlin-Based Graph Database Systems via Query Disassembling.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Differential Optimization Testing of Gremlin-Based Graph Database Systems.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Understanding Transaction Bugs in Database Systems.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023
Testing Database Systems via Differential Query Execution.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Detecting Isolation Bugs via Transaction Oracle Construction.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022
Differentially Testing Database Transactions for Fun and Profit.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022


  Loading...