Etienne Payet, Fausto Spoto. Experiments with Non-Termination Analysis for Java Bytecode.
Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), Mar 2009, York, United Kingdom. pp.83--96,
⟨10.1016/j.entcs.2009.11.016⟩.
⟨hal-01188696v1⟩