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