research
∙
06/15/2023
MuRS: Mutant Ranking and Suppression using Identifier Templates
Diff-based mutation testing is a mutation testing approach that only mut...
share
research
∙
05/16/2023
Generate Compilers from Hardware Models!
Compiler backends should be automatically generated from hardware design...
research
∙
02/08/2023
On the Applicability of Language Models to Block-Based Programs
Block-based programming languages like Scratch are increasingly popular ...
research
∙
03/20/2022
Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition
Brain-computer interfaces (BCIs) decode recorded neural signals from the...
research
∙
01/07/2022
Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships
Proper statistical modeling incorporates domain theory about how concept...
research
∙
06/14/2021
JUGE: An Infrastructure for Benchmarking Java Unit Test Generators
Researchers and practitioners have designed and implemented various auto...
research
∙
04/06/2021
Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications
Data analysis requires translating higher level questions and hypotheses...
research
∙
03/12/2021
Does mutation testing improve testing practices?
Various proxy metrics for test quality have been defined in order to gui...
research
∙
02/22/2021
Practical Mutation Testing at Scale
Mutation analysis assesses a test suite's adequacy by measuring its abil...
research
∙
02/05/2021
Removing biased data to improve fairness and accuracy
Machine learning systems are often trained using data collected from his...
research
∙
04/10/2019