archives

EPrints submitted by Jing (Janet) Liu


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Click here to see user's record.

User has submitted 2 EPrints

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.



Contact site administrator at: ssg@cs.iastate.edu