Industrial Consultancy & Sponsored Research (IC&SR) , IIT Madras
Category – Information & Communication Technology (ICT), Software Debugging.
Applications – Software engineering, software validation, software testing, software debugging.Â
Market –Â Debugging software market size was valued at around USD 638 Million in 2021 and is projected to reach USD 2022 Million by 2030, growing at a CAGR of 13.66% from 2023 to 2030.
Watermarking IP design,
Electronic circuits
The present invention provides a method for automatically identifying bugs and a portion of a code responsible for bugs in a program.
The method integrates domain-trace and domain-ontology to identify bugs. A domain-ontology-based Program Assertion (DOPA) framework (Fig.1) is configured to integrate formal representations available to the program, execution of the program, and domain-knowledge, thereby making these representations inter-operative to identify bugs.
Prof. Rupesh Nasre
Prof. P. Sreenivasa Kumar,
Dept. of Computer Science & Engineering
TRL – 4,
Technology validated in lab.