TriggerZoo: A Dataset of Android Applications Automatically Infected with Logic Bombs.

Jordan Samhi Tegawendé F. Bissyandé Jacques Klein

Published in: CoRR (2022)

Keyphrases

neural network
real world
computational properties
benchmark datasets
asynchronous circuits
data sets
deontic logic
epistemic logic
predicate logic
automatically generated
model checking
logic programming
object recognition
database systems
computer vision
genetic algorithm
data mining