Automatic Requirement Extraction from Test Cases.

Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico

Browse the full RV paper archive.