Vehicle Driving Assistant. - Akanksha Dwivedi; Anoop Toffy; Athul Suresh; Tarini Chandrashekhar (CoRR, 2020)

WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software. - Varsha P. Suresh; Sujit Kumar Chakrabarti; Athul Suresh; Raoul Jetley (SEKE, 2022)