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.

听

听