Author:
Alpuente María,Ballis Demis,Frechina Francisco,Sapiña Julia
Publisher
Springer International Publishing
Reference29 articles.
1. Lecture Notes in Computer Science;M Alpuente,2011
2. Lecture Notes in Computer Science;M Alpuente,2012
3. Lecture Notes in Computer Science;M Alpuente,2012
4. Alpuente, M., Ballis, D., Frechina, F., Romero, D.: Using conditional trace slicing for improving Maude programs. Sci. Comput. Program. 80, Part B:385–415 (2014)
5. Lecture Notes in Computer Science;M Alpuente,2013
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Slicing from formal semantics: Chisel—a tool for generic program slicing;International Journal on Software Tools for Technology Transfer;2018-07-17
2. Context-Updates Analysis and Refinement in Chisel;Model Checking Software;2018
3. Slicing from Formal Semantics: Chisel;Fundamental Approaches to Software Engineering;2017
4. Debugging Maude programs via runtime assertion checking and trace slicing;Journal of Logical and Algebraic Methods in Programming;2016-08