Static Checking of Interrupt-Driven Software.

Dennis Brylow Niels Damgaard Jens Palsberg

Published in: ICSE (2001)

Keyphrases

data driven
computer systems
software systems
software tools
neural network
artificial intelligence
user interface
software development
software architecture
software package
data mining
similarity measure
design patterns
embedded systems
dynamic analysis
software platform