Learning extended FSA from software: An empirical assessment