Using symbolic evaluation to understand behavior in configurable software systems.
Elnatan ReisnerCharles SongKin-Keung MaJeffrey S. FosterAdam A. PorterPublished in: ICSE (1) (2010)
Keyphrases
- software systems
- software engineering
- source code
- software design
- software development
- software maintenance
- emergent behavior
- software architecture
- metamodel
- linux kernel
- software quality
- software components
- software testing
- component based software
- software engineers
- design patterns
- functional requirements
- software evolution
- dynamic behavior
- dynamic reconfiguration
- clone detection
- database
- software developers
- multi agent systems
- machine learning
- real world