EVerest is a new publicly available dataset with security requirements, fine-grained elements, architecture model, source code, and documentation from an EV charging system to enable security verification research.
Title resolution pending
2 Pith papers cite this work, alongside 178 external citations. Polarity classification is still indexing.
2
Pith papers citing it
178
external citations · OpenAlex
fields
cs.SE 2years
2026 2representative citing papers
IRAP quantifies ambiguous performance requirements into mathematical functions via interactive retrieval-augmented preference elicitation and outperforms ten prior methods on four real-world datasets with up to 40x gains in five interaction rounds.
citing papers explorer
-
The EVerest Dataset for Secure Software Engineering
EVerest is a new publicly available dataset with security requirements, fine-grained elements, architecture model, source code, and documentation from an EV charging system to enable security verification research.
-
Conjecture and Inquiry: Quantifying Software Performance Requirements via Interactive Retrieval-Augmented Preference Elicitation
IRAP quantifies ambiguous performance requirements into mathematical functions via interactive retrieval-augmented preference elicitation and outperforms ten prior methods on four real-world datasets with up to 40x gains in five interaction rounds.