-
1دورية أكاديمية
المؤلفون: Ben Rubinger, Tevfik Bultan
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 35, Iss Proc. TAV-WEB 2010, Pp 63-74 (2010)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, Koushik Sen
المصدر: IEEE Software. :1-7
مصطلحات موضوعية: Software
-
3
المؤلفون: İsmet Burak Kadron, Tevfik Bultan
المصدر: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e1d98f1ffa93e17cb50f4a096f911c28
https://doi.org/10.1145/3540250.3558938 -
4
المؤلفون: Ismet Burak Kadron, Chaofan Shou, Emily O'Mahony, Yilmaz Vural, Tevfik Bultan
المصدر: Proceedings of the 12th International Conference on the Internet of Things.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1ea49f9215773fa97c258fc795280afb
https://doi.org/10.1145/3567445.3567447 -
5
المؤلفون: William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan
المصدر: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2c59c9ba54ee6bbe0a980de91c55cec4
https://doi.org/10.1145/3551349.3559530 -
6
المؤلفون: Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan
المصدر: Proceedings of the 44th International Conference on Software Engineering.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6914da8c534d6157763186dbf69f0f8e
https://doi.org/10.1145/3510003.3510227 -
7
المؤلفون: William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan
المصدر: Proceedings of the 44th International Conference on Software Engineering.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5675ca661afcf20b5e7a849e705eee54
https://doi.org/10.1145/3510003.3510233 -
8
المؤلفون: 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
-
9
المؤلفون: Tevfik Bultan, Nicolás Rosner, Ivan Bocić
المصدر: Automated Software Engineering. 26:379-416
مصطلحات موضوعية: Correctness, Computer science, business.industry, computer.software_genre, Data modeling, First-order logic, Automated theorem proving, Software, Data model, Scalability, Web application, Object-relational mapping, Software engineering, business, computer
-
10
المؤلفون: Tevfik Bultan, Nicolás Rosner, Ismet Burak Kadron
المصدر: ISSTA
مصطلحات موضوعية: Profiling (computer programming), 021110 strategic, defence & security studies, Computer science, business.industry, Network packet, Real-time computing, 0211 other engineering and technologies, 020207 software engineering, 02 engineering and technology, Encryption, Information sensitivity, Information leakage, 0202 electrical engineering, electronic engineering, information engineering, Dynamic program analysis, Side channel attack, Software system, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ea7eb6394ee52a4ae6cb891fa376adf7
https://doi.org/10.1145/3395363.3397365