@misc{indiciaea7e022f85486,
  title = {Automated specification-based test case generation using SCR},
  author = {Nikora, A. P. and Heitymeyer, C. L.},
  year = {2003},
  url = {https://ntrs.nasa.gov/citations/20060029149},
  note = {Source identifier: 20060029149}
}