1. Automatic Verification of C and Java Programs: SV-COMP 2019
2. Conditional model checking
3. Automating Test-Suite Augmentation
4. Cordeiro , L. , Kesseli , P. , Kroening , D. , Schrammel , P. , Trtik , M. : JBMC: A bounded model checking tool for verifying Java bytecode. In : CAV. Springer ( 2018 ) Cordeiro, L., Kesseli, P., Kroening, D., Schrammel, P., Trtik, M.: JBMC: A bounded model checking tool for verifying Java bytecode. In: CAV. Springer (2018)
5. Cordeiro , L.C. , Kroening , D. , Schrammel , P. : Benchmarking of Java verification tools at the Software Verification Competition (SV-COMP). ACM SIGSOFT Softw. Eng. Notes abs/1809 . 03739 ( 4 ), 56 ( 2018 ), http://arxiv.org/abs/1809.03739 Cordeiro, L.C., Kroening, D., Schrammel, P.: Benchmarking of Java verification tools at the Software Verification Competition (SV-COMP). ACM SIGSOFT Softw. Eng. Notes abs/1809.03739(4), 56 (2018), http://arxiv.org/abs/1809.03739