Automatic Generation and Validation of Models of Legacy Software.

Joel Huselius, Johan Andersson, Hans Hansson, Sasikumar Punnekkat

Browse the full RTCSA paper archive.