A Knowledge-Based Approach to the Analysis of Loops
IEEE Transactions on Software Engineering
Towards Building a Smarter Domain Knowledge Recovery Assistant1
COMPSAC '00 24th International Computer Software and Applications Conference
Qualifying reusable functions using symbolic execution
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Hi-index | 0.00 |