Generalized algorithmic debugging and testing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Generalized algorithmic debugging and testing
ACM Letters on Programming Languages and Systems (LOPLAS)
Static Slicing of Concurrent Object-Oriented Programs
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Precise slicing of concurrent programs
Automated Software Engineering
Hi-index | 0.00 |