Software Testing, Fault Tolerance, Formal Methods
Human-Computer Interaction, Software Tools, Crowdsourcing
Software Development and Evolution, Program Understanding and Software Visualization, Software Analysis and Metrics, Cognitive Models of Software Development Process
Autonomic Computing, E-commerce, Analytic Performance Modeling, Software Performance Engineering
software engineering; programming languages; formal methods
Software Engineering, Distributed Systems, Mobile Computing, Machine Learning
Agile Software Engineering, Software Metrics, Computer Science Education
Distributed Computing, Interoperability, Dynamic Reconfiguration