Testing the jGRASP structure identifier with data structure examples from textbooks
Proceedings of the 46th Annual Southeast Regional Conference on XX
Efficient and formal generalized symbolic execution
Automated Software Engineering
Hi-index | 0.00 |