SYMBOLIC EXECUTION
Experts
- Irith Pomeranz
- Sudhakar M. Reddy
- Corina S. Pasareanu
- Gordon Fraser
- Sarfraz Khurshid
- Cristian Cadar
- Tao Xie
- Vishwani D. Agrawal
- Nikolai Tillmann
- Willem Visser
- Ji Wang
- Andrea Arcuri
- Prabhat Mishra
- Zhenbang Chen
- Jonathan de Halleux
- Hideo Fujiwara
- Mark Harman
- Jacob A. Abraham
- Raimund Ubar
- Michael S. Hsiao
- Eric Bodden
- Kewal K. Saluja
- Reiner Hähnle
- Jaan Raik
- Koushik Sen
- Janak H. Patel
- Kuo-Chung Tai
- Guowei Yang
- Kwang-Ting Cheng
- Martin Monperrus
- Nikolai Kosmatov
- Denys Poshyvanyk
- Mike Papadakis
- Kerstin Eder
- Peter Müller
- Paolo Tonella
- Franco Fummi
- Xiaoqing Wen
- Melvin A. Breuer
Venues
- CoRR
- ITC
- ASE
- ICSE
- IEEE Trans. Software Eng.
- ISSTA
- SAS
- ESEC/SIGSOFT FSE
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- DAC
- VTS
- ICST
- DATE
- J. Syst. Softw.
- Sci. Comput. Program.
- ICCAD
- Asian Test Symposium
- Softw. Test. Verification Reliab.
- ACM SIGSOFT Softw. Eng. Notes
- Proc. ACM Program. Lang.
- IEEE Trans. Computers
- APSEC
- Inf. Softw. Technol.
- SCAM
- Electron. Notes Theor. Comput. Sci.
- Softw. Pract. Exp.
- VLSI Design
- ICSE Companion
- ISSRE
- Haifa Verification Conference
- J. Electron. Test.
- ACM Trans. Softw. Eng. Methodol.
- SANER
- SIGSOFT FSE
- SEKE
- IEEE Access
- ICST Workshops
- Program. Comput. Softw.
- ICPC
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend