1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components (SE4SafeML 2023),
December 4, 2023,
San Francisco, CA, USA
Rule-Based Testing of Neural Networks
Muhammad Usman , Youcheng Sun , Divya Gopinath , and Corina S. Păsăreanu (University of Texas, USA; University of Manchester, UK; KBR @ NASA Ames Research Center, USA; Carnegie Mellon University, USA) Article Search