Lightweight formal models of software weaknesses.

Robin A. Gandhi Harvey P. Siy Yan Wu

Published in: FormaliSE@ICSE (2013)

Keyphrases

lightweight
formal models
formal model
development environments
rule based systems
process model
wireless sensor networks
computer systems
software systems
dos attacks
communication infrastructure
software architecture
source code
embedded systems
authentication protocol
software development
genetic algorithm