Sergey Staroletov

Academic Advising

  • Software model checking
  • Model-based testing
  • TDD
  • BDD
  • Requirements engineering
  • System programming
  • Anomaly analyzing
  • Automotive

Publications