Improving Static Initialization Block Handling in Java Symbolic Execution Engine.

Edit Pengo, Istvn Siket

Browse the full ICCSA paper archive.