Testing and verification of neural-network-based safety-critical control software: A systematic literature review

Jin Zhang, Jingyue Li. Testing and verification of neural-network-based safety-critical control software: A systematic literature review. Information \& Software Technology, 123:106296, 2020. [doi]

@article{ZhangL20-23,
  title = {Testing and verification of neural-network-based safety-critical control software: A systematic literature review},
  author = {Jin Zhang and Jingyue Li},
  year = {2020},
  doi = {10.1016/j.infsof.2020.106296},
  url = {https://doi.org/10.1016/j.infsof.2020.106296},
  researchr = {https://researchr.org/publication/ZhangL20-23},
  cites = {0},
  citedby = {0},
  journal = {Information \& Software Technology},
  volume = {123},
  pages = {106296},
}