activity
20132023
most citedTea: A High-level Language and Runtime System for Automating Statistical Analysis

28 citations · 107 across the 11 of their papers we have counts for

collaborators
Showing 2021Show all

5 papers · 1 filter

cs.SE2021★ 9 cited

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…

cs.OH2021

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…

cs.SE2021

Does mutation testing improve testing practices?

Goran Petrović, Marko Ivanković, Gordon Fraser +1

Various proxy metrics for test quality have been defined in order to guide developers when writing tests. Code coverage is particularly well established in practice, even though th…

cs.SE2021★ 2 cited

Practical Mutation Testing at Scale

Goran Petrović, Marko Ivanković, Gordon Fraser +1

Mutation analysis assesses a test suite's adequacy by measuring its ability to detect small artificial faults, systematically seeded into the tested program. Mutation analysis is c…

cs.LG2021★ 10 cited

Removing biased data to improve fairness and accuracy

Sahil Verma, Michael Ernst, Rene Just

Machine learning systems are often trained using data collected from historical decisions. If past decisions were biased, then automated systems that learn from historical data wil…