• Identifying Method Memoization Opportunities in Java Programs 

      Chugh, Pallavi (2017-12-13)
      Memorization of a method is a commonly used re-factoring wherein developer modules the code of a method to save return values for some or all incoming parameter values. Whenever a parameter-tuple is received for the second ...
    • Matching Domain Model with Source Code using Relationships 

      Bharat, Patil Tejas (2018-01-30)
      We address the task of mapping a given domain model (e.g., an industry-standard reference model) for a given domain (e.g., ERP), with the source code of an independently developed application in the same domain. This has ...
    • Model-Checking in Presburger Counter Systems using Accelerations 

      Acharya, Aravind N (2018-04-18)
      Model checking is a powerful technique for analyzing reach ability and temporal properties of finite state systems. Model-checking finite state systems has been well-studied and there are well known efficient algorithms ...