Reverse engineering state machines by interactive grammar inference

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn , Issue , 2007, Pages 209-218

  Walkinshaw, Neil ^a   Bogdanov, Kirill ^a   Holcombe, Mike ^a   Salahuddin, Sarah ^a  

^a NONE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

GRAMMAR INFERENCE; STATE MACHINES;

ABSTRACTING; COMPUTER NETWORKS; COMPUTER SOFTWARE; FINITE AUTOMATA; REENGINEERING; REVERSE ENGINEERING; TECHNOLOGY;

CONTOUR FOLLOWERS;

EID: 51149091866     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2007.45     Document Type: Conference Paper

References (23)

1. D. Angluin. learning regular sets from queries and counterexamples. Information and Computation, 75:87-106, 1987.
2. A. W. Biermann and J. Feldman. On the synthesis of finite-state machines from samples of their behavior. IEEE Transactions on Computers, 21:592-597, 1972.
3. E. Börger. Abstract state machines and high-level system design and analysis. Theoretical Computer Science, 336(2-3):205-207, 2005.
4. T. Chow. Testing Software Design Modelled by Finite State Machines. IEEE Transactions on Software Engineering, 4(3):178-187, 1978.
5. J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology, 7(3):215-249, 1998.
6. C. Damas, B. Lambeau, P. Dupont, and A. van Lamsweerde. Generating annotated behavior models from enduser scenarios. IEEE Transactions on Software Engineering, 31(12):1056-1073, 2005.
7. L. M. Duarte, J. Kramer, and S. Uchitel. Model extraction using context information. In O. Nierstrasz, J. Whittle, D. Harel, and G. Reggio, editors, MoDELS, volume 4199 of Lecture Notes in Computer Science, pages 380-394. Springer, 2006.
8. P. Dupont, B. Lambeau, C. Damas, and A. van Lamsweerde. The QSM algorithm and its application to software behavior model induction. Applied Artificial Intelligence, 2007. to appear.
9. T. Eisenbarth, R. Koschke, and D. Simon. Locating Features in Source Code. IEEE Transactions on Software Engineering, 29(3):210-224, 2003.
10. M. Gold. Language identification in the limit. Information and Control, 10:447-474, 1967.
11. M. Holcombe and F. Ipate. Correct Systems - Building A Business Process Solution. Applied Computing Series. Springer, 1998.
12. J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979.
13. H. Hungar, T. Margaria, and B. Steffen. Test-based model generation for legacy systems. In ITC, pages 971-980. IEEE Computer Society, 2003.
14. H. Hungar, O. Niese, and B. Steffen. Domain-specific optimization in automata learning. In International Conference on Computer Aided Verification (CAV'03), 2003.
15. K. Lang. Random DFA's can be approximately learned from sparse uniform examples. In COLT, pages 45-52, 1992.
16. K. Lang, B. Pearlmutter, and R. Price. Results of the Abbadingo One DFA learning competition and a new evidence-driven state merging algorithm. In V. Honavar and G. Slutzki, editors, Grammatical Inference; 4th International Colloquium, ICGI-98, volume 1433 of LNCS/LNAI, pages 1-12. Springer, 1998.
17. D. Lee and M. Yannakakis. Principles and Methods of Testing Finite State Machines - A Survey. In Proceedings of the IEEE, volume 84, pages 1090-1126, 1996.
18. K. Li, R. Groz, and M. Shahbaz. Integration testing of components guided by incremental state machine learning. In P. McMinn, editor, TAIC PART, pages 59-70. IEEE Computer Society, 2006.
19. D. Lorenzoli, L. Mariani, and M. Pezze. Inferring state-based behavior models. In Proceedings of the International Workshop on Dynamic Analysis (WODA'06), 2006.
20. J. Oncina and P. Garcia. Inferring regular languages in polynomial update time. In N. P. de la Blanca, A. Sanfeliu, and E. Vidal, editors, Pattern Recognition and Image Analysis, volume 1 of Series in Machine Perception and Artificial Intelligence, pages 49-61. World Scientific, Singapore, 1992.
21. M. Salah, T. Denton, S. Mancoridis, A. Shokoufandeh, and F. I. Vokolos. Scenariographer: A tool for reverse engineering class usage scenarios from method invocation sequences. In ICSM, pages 155-164. IEEE Computer Society, 2005.
22. N. Walkinshaw, K. Bogdanov, and M. Holcombe. Identifying state transitions and their functions in source code. In Testing: Academic and Industrial Conference (TAIC PART'06), pages 49-58. IEEE Computer Society, 2006.
23. J. Whaley, M. Martin, and M. Lam. Automatic Extraction of Object-Oriented Component Interfaces. In Proceedings of the International Symposium on Software Testing and Analysis, July 2002.