Cited By
View all- Chimdyalwar B(2024)Fast and Precise Interval Analysis on Industry code2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops (ISSREW)10.1109/ISSREW63542.2024.00049(67-72)Online publication date: 28-Oct-2024
- Darke PChimdyalwar BAlladawar MSulakhe SVenkatesh RChakraborty S(2024)Learning Strategies Using Boolean Program Metrics to Verify Industrial Code2024 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME58944.2024.00076(719-729)Online publication date: 6-Oct-2024
- Metta RYeduru PKarmarkar HMedicherla R(2023)VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution)Tools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-30820-8_42(594-599)Online publication date: 22-Apr-2023
- Show More Cited By