Automated Software Engineering

Artificial neural networks as multi-networks automated test oracle
Decision support for the software product line domain engineering lifecycle
Editorial: analysis in software engineering
Efficient and formal generalized symbolic execution