Reflexion Models for State Machine Extraction and Verification
暂无分享,去创建一个
[1] Daniel Kroening,et al. CBMC - C Bounded Model Checker - (Competition Contribution) , 2014, TACAS.
[2] Sebastian Herold,et al. Architecture consistency: State of the practice, challenges and requirements , 2017, Empirical Software Engineering.
[3] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[4] Rajib Mall,et al. Extracting finite state representation of Java programs , 2014, Software & Systems Modeling.
[5] Paolo Tonella,et al. Reverse Engineering of Object Oriented Code , 2005, Monographs in Computer Science.
[6] Matthew B. Dwyer,et al. Bandera: extracting finite-state models from Java source code , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[7] Brian A. Nejmeh,et al. NPATH: a measure of execution path complexity and its applications , 1988, CACM.
[8] Daniel Kroening,et al. Behavioral consistency of C and Verilog programs using bounded model checking , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
[9] Monica S. Lam,et al. Automatic extraction of object-oriented component interfaces , 2002, ISSTA '02.
[10] Rainer Koschke,et al. How do professional developers comprehend software? , 2012, 2012 34th International Conference on Software Engineering (ICSE).
[11] Philippe Dugerdil,et al. Program Understanding Models: An Historical Overview and a Classification , 2017, ICSOFT.
[12] James R. Larus,et al. Mining specifications , 2002, POPL '02.
[13] Brad A. Myers,et al. An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks , 2006, IEEE Transactions on Software Engineering.
[14] Daniel Kroening,et al. A Tool for Checking ANSI-C Programs , 2004, TACAS.
[15] Rainer Koschke,et al. Static object trace extraction for programs with pointers , 2005, J. Syst. Softw..
[16] David Notkin,et al. Software reflexion models: bridging the gap between source and high-level models , 1995, SIGSOFT FSE.
[17] Michele Lanza,et al. I know what you did last summer: an investigation of how developers spend their time , 2015, ICPC '15.
[18] Rainer Koschke,et al. On State Machine Mining from Embedded Control Software , 2018, 2018 IEEE International Conference on Software Maintenance and Evolution (ICSME).
[19] Rainer Koschke,et al. Hierarchical reflexion models , 2003, 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings..
[20] Neil Walkinshaw,et al. Automated discovery of state transitions and their functions in source code , 2008 .
[21] David Lorge Parnas,et al. Software aging , 1994, Proceedings of 16th International Conference on Software Engineering.
[22] Neil Walkinshaw,et al. Reverse Engineering State Machines by Interactive Grammar Inference , 2007, 14th Working Conference on Reverse Engineering (WCRE 2007).
[23] David W. Binkley,et al. Program slicing , 2008, 2008 Frontiers of Software Maintenance.
[24] Rainer Koschke,et al. Towards Interactive Mining of Understandable State Machine Models from Embedded Software , 2018, MODELSWARD.
[25] Kwang-Ting Cheng,et al. Automatic Functional Test Generation Using The Extended Finite State Machine Model , 1993, 30th ACM/IEEE Design Automation Conference.
[26] Prahladavaradan Sampath,et al. Translation validation for stateflow to C , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
[27] Christopher Exton. Constructivism and program comprehension strategies , 2002, Proceedings 10th International Workshop on Program Comprehension.
[28] Tao Xie,et al. Automatic extraction of abstract-object-state machines from unit-test executions , 2006, ICSE.
[29] Rainer Koschke,et al. Equipping the reflexion method with automated clustering , 2005, 12th Working Conference on Reverse Engineering (WCRE'05).
[30] David Chenho Kung,et al. On object state testing , 1994, Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94).