Embedded Files
In our paper, we have two components that utilizes LLMs:
Predicting entity relationships. We predict entity relationships between different entity types.
During entity relationship prediction, we utilized three different prompts to find API-DB, API-Env, API-API relations, respectively.
Invariant deduction. We utilize LLM to deduce invariants from the ER-diagram.
Prompt for API-DB relationship inference (Click to expand)
Prompt for API-DB relationship inference (Click to expand)
Prompt Template
Example from Experiments
Prompt for API-Env relationship inference (Click to expand)
Prompt for API-Env relationship inference (Click to expand)
Prompt Template
Example from Experiments
Prompt for API-API relationship inference (Click to expand)
Prompt for API-API relationship inference (Click to expand)
Prompt Template
Example from Experiments
Prompt for invariant deduction (Click to expand)
Prompt for invariant deduction (Click to expand)
Prompt Template
Example from Experiments
Refinement prompt (Click to expand)
Refinement prompt (Click to expand)
Prompt Template
Example from Experiments
Page updated
Google Sites
Report abuse