-
1دورية أكاديمية
المؤلفون: Shameng Wen, Qingkun Meng, Chao Feng, Chaojing Tang
المصدر: PLoS ONE, Vol 12, Iss 11, p e0188229 (2017)
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Shameng Wen, Qingkun Meng, Chao Feng, Chaojing Tang
المصدر: PLoS ONE, Vol 12, Iss 10, p e0186188 (2017)
وصف الملف: electronic resource
-
3مؤتمر
المؤلفون: Qingkun, Meng, Shameng, Wen, Chao, Feng, Chaojing, Tang
المصدر: 2016 5th International Conference on Computer Science and Network Technology (ICCSNT) Computer Science and Network Technology (ICCSNT), 2016 5th International Conference on. :177-181 Dec, 2016
Relation: 2016 5th International Conference on Computer Science and Network Technology (ICCSNT)
-
4مؤتمر
المؤلفون: Qingkun Meng, Shameng Wen, Bin Zhang, Chaojing Tang
المصدر: 2016 Progress in Electromagnetic Research Symposium (PIERS) Progress in Electromagnetic Research Symposium (PIERS). :3657-3661 Aug, 2016
Relation: 2016 Progress in Electromagnetic Research Symposium (PIERS)
-
5
-
6
المؤلفون: Chaojing Tang, Shameng Wen, Chao Feng, Qingkun Meng
المصدر: PLoS ONE
PLoS ONE, Vol 12, Iss 10, p e0186188 (2017)مصطلحات موضوعية: Reverse engineering, Evolutionary Genetics, Computer and Information Sciences, Traffic analysis, Evolutionary Processes, Computer science, Distributed computing, Code coverage, Vulnerability, lcsh:Medicine, Social Sciences, 02 engineering and technology, computer.software_genre, Computer Software, Computer Communication Networks, Fuzzy Logic, Application security, 0202 electrical engineering, electronic engineering, information engineering, Natural Selection, Psychology, Computer Networks, lcsh:Science, Protocol (object-oriented programming), Language, Evolutionary Biology, Multidisciplinary, lcsh:R, Cognitive Psychology, Biology and Life Sciences, 020206 networking & telecommunications, Fuzz testing, Engineering and Technology, Cognitive Science, 020201 artificial intelligence & image processing, lcsh:Q, Communications protocol, Genetic Engineering, computer, Network Analysis, Algorithms, Network analysis, Research Article, Biotechnology, Neuroscience
-
7
المؤلفون: Chao Feng, Qingkun Meng, Chaojing Tang, Shameng Wen
المصدر: PLoS ONE, Vol 12, Iss 11, p e0188229 (2017)
PLoS ONEمصطلحات موضوعية: Computer and Information Sciences, Computer science, Distributed computing, lcsh:Medicine, 02 engineering and technology, Research and Analysis Methods, Symbolic execution, Security policy, Tunneling protocol, Machine Learning, Computer Software, Machine Learning Algorithms, Fuzzy Logic, Stateful firewall, Artificial Intelligence, Universal composability, 0202 electrical engineering, electronic engineering, information engineering, Prototypes, Engines, lcsh:Science, Protocol (object-oriented programming), 020203 distributed computing, Multidisciplinary, Finite-state machine, Applied Mathematics, Simulation and Modeling, Mechanical Engineering, lcsh:R, Teachers, 020207 software engineering, Fuzz testing, Models, Theoretical, Professions, Technology Development, Physical Sciences, People and Places, Engineering and Technology, Population Groupings, lcsh:Q, Communications protocol, Mathematics, Algorithms, Network Analysis, Research Article
-
8
المؤلفون: Bin Zhang, Shameng Wen, Chao Feng, Qingkun Meng, Ligeng Wu, Chaojing Tang
المصدر: 2016 5th International Conference on Computer Science and Network Technology (ICCSNT).
مصطلحات موضوعية: business.industry, Computer science, Software development, 020207 software engineering, 02 engineering and technology, computer.software_genre, Symbolic execution, Software, 020204 information systems, Embedded system, Software construction, 0202 electrical engineering, electronic engineering, information engineering, Operating system, Concolic testing, Backporting, Software verification and validation, Software reliability testing, business, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8cb322839bb118cd2648544123c89058
https://doi.org/10.1109/iccsnt.2016.8070233 -
9
المؤلفون: Bin Zhang, Chao Feng, Ligeng Wu, Qingkun Meng, Chaojing Tang, Shameng Wen
المصدر: CIS
مصطلحات موضوعية: 021103 operations research, Computer science, business.industry, Distributed computing, 0211 other engineering and technologies, Binary number, 020207 software engineering, 02 engineering and technology, Symbolic execution, Software, 0202 electrical engineering, electronic engineering, information engineering, Concolic testing, State space, Communications protocol, business, Protocol (object-oriented programming), Implementation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8f08ff45a4fe8d8a50e81969c0df0fc6
https://doi.org/10.1109/cis.2016.0078 -
10
المؤلفون: Chao Feng, Bin Zhang, Chaojing Tang, Ligeng Wu, Shameng Wen, Qingkun Meng
المصدر: 2016 International Conference on Progress in Informatics and Computing (PIC).
مصطلحات موضوعية: Otway–Rees protocol, Computer science, computer.internet_protocol, Distributed computing, General Inter-ORB Protocol, 020207 software engineering, 02 engineering and technology, Symbolic execution, Tunneling protocol, Internet protocol suite, NAT Port Mapping Protocol, 0202 electrical engineering, electronic engineering, information engineering, Concolic testing, 020201 artificial intelligence & image processing, Wide Mouth Frog protocol, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::59195b891f229bf7058651b620dd3457
https://doi.org/10.1109/pic.2016.7949563