-
4061
Generalizing symbolic execution to library classes.
Xuất bản năm Software engineering notes.Bài viết -
4062
-
4063
The Mobius framework and its implementation.
Xuất bản năm IEEE Transactions on software engineeringBài viết -
4064
-
4065
-
4066
-
4067
-
4068
-
4069
-
4070
Reversible debugging using program instrumentation.
Xuất bản năm IEEE Transactions on software engineeringBài viết


