Slicing Event Spaces
Néstor Cataño · Electronic Notes in Theoretical Computer Science · 2003
Java event spaces are partial orders of memory and thread actions as generated by a multi-threaded Java program in execution. This paper shows how standard techniques of slicing can be used to reduce the size of Java event spaces. Furthermore, we face the problem that arises when two or more variables of an event space are aliased and we outline an algorithm that goes through an event space and calculates aliases of variables. We incorporate this algorithm in the calculation of the program program slice.