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

Relation: http://arxiv.org/pdf/1009.3715v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/d0b797ec6957407ca7b17a0d481b16d1

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

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

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

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

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

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

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

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c21d1a952a48cd187ca5d7d5ba8913a4
https://doi.org/10.1007/s10515-018-0249-2

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