Weekly Talk

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

Open-Domain Aspect-Opinion Co-Mining with Double-Layer Span Extraction

The aspect-opinion extraction tasks extract aspect terms and opinion terms from reviews. The supervised extraction methods achieve state-of-the-art performance but require large-scale human-annotated training data. Thus, they are restricted for …

SamplingCA: Effective and Efficient Sampling-Based Pairwise Testing for Highly Configurable Software Systems

Combinatorial interaction testing (CIT) is an effective paradigm for testing highly configurable systems, and its goal is to generate a t-wise covering array (CA) as a test suite, where t is the strength of testing. It is recognized that pairwise …

Finding Optimization Bugs in Datalog Engines