Author:
Bodhuin Thierry,Pagnozzi Federico,Santone Antonella,Tortorella Maria,Villani Maria Luisa
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Barbuti, R., De Francesco, N., Santone, A., Vaglini, G.: Selective mu-calculus and Formula-Based Abstractions of Transition Systems. Journal of Computer and System Sciences 59(3), 537–556 (1999)
2. Bodhuin, T., Tortorella, M.: A Tool for static and dynamic Model extraction and Impact Analysis. In: Proc. of CSMR 2005, 9th European Conference on Software Maintenance and Reengineering, Manchester, UK, March 21-23 (2005)
3. Bodhuin, T., Di Penta, M., Troiano, L.: A Search-Based Approach for Dynamically Re-packaging of Downloadable Applications. In: IBM Centers for Advanced Studies Conference - CASCON 2007, Toronto, Canada, October 22 - 25 (2007)
4. Bodhuin, T., Pagnozzi, F., Santone, A., Tortorella, M., Villani, M.L.: Abstracting Models from Execution Traces for Performing Formal Verification. Technical Report
5. Burstall, R.M., Darlington, J.: A Transformation System for Developing Recursive Programs. J. ACM 24(1), 44–67 (1977)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献