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
- Andrea Arcuri
- Ji Wang
- Prabhat Mishra
- Zhenbang Chen
- Hideo Fujiwara
- Mark Harman
- Jonathan de Halleux
- Raimund Ubar
- Jacob A. Abraham
- Michael S. Hsiao
- Eric Bodden
- Kewal K. Saluja
- Reiner Hähnle
- Guowei Yang
- Jaan Raik
- Koushik Sen
- Janak H. Patel
- Kuo-Chung Tai
- Mike Papadakis
- Melvin A. Breuer
- Martin Monperrus
- Franco Fummi
- Nikolai Kosmatov
- Paolo Tonella
- Kwang-Ting Cheng
- Zhendong Su
- Giovanni Denaro
- Peter Müller
- Kerstin Eder
Venues
- CoRR
- ITC
- ASE
- ICSE
- ISSTA
- IEEE Trans. Software Eng.
- SAS
- ESEC/SIGSOFT FSE
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- DAC
- VTS
- ICST
- DATE
- Softw. Test. Verification Reliab.
- ICCAD
- Asian Test Symposium
- Sci. Comput. Program.
- ACM SIGSOFT Softw. Eng. Notes
- IEEE Trans. Computers
- J. Syst. Softw.
- Inf. Softw. Technol.
- SCAM
- Electron. Notes Theor. Comput. Sci.
- Proc. ACM Program. Lang.
- Softw. Pract. Exp.
- VLSI Design
- APSEC
- ISSRE
- Haifa Verification Conference
- J. Electron. Test.
- SEKE
- SIGSOFT FSE
- ACM Trans. Softw. Eng. Methodol.
- ICST Workshops
- SANER
- Program. Comput. Softw.
- ICSE (Companion Volume)
- CCS
- TACAS
Related Topics
Related Keywords
Popularity