Dealing with Variability in API Misuse Specification.
Rodrigo BonifácioStefan KrügerKrishna NarasimhanEric BoddenMira MeziniPublished in: CoRR (2021)
Keyphrases
- high level
- application developers
- application programming interface
- source code
- data sets
- specification language
- anomaly detection
- conceptual model
- software product line
- personal data
- open source
- database
- third party
- information retrieval
- provably correct
- intrusion detection system
- formal specification
- formal methods
- user defined
- relational databases
- formal verification
- search engine
- asynchronous circuits