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
- Yves Le Traon
- Shinji Kusumoto
- Manuel V. Hermenegildo
- Willem Visser
- Yoshiki Higo
- Prabhat Mishra
- Nikolai Tillmann
- Andrea Arcuri
- Eric Bodden
- Pietro Ferrara
- Mark Harman
- Chao Wang
- Ji Wang
- Denys Poshyvanyk
- Radhia Cousot
- Mike Papadakis
- Collin McMillan
- Christopher Kruegel
- Flemming Nielson
- Sanjam Garg
- David Lo
- Koushik Sen
- Jacob A. Abraham
- Daniel Kroening
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