Share with: YuanFang Cai Publications Lead Author Journal Article - A Formal Model for Automated Software Modularity and Evolvability AnalysisJournal Article - A Formal Model for Automated Software Modularity and Evolvability Analysis Projects Researcher