Using indexed sequence diagrams to recover the behaviour of AJAX applications | IEEE Conference Publication | IEEE Xplore