Dr. Sergiy Vilkomir - Research

Software Quality Research Laboratory (SQRL), Department of Electrical Engineering and Computer Science,
College of Engineering, University of Tennessee, USA

CONTACT DETAILS - EXPERIENCE - RESEARCH - TEACHING - PUBLICATIONS

Research

Research Interests:

• Requirement Engineering:
  • Formal tabular specifications of software
  • the Z notation
  • Co-evolution of formal and informal requirements
  • Regulatory requirements for safety-critical software
  
  
• Reliability of computer systems
  • Software reliability of telecommunication systems
  • Software reliability of safety-critical control systems
  • Mathematical methods of reliability evaluation
  
  
• Software testing:
  • Testing based on formal specifications
  • Elaboration of new software testing criteria
  • Analysis of effectiveness of testing methods
  • Experimental study of testing
  
  
• Formal methods:
  • Formal tabular notations
  • Using the Z notation for formalization and analysis of requirements for software
  • Formalization of testing criteria
  
  
• Assessment of software of safety-critical systems during licensing and certification

See also:

• List of publications
• SQRL research group, UTK, USA
• SQRL research group, UL, Ireland
• CAFM research group, LSBU, UK
• SBU FORTEST research group, UK