Program slicing based on specification
Proceedings of the 2001 ACM symposium on Applied computing
Output-constraint specialization
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
Reformulation and Approximation in Model Checking
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Program Adaptation via Output-Constraint Specialization
Higher-Order and Symbolic Computation
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
GamaSlicer: an online laboratory for program verification and analysis
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Fundamentals of debugging using a resolution calculus
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |