Search NASASearch

NASA NTRS · 20060030385

Automated specification-based test case generation using SCR

Abstract

The source did not provide an abstract. Follow the original record for more information.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nikora, A. P., Heitmeyer, C. L.. 2002-11-04. Automated specification-based test case generation using SCR. https://ntrs.nasa.gov/citations/20060030385

Cite the original work for its findings. Save a collection to share your selection of sources.