A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives

No abstract available

This publication has 7 references indexed in Scilit:

Slicing concurrent Java programs
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
Static slicing of threaded programs
Published by Association for Computing Machinery (ACM) ,1998
The model checker SPIN
IEEE Transactions on Software Engineering, 1997
Bug found in Java Virtual Machine
Network Security, 1997
Symbolic Model Checking
Published by Springer Nature ,1993
Slicing concurrent programs
Published by Springer Nature ,1993
Program Slicing
IEEE Transactions on Software Engineering, 1984