Work

LLM-Guided Formal Verification Coupled with Mutation Testing

Year: 2024

Type: conference-paper

Source: Design, Automation, and Test in Europe

DOI: 10.23919/date58400.2024.10546729

Authors: Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler

Institutions: University of Bremen, German Research Centre for Artificial Intelligence

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Bundesministerium für Bildung und Forschung

Award: G879987281

OpenAlex ID: W4401567960

FWCI: 17.13

Cites: 11

Cited by: 46

Related to: 10