Learning to Produce Direct Tests for Security Verification Using Constrained Process Discovery.

Kuo-Kai Hsieh Li-C. Wang Wen Chen Jayanta Bhadra

Published in: DAC (2017)

Keyphrases

supervised learning
learning process
prior knowledge
online learning
learning algorithm
unsupervised learning
learning systems
reinforcement learning
higher education
knowledge acquisition
security requirements
security issues
training process
learning community
information security
case study
information systems