Skip to main content

Automated Software Engineering

Ausgabe 3/2012

Inhalt (4 Artikel)

Efficient and formal generalized symbolic execution

Xianghua Deng, Jooyong Lee, Robby

Artificial neural networks as multi-networks automated test oracle

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