Learning Strategies Using Boolean Program Metrics to Verify Industrial Code. - Priyanka Darke; Bharti Chimdyalwar; Manoj Alladawar; Sahil Sulakhe; R. Venkatesh 001; Supratik Chakraborty (ICSME, 2024)