31 citations · 71 across the 26 of their papers we have counts for
4 papers · 1 filter
State Frequency Estimation for Anomaly Detection
Clinton Cao, Agathe Blaise, Annibale Panichella +1
Many works have studied the efficacy of state machines for detecting anomalies within NetFlows. These works typically learn a model from unlabeled data and compute anomaly scores f…
CATMA: Conformance Analysis Tool For Microservice Applications
Clinton Cao, Simon Schneider, Nicolás E. Díaz Ferreyra +3
The microservice architecture allows developers to divide the core functionality of their software system into multiple smaller services. However, this architectural style also mak…
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
Calin Georgescu, Mitchell Olsthoorn, Pouria Derakhshanfar +2
Compiler correctness is a cornerstone of reliable software development. However, systematic testing of compilers is infeasible, given the vast space of possible programs and the co…
TestSpark: IntelliJ IDEA's Ultimate Test Generation Companion
Arkadii Sapozhnikov, Mitchell Olsthoorn, Annibale Panichella +2
Writing software tests is laborious and time-consuming. To address this, prior studies introduced various automated test-generation techniques. A well-explored research direction i…