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