Login / Signup
TriggerZoo: A Dataset of Android Applications Automatically Infected with Logic Bombs.
Jordan Samhi
Tegawendé F. Bissyandé
Jacques Klein
Published in:
MSR (2022)
Keyphrases
</>
benchmark datasets
modal logic
automatically generated
real time
user defined
database
information retrieval
case study
image retrieval
classical logic
computational properties
defeasible logic
predicate logic