![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
Period of time: 2014年3期
Publisher: Springer Publishing Company
Founded in: 1994
Total resources: 48
ISSN: 0928-8910
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Automated Software Engineering,volume 19,issue 3
Menu
![](/images/ico/ico5.png)
Editorial: analysis in software engineering
Automated Software Engineering,volume 19,issue 3 , Vol. 19, Iss. 3, 2012-09 , pp.![](/images/ico/ico5.png)
Efficient and formal generalized symbolic execution
Automated Software Engineering,volume 19,issue 3 , Vol. 19, Iss. 3, 2012-09 , pp.![](/images/ico/ico5.png)
Artificial neural networks as multi-networks automated test oracle
Automated Software Engineering,volume 19,issue 3 , Vol. 19, Iss. 3, 2012-09 , pp.![](/images/ico/ico5.png)
Decision support for the software product line domain engineering lifecycle
Automated Software Engineering,volume 19,issue 3 , Vol. 19, Iss. 3, 2012-09 , pp.