LLM-Guided Formal Verification Coupled with Mutation Testing.
Muhammad HassanSallar Ahmadi-PourKhushboo QayyumChandan Kumar JhaRolf DrechslerPublished in: DATE (2024)
Keyphrases
- formal verification
- mutation testing
- model checking
- test sequences
- test generation
- database applications
- finite state machines
- test suite
- automated verification
- model checker
- symbolic model checking
- test cases
- integration testing
- bounded model checking
- object oriented
- temporal logic
- data sets
- artificial intelligence
- testing process
- databases
- database
- error rate
- image data
- feature space
- high quality
- database systems
- decision trees