112
Voted
WLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...