苹果淫院
Automated software analysis and testing
Leveraging static and dynamic program analysis techniques to automate the quality assurance for software; automated bug detection; automated test generation; software security and vulnerability detection.
Cyber-physical systems
Runtime monitoring; design space exploration; formal assurance of dependability, safety and resilience; certification; self-adaptive smart systems.
Internet-scale software
Resource management in cloud computing; inter-cloud frameworks and management; software architectures for Internet-of-things; security and trust in Internet-of-things.
Mining software repositories
Mining the historical data that is produced during the development of software systems to yield actionable insights; data mining; statistical regression analysis; machine learning.
Model-driven engineering
Modeling languages; concerns, aspects, viewpoints; advanced separation of concerns; model queries and transformations; code generators; model-based analysis; model-based reuse; model management; concern-driven development.
Requirements engineering
Elicitation, specification, analysis and validation of requirements; model-driven requirements engineering; goal-oriented modeling; requirements reuse; User Requirements Notation (URN).
Variability management and modeling
Representing and managing large set of similar software artifacts; systematic software reuse; mass customization; variability models; software product line engineering; configuration management; navigating space of decisions.
听
| Software engineering group members | Topics |
|---|---|
| Variability management and modeling; Mining software repositories | |
|
Internet-scale software |
|
|
Model-driven engineering; requirements engineering |
|
| Lili Wei | Automated software analysis and testing; Empirical software engineering; Mining code repositories. |
|
D谩niel Varr贸听(Adjunct Professor) |
Cyber-physical systems; model-driven engineering |
听