Toward Modeling and Analysis for Software Installation Testing. - Jerry Zeyu Gao; Sujana Tirumalasetti; Chien-Pin Hsu; Yip Cheong; Anne Colendich; Todd Fitch (SEKE, 2007)