المؤلفون: Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, Koushik Sen

المصدر: IEEE Software. :1-7

مصطلحات موضوعية: Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::45df124aa7bdbce9d90986c53cefa99b
https://doi.org/10.1109/ms.2023.3237981

المؤلفون: Elena Sherman, Yannic Noller, Cyrille Artho, Franck van Breugel, Anto Nanah Ji, John Kellerman, Parssa Khazra, Filip Kliber, Gaurang Kudale, Pavel Parízek, Corina S. Pasareanu, Ron Pressler, Matt Walker, Hongru Wang, Qiuchen Yan

المصدر: ACM SIGSOFT Software Engineering Notes. 48:19-21

مصطلحات موضوعية: General Medicine

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

المؤلفون: Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury

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

مصطلحات موضوعية: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering

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

المؤلفون: Yannic Noller

المصدر: Ernst Denert Award for Software Engineering 2020 ISBN: 9783030831271

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::428e4d479d15bd6a81e8131520381b35
https://doi.org/10.1007/978-3-030-83128-8_9

المؤلفون: Saeid Tizpaz-Niari, Yannic Noller

المصدر: ISSTA

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Cryptography and Security, Java, Computer science, business.industry, Distributed computing, Min entropy, Fuzz testing, Static analysis, Symbolic execution, Software Engineering (cs.SE), Computer Science - Software Engineering, Software, Scalability, Software system, business, Cryptography and Security (cs.CR), computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf87ec8020790a5964e060410efe9fd8
http://arxiv.org/abs/2106.03346

المؤلفون: Corina S. Păsăreanu, Muhammad Usman, Divya Gopinath, Yannic Noller, Youcheng Sun

المصدر: Usman, M, Noller, Y, Pasareanu, C S, Sun, Y & Gopinath, D 2021, NeuroSPF: a tool for the symbolic analysis of neural networks . in 43rd International Conference on Software Engineering (ICSE) 25/05/2021 → 28/05/2021 . ACM, pp. 25-28, 43rd International Conference on Software Engineering (ICSE), 25/05/2021 . https://doi.org/10.1109/ICSE-Companion52605.2021.00027
ICSE (Companion Volume)

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Parsing, Artificial neural network, business.industry, Computer science, Computer Science - Artificial Intelligence, Symbolic execution, computer.software_genre, Symbolic data analysis, Maintenance engineering, Field (computer science), Machine Learning (cs.LG), Software Engineering (cs.SE), Computer Science - Software Engineering, Program analysis, Artificial Intelligence (cs.AI), Formal specification, Artificial intelligence, business, computer

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d718d60b7ad63b6f95261e6f3e12914
http://arxiv.org/abs/2103.00124

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

المؤلفون: Sinem Getir, André van Hoorn, Yannic Noller, Lars Grunske, Timo Kehrer, Matthias Tichy

المصدر: Journal of Systems and Software. 142:115-135

مصطلحات موضوعية: Fault tree analysis, Computer science, Process (engineering), business.industry, 020207 software engineering, 02 engineering and technology, computer.software_genre, Automation, Task (project management), Set (abstract data type), Reduction (complexity), Transformation (function), Hardware and Architecture, Completeness (order theory), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Data mining, business, computer, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::08b5865a50faafaacd7bebf05ea78ac2
https://doi.org/10.1016/j.jss.2018.04.001

المؤلفون: Corina S. Păsăreanu, Youcheng Sun, Divya Gopinath, Yannic Noller, Muhammad Usman

المصدر: Computer Aided Verification ISBN: 9783030816841
CAV (1)

مصطلحات موضوعية: Correctness, Artificial neural network, Computer science, business.industry, 020207 software engineering, Context (language use), 02 engineering and technology, Fault (power engineering), Machine learning, computer.software_genre, Constraint (information theory), Robustness (computer science), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Artificial intelligence, Layer (object-oriented design), business, computer, MNIST database

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::42c2091508280da3490bcf482da97aca
https://doi.org/10.1007/978-3-030-81685-8_1

المؤلفون: Yannic Noller, Marcel Böhme, Corina S. Păsăreanu, Lars Grunske, Youcheng Sun, Hoang Lam Nguyen

المصدر: ICSE
Noller, Y, Păsăreanu, C S, Böhme, M, Sun, Y, Nguyen, H L & Grunske, L 2020, HyDiff: hybrid differential software analysis . in 42nd International Conference on Software Engineering (ICSE 20): Proceedings . ACM, pp. 1273-1285, International Conference on Software Engineering, Seoul, Korea, Republic of, 23/05/2020 . https://doi.org/10.1145/3377811.3380363

مصطلحات موضوعية: Theoretical computer science, Computer science, 020207 software engineering, Java bytecode, 02 engineering and technology, Fuzz testing, Symbolic execution, Execution time, Robustness (computer science), 020204 information systems, Regression testing, 0202 electrical engineering, electronic engineering, information engineering, Control flow graph, Software analysis pattern, computer, Software evolution, computer.programming_language

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f7eabbc1a62697db93482a1fb2c2c98
https://doi.org/10.1145/3377811.3380363