Login
中文
Concolic Testing
Related Fields
Anything in here will be replaced on browsers that support the canvas element
Verification and validation
Information security
Metrics
Software quality
Software Testing
System testing
Software verification
Source code
Embedded system
Software Engineering
Programming language
Concrete
Software maintenance
JavaScript
Formal methods
Database
Software system
Debugging
Empirical research
Theory of computation
Computer Science
Java
Random testing
Code coverage
Verification
Top Authors:
Koushik Sen
Moonzoo Kim
Yunho Kim
Zhihong Xu
Gul Agha
Gregg Rothermel
Phil Mcminn
Kiran Lakhotia
Mark Harman
Sunghun Kim
Wolfgang De Meuter
Simon J Gibbs
Nikolai Kosmatov
Peter Dinges
Frank Tip
Marco Pistoia
Qingkai Zeng
Johnson Wong
Sangharatna Godboley
Durga Prasad Mohapatra
Chanseok Oh
G S Prashanth
Rupak Majumdar
Myra B Cohen
Tanmoy Sarkar
Laurent Christophe
Tamal Sarkar
Sreetama Basu
Olli Saarikivi
Keijo Heljanko
Kari Kahkonen
김문주
Yoonkyu Jang
김윤호
Swaroop Kalasapur
Long H Pham
Weiguang Wang
Daniel Schwartznarbonne
Adam Kiezun
Shay Artzi
Michael Ernst
Thomas Wies
Taeksu Kim
Tasneem Brutch
Quang Loc Le
Coen De Roover
Darko Marinov
John Rooksby
Mark Rouncefield
Zhenkun Yang
Paper Map
More
Author Map (v2)
More
Mentorship Map
More
Mentorship Hierachical Map
More
Paper Recommendation