Sign in
Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing.
Roland Groz
Muhammad-Naeem Irfan
Catherine Oriat
Published in:
ISoLA (1) (2012)
Keyphrases
</>
source code
intrusion detection
complex systems
statistical models
random fields
bayesian inference
software design
probabilistic model
software development
access control
parameter estimation
test cases
software maintenance
quality assurance
structured prediction