S2E: a platform for in-vivo multi-path analysis of software systems.

Vitaly Chipounov Volodymyr Kuznetsov George Candea

Published in: ASPLOS (2011)

Keyphrases

emergent behavior
software systems
multi agent systems
software engineering
software development
multipath
software design
software architecture
source code
software maintenance
data mining
artificial intelligence
software evolution
software components
fault tolerant
end to end
database
database systems
case study