Author:
Albert Elvira,Gómez-Zamalloa Miguel,Puebla Germán
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers - Principles, Techniques and Tools. Addison-Wesley, Reading (1986)
2. Lecture Notes in Computer Science;E. Albert,2007
3. Lecture Notes in Computer Science;E. Albert,2006
4. Lecture Notes in Computer Science,2007
5. Bruynooghe, M., De Schreye, D., Martens, B.: A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. New Generation Computing 1(11), 47–79 (1992)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Testing of concurrent and imperative software using CLP;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05
2. A Framework for Guided Test Case Generation in Constraint Logic Programming;Logic-Based Program Synthesis and Transformation;2013
3. Constraint-based BMC: a backjumping strategy;International Journal on Software Tools for Technology Transfer;2012-08-30
4. Compositional CLP-Based Test Data Generation for Imperative Languages;Logic-Based Program Synthesis and Transformation;2011
5. Test case generation for object-oriented imperative languages in CLP;Theory and Practice of Logic Programming;2010-07