-
3071
-
3072
-
3073
SableSpMT a software framework for analysing speculative multithreading in Java.
Veröffentlicht in Software engineering notes.Artikel -
3074
-
3075
-
3076
Weakest-precondition of unstructured programs.
Veröffentlicht in Software engineering notes.Artikel -
3077
-
3078
Generalizing symbolic execution to library classes.
Veröffentlicht in Software engineering notes.Artikel -
3079
Automatically generating refactorings to support API evolution.
Veröffentlicht in Software engineering notes.Artikel -
3080