Skip to main content
main-content

Zeitschrift

Automated Software Engineering

Automated Software Engineering 3/2012

Ausgabe 3/2012

Inhaltsverzeichnis ( 4 Artikel )

01.09.2012 | Ausgabe 3/2012

Editorial: analysis in software engineering

Robert J. Hall

01.09.2012 | Ausgabe 3/2012

Efficient and formal generalized symbolic execution

Xianghua Deng, Jooyong Lee, Robby

01.09.2012 | Ausgabe 3/2012

Artificial neural networks as multi-networks automated test oracle

Seyed Reza Shahamiri, Wan M. N. Wan-Kadir, Suhaimi Ibrahim, Siti Zaiton Mohd Hashim

01.09.2012 | Ausgabe 3/2012

Decision support for the software product line domain engineering lifecycle

Ebrahim Bagheri, Faezeh Ensan, Dragan Gasevic

Aktuelle Ausgaben

Premium Partner

    Bildnachweise