Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Hung-En Wang"'
Autor:
Hung-En Wang, 王宏恩
104
Many severe security vulnerabilities in web applications can be attributed to string manipulation mistakes, which can often be avoided through formal string analysis. String analysis tools are indispensable and under active development. Prio
Many severe security vulnerabilities in web applications can be attributed to string manipulation mistakes, which can often be avoided through formal string analysis. String analysis tools are indispensable and under active development. Prio
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/03084893418333955322
Autor:
Hung-En Wang, 王鴻恩
102
Waltz was a popular dance in 19th century European Society. Because of the open dance form, the waltz was againest by some coservative people, yet favored by most of the others. Of course, it caught a lot of attention of composers at the tim
Waltz was a popular dance in 19th century European Society. Because of the open dance form, the waltz was againest by some coservative people, yet favored by most of the others. Of course, it caught a lot of attention of composers at the tim
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/s2eq48
Autor:
Hung-En Wang, 王宏恩
87
On the yearly average of PSI value over 100, the Kaohsiung and Pintung demonstrates the highest area where heavy, productive and proficient industries are situated. The air pollution eposides usually occur during the winter. PM10 and O3 accou
On the yearly average of PSI value over 100, the Kaohsiung and Pintung demonstrates the highest area where heavy, productive and proficient industries are situated. The air pollution eposides usually occur during the winter. PM10 and O3 accou
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/68048566369825701558
Publikováno v:
Science China Materials. 66:964-973
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::474685aaccee22673a9b7ce7f86d47de
https://doi.org/10.1007/s40843-022-2225-x
https://doi.org/10.1007/s40843-022-2225-x
Publikováno v:
Journal of Power Sources. 548:232071
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f57fc98cd3d7501bd0549c128246bc08
https://doi.org/10.1016/j.jpowsour.2022.232071
https://doi.org/10.1016/j.jpowsour.2022.232071
Publikováno v:
ASE
Strings with length constraints are prominent in software security analysis. Recent endeavors have made significant progress in developing constraint solvers for strings and integers. Most prior methods are based on deduction with inference rules or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::63963a2fabb9bb754c2908857dcdf83e
https://doi.org/10.1145/3238147.3238189
https://doi.org/10.1145/3238147.3238189
Publikováno v:
Lecture Notes in Computer Science
29th IFIP International Conference on Testing Software and Systems (ICTSS)
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.230-242, ⟨10.1007/978-3-319-67549-7_14⟩
Testing Software and Systems ISBN: 9783319675480
ICTSS
29th IFIP International Conference on Testing Software and Systems (ICTSS)
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.230-242, ⟨10.1007/978-3-319-67549-7_14⟩
Testing Software and Systems ISBN: 9783319675480
ICTSS
Part 4: Test Selection and Quality Estimation; International audience; Homing sequence derivation for nondeterministic finite state machines (NFSMs) has important applications in system testing and verification. Unlike prior methods based on explicit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6b72064020cd547349f6ea09be2fbc0
https://hal.inria.fr/hal-01678974/file/449632_1_En_14_Chapter.pdf
https://hal.inria.fr/hal-01678974/file/449632_1_En_14_Chapter.pdf
Publikováno v:
Computer Aided Verification ISBN: 9783319415277
CAV (1)
CAV (1)
Many severe security vulnerabilities in web applications can be attributed to string manipulation mistakes, which can often be avoided through formal string analysis. String analysis tools are indispensable and under active development. Prior string
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c60115ae16537dca94108d8701f0b4e
https://doi.org/10.1007/978-3-319-41528-4_13
https://doi.org/10.1007/978-3-319-41528-4_13