research
∙
07/19/2023
Prompting for Automatic Log Template Extraction
Log parsing, the initial and vital stage in automated log analysis, invo...
share
research
∙
04/19/2020
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers
We propose type-aware operator mutation, a simple, but unusually effecti...
research
∙
03/28/2018
Towards Efficient Data-flow Test Data Generation
Data-flow testing (DFT) checks the correctness of variable definitions b...
research
∙
03/17/2018
Towards Efficient Data-flow Test Data Generation Using KLEE
Dataflow coverage, one of the white-box testing criteria, focuses on the...
research
∙
02/23/2018