STATIC ANALYSIS
Experts
- Irith Pomeranz
- Sudhakar M. Reddy
- Corina S. Pasareanu
- Patrick Cousot
- Gordon Fraser
- Sarfraz Khurshid
- Agostino Cortesi
- Tao Xie
- Roberto Giacobazzi
- Amit Sahai
- Massimiliano Di Penta
- Martin Monperrus
- Vishwani D. Agrawal
- Antoine Miné
- Cristian Cadar
- Shinji Kusumoto
- Yves Le Traon
- Manuel V. Hermenegildo
- Willem Visser
- Yoshiki Higo
- Andrea Arcuri
- Nikolai Tillmann
- Prabhat Mishra
- Chao Wang
- Eric Bodden
- Mark Harman
- Pietro Ferrara
- Radhia Cousot
- Mike Papadakis
- Denys Poshyvanyk
- Collin McMillan
- David Lo
- Sanjam Garg
- Flemming Nielson
- Christopher Kruegel
- Koushik Sen
- Jacob A. Abraham
- Ji Wang
- Francesco Mercaldo
Venues
- CoRR
- ASE
- ICSE
- SAS
- IACR Cryptol. ePrint Arch.
- IEEE Trans. Software Eng.
- ITC
- IEEE Access
- ESEC/SIGSOFT FSE
- J. Syst. Softw.
- SCAM
- ISSTA
- Empir. Softw. Eng.
- ICST
- DAC
- Electron. Notes Theor. Comput. Sci.
- ICSM
- Commun. ACM
- Sci. Comput. Program.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Comput. Phys. Commun.
- DATE
- Inf. Softw. Technol.
- ICPC
- COMPSAC
- APSEC
- Softw. Pract. Exp.
- Comput. Secur.
- SANER
- WCRE
- ISSRE
- ACM SIGSOFT Softw. Eng. Notes
- ICSE (Companion Volume)
- SAC
- IEEE Trans. Computers
- VMCAI
- VTS
- CCS
- ICCAD
Related Topics
Related Keywords
Popularity