28 citations · 107 across the 11 of their papers we have counts for
12 papers
MuRS: Mutant Ranking and Suppression using Identifier Templates
Zimin Chen, Malgorzata Salawa, Manushree Vijayvergiya +3
Diff-based mutation testing is a mutation testing approach that only mutates lines affected by a code change under review. Google's mutation testing service integrates diff-based m…
Generate Compilers from Hardware Models!
Gus Henry Smith, Ben Kushigian, Vishal Canumalla +3
Compiler backends should be automatically generated from hardware design language (HDL) models of the hardware they target. Generating compiler components directly from HDL can pro…
On the Applicability of Language Models to Block-Based Programs
Elisabeth Griebl, Benedikt Fein, Florian Obermüller +2
Block-based programming languages like Scratch are increasingly popular for programming education and end-user programming. Recent program analyses build on the insight that source…
Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships
Eunice Jun, Audrey Seo, Jeffrey Heer +1
Proper statistical modeling incorporates domain theory about how concepts relate and details of how data were measured. However, data analysts currently lack tool support for recor…
JUGE: An Infrastructure for Benchmarking Java Unit Test Generators
Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti +4
Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various language…
Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications
Eunice Jun, Melissa Birchfield, Nicole de Moura +2
Data analysis requires translating higher level questions and hypotheses into computable statistical models. We present a mixed-methods study aimed at identifying the steps, consid…