Browsing M Tech Dissertations by Subject "Software Quality Testing"

Now showing items 1-1 of 1

    • Model Based Testing and Model Checking : An Efficient Combination 

      Mishra, Rohit Ajaykumar (Dhirubhai Ambani Institute of Information and Communication Technology, 2023)
      This thesis aims to combine MBT with model analysis to provide an overall frame-work for feedback-based model analysis. We have used an MBT tool, Graph-Walker, and a model checker, UPPAAL, for transformation, feedback, and ...