Generating REST API Specifications through Static Analysis.

Ruikai Huang Manish Motwani Idel Martinez Alessandro Orso

Published in: ICSE (2024)

Keyphrases

static analysis
source code
dynamic analysis
open source
symbolic execution
malicious code
java card
regular expressions
api calls
test generation
software systems
high level
relational databases
feature space
case study
abstract interpretation
learning algorithm