共 17 条
[1]
Albert E, 2008, LECT NOTES COMPUT SC, V5051, P2, DOI 10.1007/978-3-540-68863-1_2
[2]
Cadar Cristian, 2005, P SPIN 05
[4]
Dolby J, 2018, ARXIV180504058
[5]
Inafune T., 2018, ICCMS 2018 JAN 8 10
[6]
Symbolic backward simulation of Java']Java bytecode program
[J].
PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON COMPUTER MODELING AND SIMULATION (ICCMS 2018),
2017,
:140-145
[7]
Lam Patrick, 2011, Cetus Users and Compiler Infastructure Workshop, V15, P35
[8]
Lee HB, 1997, PROCEEDINGS OF THE USENIX SYMPOSIUM ON INTERNET TECHNOLOGIES AND SYSTEMS, P73
[9]
LINDHOLM T, 1996, JAVA VIRTUAL MACHINE
[10]
McCabe T., 1978, IEEE T SOFTWARE ENG, V2, P308