@article{dqp,author={Ba, Jinsheng and Rigger, Manuel},title={Keep It Simple: Testing Databases via Differential Query Plans},url={https://doi.org/10.1145/3654991},doi={10.1145/3654991},year={2024},month=jun,issue_date={June 2024},publisher={Association for Computing Machinery},journal={Proceeding of ACM Management of Data (SIGMOD'24)},}
ICSE
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
Jinsheng, Ba, and Manuel, Rigger
In The 46th International Conference on Software Engineering (ICSE’24) Apr 2024
@inproceedings{cert,author={Ba, Jinsheng and Rigger, Manuel},title={CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation},booktitle={The 46th International Conference on Software Engineering (ICSE'24)},year={2024},month=apr,url={https://doi.org/10.1145/3597503.3639076},doi={10.1145/3597503.3639076},}
ICSE
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation
Yuancheng, Jiang, Jiahao, Liu, Jinsheng, Ba, Roland H.C., Yap, Zhenkai, Liang, and Manuel, Rigger
In The 46th International Conference on Software Engineering (ICSE’24) Apr 2024
@inproceedings{jiang2024detecting,author={Jiang, Yuancheng and Liu, Jiahao and Ba, Jinsheng and Yap, Roland H.C. and Liang, Zhenkai and Rigger, Manuel},title={Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation},url={https://doi.org/10.1145/3597503.3623307},doi={10.1145/3597503.3623307},booktitle={The 46th International Conference on Software Engineering (ICSE'24)},year={2024},month=apr,}
2023
ICSE
Testing Database Engines via Query Plan Guidance
Jinsheng, Ba, and Manuel, Rigger
In The 45th International Conference on Software Engineering (ICSE’23) May 2023
@inproceedings{qpg,author={Ba, Jinsheng and Rigger, Manuel},title={Testing Database Engines via Query Plan Guidance},booktitle={The 45th International Conference on Software Engineering (ICSE'23)},url={https://doi.org/10.1109/ICSE48619.2023.00174},doi={10.1109/ICSE48619.2023.00174},year={2023},month=may,}
2022
ASE
Efficient Greybox Fuzzing to Detect Memory Errors
Jinsheng, Ba, Gregory J, Duck, and Abhik, Roychoudhury
In The 37th IEEE/ACM International Conference on Automated Software Engineering (ASE’22) Oct 2022
@inproceedings{rezzan,author={Ba, Jinsheng and Duck, Gregory J and Roychoudhury, Abhik},title={Efficient Greybox Fuzzing to Detect Memory Errors},booktitle={The 37th IEEE/ACM International Conference on Automated Software Engineering (ASE'22)},url={https://doi.org/10.1145/3551349.3561161},doi={10.1145/3551349.3561161},year={2022},month=oct,numpages={14},}
USENIX SEC
Stateful Greybox Fuzzing
Jinsheng, Ba, Marcel, Böhme, Zahra, Mirzamomen, and Abhik, Roychoudhury
In 31st USENIX Security Symposium (SEC’22) Aug 2022