-
1دورية أكاديمية
المؤلفون: Dimitra Giannakopoulou, Corina S. Păsăreanu
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 211-228 (2013)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Hadar Frenkel, Orna Grumberg, Corina S. Păsăreanu, Sarai Sheinvald
المصدر: International Journal on Software Tools for Technology Transfer. 24:667-689
مصطلحات موضوعية: Software, Information Systems
-
3
المؤلفون: Corina S. Păsăreanu, Muhammad Usman, Divya Gopinath
المصدر: Electronic Proceedings in Theoretical Computer Science. 348:92-100
مصطلحات موضوعية: FOS: Computer and information sciences, Model checking, Computer Science - Machine Learning, Ground truth, Artificial neural network, Computer Science - Artificial Intelligence, Learnability, Computer science, business.industry, Machine learning, computer.software_genre, Machine Learning (cs.LG), Software Engineering (cs.SE), Computer Science - Software Engineering, Artificial Intelligence (cs.AI), Robustness (computer science), Artificial intelligence, Conjunctive normal form, business, computer, Test data
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::319d37b6a574a8ab43282d18ba2a316a
https://doi.org/10.4204/eptcs.348.6 -
4
المؤلفون: Hong Jin Kang, Truong Giang Nguyen, Bach Le, Corina S. Păsăreanu, David Lo
المصدر: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::76fa46a54947bf10cfaf48bb7207007a
https://doi.org/10.1145/3533767.3534398 -
5
المؤلفون: Ismet Burak Kadron, Divya Gopinath, Corina S. Păsăreanu, Huafeng Yu
المصدر: Lecture Notes in Computer Science ISBN: 9783030955601
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3c15c207261c661eef545bca6e42b644
https://doi.org/10.1007/978-3-030-95561-8_7 -
6
المؤلفون: Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Păsăreanu
المصدر: Runtime Verification ISBN: 9783031171956
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::de1a01ab4b7ba1c94b012f9ce6c369bd
https://doi.org/10.1007/978-3-031-17196-3_23 -
7
المؤلفون: Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Păsăreanu
المصدر: Lecture Notes in Computer Science ISBN: 9783031212215
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::67c7408ec45e9a91277ac6526601cf6a
https://doi.org/10.1007/978-3-031-21222-2_1 -
8
المؤلفون: Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Păsăreanu
المصدر: Runtime Verification ISBN: 9783031171956
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6b8bd405946463c729c5e957d565fb58
https://doi.org/10.1007/978-3-031-17196-3_4 -
9
المؤلفون: Yoshiki Takashima, Limin Jia, Ruben Martins, Corina S. Păsăreanu
المصدر: PLDI
مصطلحات موضوعية: business.industry, Computer science, Process (engineering), 020207 software engineering, 02 engineering and technology, Construct (python library), Test case, API testing, Chaining, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Software engineering, business, Automatic testing, computer, Program synthesis, Rust (programming language), computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::71743ece43879fcd38f24510e17648be
https://doi.org/10.1145/3453483.3454084 -
10
المؤلفون: Corina S. Păsăreanu
المصدر: Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems.
مصطلحات موضوعية: Artificial neural network, Computer science, business.industry, media_common.quotation_subject, Control (management), Driving simulator, Machine learning, computer.software_genre, Robustness (computer science), Quality (business), Sensitivity (control systems), Artificial intelligence, business, Autonomous system (mathematics), Formal verification, computer, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d5e1b760c104839c0288c6ed17e9b69e
https://doi.org/10.1145/3459086.3459630