المؤلفون: KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan

المصدر: Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::100e717a1b688420f1fee5d0db781dfa
https://doi.org/10.1145/3510457.3513064

المؤلفون: Timo Kehrer, Ji Wang, Minxing Tang, Pavel Parizek, Elena Sherman, Eric Mercer, Peter Aldous, Zhenbang Chen, Ismet Burak Kadron, Koushik Sen, Tevfik Bultan, Yannic Noller, Hoang Lam Nguyen, Cyrille Artho, Benjamin M. Ogles, Kyle Storey, Joshua Hooker, Lucas Bang, Egor Namakonov, Alyas Almaawi, Hengbiao Yu, Lars Grunske, Corina S. Păsăreanu, Seemanta Saha, S. Jacob Powell, Willem Visser, William Eiers, Sarfraz Khurshid, David Lo, Quoc-Sang Phan, Xuan-Bach D. Le, Wei Dong, Rohan Padhye, Simon Goldsmith, Hayes Converse, Lasse Berglund, Sasa Misailovic, Milos Gligoric

المصدر: ACM SIGSOFT Software Engineering Notes. 45:20-22

مصطلحات موضوعية: Software model checker, Java, Computer science, business.industry, 020207 software engineering, Java bytecode, 02 engineering and technology, General Medicine, Program analysis, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Java pathfinder, State (computer science), Android (operating system), Software engineering, business, computer, PATH (variable), computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cb6f34a542708d7be6ee77ad40a548a1
https://doi.org/10.1145/3385678.3385685

المؤلفون: Quoc-Sang Phan, Didier Ishimwe, Alexey Malyshev, Timos Antonopoulos, ThanhVu Nguyen

المصدر: Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment.

مصطلحات موضوعية: Nonlinear system, Recurrence relation, Theoretical computer science, Simple (abstract algebra), Computer science, Information leakage, Denial-of-service attack, Invariant (mathematics), Time complexity

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b55fc8259d81199b3ac6f274005c7b98
https://doi.org/10.1145/3416507.3423189

المؤلفون: Quoc-Sang Phan, Quang Loc Le, Long H. Pham, Jun Sun

المصدر: Lecture Notes in Computer Science ISBN: 9783030309411
FM

مصطلحات موضوعية: Computer science, Programming language, Random testing, Inference, 020207 software engineering, 02 engineering and technology, Separation logic, computer.software_genre, Symbolic execution, 0202 electrical engineering, electronic engineering, information engineering, Concolic testing, 020201 artificial intelligence & image processing, computer, Heap (data structure)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::31e85cd14a72980a25ab8fe21ef27193
https://doi.org/10.1007/978-3-030-30942-8_27

المؤلفون: Shengchao Qin, Jun Sun, Long H. Pham, Quoc-Sang Phan, Quang Loc Le

المصدر: Automated Technology for Verification and Analysis ISBN: 9783030317836
ATVA

مصطلحات موضوعية: 050101 languages & linguistics, Lazy initialization, Java, Computer science, Programming language, 05 social sciences, Code coverage, 02 engineering and technology, Separation logic, Symbolic execution, computer.software_genre, Test input, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, computer, computer.programming_language, Heap (data structure)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b58df24a763f2ca1e7f27be6705033f8
https://doi.org/10.1007/978-3-030-31784-3_12

المؤلفون: Rody Kersten, Corina S. Păsăreanu, Quoc-Sang Phan, Kasper Søe Luckow

مصطلحات موضوعية: Security analysis, Load testing, Program analysis, Programming language, Computer science, Path (graph theory), The Symbolic, Fuzz testing, Error detection and correction, Symbolic execution, computer.software_genre, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d956d135928a55451be01e9e14cca065
https://doi.org/10.1016/bs.adcom.2018.10.004

المؤلفون: Corina S. Păsăreanu, Pasquale Malacaria, Mhr. Khouzani, Quoc-Sang Phan, Kasper Søe Luckow

المصدر: CSF

مصطلحات موضوعية: Noise measurement, Computer science, Probabilistic logic, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Symbolic execution, 01 natural sciences, 010201 computation theory & mathematics, Information leakage, Scalability, 0202 electrical engineering, electronic engineering, information engineering, Entropy (information theory), Side channel attack, Algorithm, Randomness

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bd066e61eb8d8536aa8a79afd8cc1459
https://doi.org/10.1109/csf.2018.00030

المؤلفون: Quang Loc Le, Shengchao Qin, Long H. Pham, Quoc-Sang Phan, Jun Sun

المصدر: ICSE (Companion Volume)

مصطلحات موضوعية: AVL tree, Java, Programming language, Computer science, Code coverage, 020207 software engineering, 02 engineering and technology, Separation logic, Linked list, Solver, Symbolic execution, Data structure, computer.software_genre, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, computer, Heap (data structure), computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e86f34b92b433859cc7232010276e346
https://doi.org/10.1145/3183440.3194964

المؤلفون: Corina S. Păsăreanu, Pasquale Malacaria, Lucas Bang, Quoc-Sang Phan, Tevfik Bultan

المصدر: CSF

مصطلحات موضوعية: Theoretical computer science, Exploit, Computer science, business.industry, 020207 software engineering, Cryptography, 02 engineering and technology, Symbolic execution, Symbolic data analysis, Attack model, Satisfiability modulo theories, Computer Science::Multimedia, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Side channel attack, Chosen-ciphertext attack, business, Algorithm, Computer Science::Cryptography and Security

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7c4c738eb6b9c7ff1680f1eaa13450ad
https://doi.org/10.1109/csf.2017.8

المؤلفون: Corina S. Pǎsǎreanu, Pasquale Malacaria, Quoc-Sang Phan

المصدر: ACM SIGSOFT Software Engineering Notes. 40:1-5

مصطلحات موضوعية: Model checking, Theoretical computer science, Java, Programming language, Computer science, Concurrency, General Medicine, Solver, Symbolic execution, computer.software_genre, Bounded function, Symbolic trajectory evaluation, Concolic testing, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3e820c830f4f8f050748e4268627777c
https://doi.org/10.1145/2693208.2693240