People
Projects
Publications
Found Bugs
Openings
Seminars
Weekly Talk
Automated Testing and Improvement of Named Entity Recognition Systems
Autonomous driving system defect localization
Testing Database Systems Through the Lens of Constant Folding and Constant Propagation
Race Detection in CUDA Kernels
Finding XPath Bugs in XML Processors via Differential Testing
Deriving Test Case Generators using Domain-Specific Language to Test Database Engine (Interim Report)
Part1: Reusing testsuites of Databases
Testing JDBC drivers
Testing Graph Databases
Automated Testing for XPath Query Processors
«
»
Cite
×