FireBugs: finding and repairing bugs with security patterns.

Larry Singleton Rui Zhao Myoungkyu Song Harvey P. Siy

Published in: MOBILESoft@ICSE (2019)

Keyphrases

security patterns
software systems
formal model
security requirements
artificial intelligence
object oriented
dynamic environments
semi automatic
security properties