المؤلفون: Dong Xu, Hai Duong, Matthew B. Dwyer, ThanhVu Nguyen

مصطلحات موضوعية: Neural networks, Software testing, verification and validation, Benchmark Generation, Performance Evaluation, Neural Network Verification

Relation: https://figshare.com/articles/software/The_b_Ada_b_b_GDVB_b_Framework_Adaptive_Benchmark_Generation_forDNN_Verification/25239367

الاتاحة: https://doi.org/10.6084/m9.figshare.25239367.v2
https://figshare.com/articles/software/The_b_Ada_b_b_GDVB_b_Framework_Adaptive_Benchmark_Generation_forDNN_Verification/25239367

المؤلفون: ThanhVu Nguyen, Matthew B. Dwyer, KimHao Nguyen

المصدر: IEEE Transactions on Software Engineering. 48:3877-3899

مصطلحات موضوعية: Theoretical computer science, Computer science, Encoding (memory), Symbolic execution, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b264af5e9b453e892276f310c425c46b
https://doi.org/10.1109/tse.2021.3106964

المؤلفون: KimHao Nguyen, Didier Ishimwe, ThanhVu Nguyen

المصدر: Proceedings of the ACM on Programming Languages. 5:1-23

مصطلحات موضوعية: Polynomial, Multiplication algorithm, Recurrence relation, Theoretical computer science, Program analysis, Simple (abstract algebra), Computer science, Karatsuba algorithm, Pattern matching, Merge sort, Safety, Risk, Reliability and Quality, Software

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

المؤلفون: Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, Thanhvu Nguyen, Nazareno Aguirre, Marcelo Frias

المصدر: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.

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

المؤلفون: Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri

المصدر: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis.

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

المؤلفون: Timos Antonopoulos, Eric Koskinen, ThanhVu Nguyen, Ton Chanh Le, Parisa Fathololumi

المصدر: Proceedings of the ACM on Programming Languages. 4:1-30

مصطلحات موضوعية: FOS: Computer and information sciences, Transitive relation, Computer Science - Programming Languages, Theoretical computer science, Exploit, Computer science, Property (programming), Mathematical proof, Nonlinear system, Ranking, Benchmark (computing), Safety, Risk, Reliability and Quality, Software, Programming Languages (cs.PL), Counterexample

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d98d24dea2db8fe880ccf3cc8b268b2
https://doi.org/10.1145/3428257

المؤلفون: 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

المؤلفون: ThanhVu Nguyen, KimHao Nguyen, Hai Duong

المصدر: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9409212fa7b1c2166de0d80fcb4a9c53
https://doi.org/10.1145/3510454.3516833

المؤلفون: Didier Ishimwe, ThanhVu Nguyen, KimHao Nguyen

المصدر: 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::edcf5b67276e735576a3dc1c07012c56
https://doi.org/10.1109/icse-companion55297.2022.9793811

المؤلفون: Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo Frias

مصطلحات موضوعية: Formal methods, Alloy, Specification repair, Testing, Test generation

Relation: https://doi.org/10.5281/zenodo.6950332; https://doi.org/10.5281/zenodo.7042100; oai:zenodo.org:7042100

الاتاحة: https://doi.org/10.5281/zenodo.7042100

المؤلفون: Guolong Zheng, ThanhVu Nguyen, Simon Gutierrez Brida, German Regis, Marcelo Frias, Nazareno Aguirre, Hamid Bagheri

المصدر: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::eea54985131ae73de2243b2b643b3344
https://doi.org/10.1109/ase51524.2021.9678740

المؤلفون: Simon Gutierrez Brida, German Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo Frias

المصدر: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::aa10145a078bea3d1490ef3f3ff3b118
https://doi.org/10.1109/ase51524.2021.9678524

المؤلفون: KimHao Nguyen, ThanhVu Nguyen

المصدر: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5103e7847272721f9a61fb13f2e05b3d
https://doi.org/10.1109/ase51524.2021.9678676

المؤلفون: Benjamin Mariano, Armando Solar-Lezama, Siyuan Xu, Xiaokang Qiu, Josh Reese, Jeffrey S. Foster, ThanhVu Nguyen

المصدر: Proceedings of the ACM on Programming Languages. 3:1-25

مصطلحات موضوعية: Computer science, Programming language, business.industry, media_common.quotation_subject, Algebraic specification, 020207 software engineering, 02 engineering and technology, computer.software_genre, Encryption, Data structure, Abstract data type, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), State (computer science), Safety, Risk, Reliability and Quality, Function (engineering), business, computer, Software, Program synthesis, media_common

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

المؤلفون: Guolong Zheng, Simon Gutierrez Brida, Marcelo F. Frias, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Germán Regis

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

مصطلحات موضوعية: Source code, Computer science, Software fault tolerance, media_common.quotation_subject, Artifact (software development), Automatic programming, Fault (power engineering), Algorithm, Replication (computing), Ranking (information retrieval), media_common, Counterexample

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c58ca2b551ab52ce94700a0cb921a41b
https://doi.org/10.1109/icse-companion52605.2021.00077

المؤلفون: Hamid Bagheri, Guolong Zheng, Simon Gutierrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, ThanhVu Nguyen

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

مصطلحات موضوعية: Set (abstract data type), Test case, Computer science, Programming language, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Formal specification, Bounded function, Brute-force search, Pruning (decision trees), Artifact (software development), computer.software_genre, computer, Oracle

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::73cd758277e4682a293e5533b48ce5d6
https://doi.org/10.1109/icse-companion52605.2021.00093

المؤلفون: KimHao Nguyen, ThanhVu Nguyen

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

مصطلحات موضوعية: Source code, business.industry, Programming language, Computer science, media_common.quotation_subject, Decision tree, Artifact (software development), Modular design, Python (programming language), computer.software_genre, Software, Scripting language, Perl, business, computer, computer.programming_language, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::185183ed50a0ab68a68f0402824a7452
https://doi.org/10.1109/icse-companion52605.2021.00076

المؤلفون: Guolong Zheng, Hamid Bagheri, Simon Gutierrez Brida, Marcelo F. Frias, Germán Regis, ThanhVu Nguyen, Nazareno Aguirre

المصدر: ICSE

مصطلحات موضوعية: Unit testing, Computer science, Programming language, media_common.quotation_subject, Brute-force search, computer.software_genre, Imperative programming, Debugging, Bounded function, Scalability, Pruning (decision trees), computer, media_common, Declarative programming

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4ef28032f795b6b4d2109f90468e5d85
https://doi.org/10.1109/icse43902.2021.00105

المؤلفون: KimHao Nguyen, ThanhVu Nguyen

المصدر: ICSE

مصطلحات موضوعية: FOS: Computer and information sciences, Theoretical computer science, business.industry, Computer science, Code coverage, Decision tree, Coverage data, Software Engineering (cs.SE), Set (abstract data type), Computer Science - Software Engineering, Software, Iterative refinement, Software system, Configuration space, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ecc51f7d07fee663278d0b252e837190
https://doi.org/10.1109/icse43902.2021.00142

المؤلفون: Hamid Bagheri, Marcelo F. Frias, Simón Gutiérrez Brida, Nazareno Aguirre, Guolong Zheng, Germán Regis, ThanhVu Nguyen

المصدر: ICSE

مصطلحات موضوعية: Constraint (information theory), Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Theoretical computer science, Source lines of code, Computer science, Rank (computer programming), Code (cryptography), Assertion, Fault (power engineering), Counterexample, Declarative programming

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3998a95f90596b085cae34b242bc802f