EPrints submitted by Jing (Janet) Liu

Liu, Jing (Janet), Hauptman, Miriam, Lutz, Robyn, Geppert, Birgit and Rößler, Frank (2007) A Tool-supported Technique for Specification & Management of Model-checking Properties for Software Product Lines. Technical Report 08-05, Computer Science, Iowa State University.

Liu, Jing (Janet), Basu, Samik and Lutz, Robyn (2008) Generating Variation-point Obligations for Compositional Model Checking of Software Product Lines. Technical Report 08-04, Computer Science, Iowa State University.