@misc{indiciaecf75e92f9209,
  title = {Integrating software into PRA: a test-based approach.},
  author = {Bin Li and Ming Li and Carol Smidts},
  year = {2005},
  doi = {10.1111/j.1539-6924.2005.00638.x},
  url = {https://pubmed.ncbi.nlm.nih.gov/16268949/},
  note = {Source identifier: 16268949}
}