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