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