AutoAssert

"Towards Trustworthy LLM-Based Assertion Generation: A Data Augmentation Framework with Formal Check Approach"

Name		Name	Last commit message	Last commit date
README.md		README.md
TrustAssert_1_immediate_with_no_full_code.csv		TrustAssert_1_immediate_with_no_full_code.csv
assertion_check.py		assertion_check.py
assertion_percentage_trends.pdf		assertion_percentage_trends.pdf
config.json		config.json
description_generate.py		description_generate.py
extract_assertion.py		extract_assertion.py
generation_config.json		generation_config.json
merged_assertion_property_2020.csv		merged_assertion_property_2020.csv
merged_assertion_property_2021.csv		merged_assertion_property_2021.csv
merged_assertion_property_2022.csv		merged_assertion_property_2022.csv
merged_assertion_property_2023.csv		merged_assertion_property_2023.csv
merged_assertion_property_2024.csv		merged_assertion_property_2024.csv
merged_assertion_property_2025.csv		merged_assertion_property_2025.csv
property.py		property.py
summary.py		summary.py
test_extract.py		test_extract.py
yearly_assertion_statistics_linear_with_percentages.pdf		yearly_assertion_statistics_linear_with_percentages.pdf

Navigation Menu