Work

Learning Strategies Using Boolean Program Metrics to Verify Industrial Code

Year: 2024

Type: conference-paper

Source: IEEE International Conference on Software Maintenance and Evolution (ICSME)

DOI: 10.1109/icsme58944.2024.00076

Authors: Priyanka Darke, Bharti Chimdyalwar, Manoj Alladawar, Sahil Sulakhe, R Venkatesh, Supratik Chakraborty

Institutions: Tata Consultancy Services (India), Indian Institute of Technology Bombay

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4405602271

FWCI: 0.589

Cites: 28

Cited by: 2

Related to: 10