Fact extraction from bash in support of script migration. - Ian J. Davis; Richard C. Holt; Ron Mraz (CSMR-WCRE, 2014)