Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352).

Patrick Cousot Daniel Kroening Carsten Sinz

Published in: Dagstuhl Reports (2014)

Keyphrases

analysis tool
software tools
software packages
software development
static analysis
graphical display
data mining
graphical user interfaces
educational software
interaction analysis
dynamic analysis
software reuse
software developers
user friendly
data warehouse
user interface
website
artificial intelligence