Areas of Interest

Reducing uncertainty in V&V of adaptive systems

  • Requirements traceability
  • Program understanding
  • Machine learning
  • Reasoning under uncertainty
  • Software analytics

Modeling and verification of adaptive systems

  • Requirements modeling
  • Model-based systems
  • Run-time verification
  • Monitoring
  • (Re)configuration
  • Elastic computing
  • Quality assurance
  • Fail-operational systems

Case studies in adaptive systems

  • V&V of reliability, resilience, security
  • V&V of non-functional quality attributes
  • Benchmarking V&V
  • V&V of cyber-physical systems
  • Decision making in V&V

Testing of adaptive systems

  • Test case derivation
  • Test case selection
  • Test execution
  • Test oracles
  • Passive testing
  • Model-based testing
  • Model-based diagnosis
  • Performance metrics
  • Scalability