1 citations · 2 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.NI2023★ 1 cited
Eywa: Automating Model Based Testing using LLMs
Rajdeep Mondal, Rathin Singha, Todd Millstein +3
Model-based testing (MBT), whereby a model of the system under test is analyzed to generate high-coverage test cases, has been used to test protocol implementations. A key barrier…
cs.NI2023★ 1 cited
Finding Adversarial Inputs for Heuristics using Multi-level Optimization
Pooria Namyar, Behnaz Arzani, Ryan Beckett +5
Production systems use heuristics because they are faster or scale better than their optimal counterparts. Yet, practitioners are often unaware of the performance gap between a heu…