-
1
-
2Conference
Συγγραφείς: Li, Hao, Li, Tao, Zhong, Sheng, Kang, Yan, Chen, Tie
Πηγή: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C) QRS-C Software Quality, Reliability and Security Companion (QRS-C), 2020 IEEE 20th International Conference on. :398-405 Dec, 2020
Relation: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)
-
3Academic Journal
Enhancing Java API Security with AI and Machine Learning: Smarter Defenses for a Safer Digital World
Συγγραφείς: Srinivas Adilapuram
Πηγή: International Journal of Science and Research (IJSR). 14:341-345
-
4Conference
Συγγραφείς: Nair, Lekshmi S
Πηγή: 2021 6th International Conference on Communication and Electronics Systems (ICCES) Communication and Electronics Systems (ICCES), 2021 6th International Conference on. :1255-1259 Jul, 2021
Relation: 2021 6th International Conference on Communication and Electronics Systems (ICCES)
-
5Conference
Συγγραφείς: Liu, Shuang, Bai, Guangdong, Sun, Jun, Dong, Jin Song
Πηγή: 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on. :219-222 Nov, 2016
Relation: 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS)
-
6Academic Journal
Πηγή: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 46(9):1004-1023 Sep, 2020
-
7Conference
Συγγραφείς: Ancona, Davide, Dagnino, Francesco, Franceschini, Luca
Πηγή: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops. :24-26
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3236454.3236476
-
8Conference
Συγγραφείς: Bogle, Andrea, Tran, Tan, Ceja, Rafael, Sasaki, Joshua, Mahmood, Riyadh
Πηγή: 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ICSTW Software Testing, Verification and Validation Workshops (ICSTW), 2024 IEEE International Conference on. :283-292 May, 2024
Relation: 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
-
9Academic Journal
Συγγραφείς: Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Πηγή: Formal Methods in System Design. 58:160-187
Θεματικοί όροι: embedding, Specification and verification (program logics, model checking, etc.), formal methods, Java API, 9. Industry and infrastructure, Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), run-time execution, ProB, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
Περιγραφή αρχείου: application/xml
Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007/s10703-020-00351-3.pdf
-
10Conference
Συγγραφείς: Djukic, Ilija, Lukic, Nemanja, Dzakula, Radomir, Srdjan, Drca
Πηγή: 2013 21st Telecommunications Forum Telfor (TELFOR) Telecommunications Forum (TELFOR), 2013 21st. :713-716 Nov, 2013
Relation: 2013 21st Telecommunications Forum Telfor (TELFOR)
-
11Conference
Συγγραφείς: Parri, Jonathan, Desmarais, John-Marc, Shapiro, Daniel, Bolic, Miodrag, Groza, Voicu
Πηγή: CCECE 2010 Electrical and Computer Engineering (CCECE), 2010 23rd Canadian Conference on. :1-4 May, 2010
Relation: 2010 IEEE 23rd Canadian Conference on Electrical and Computer Engineering - CCECE
-
12Conference
Συγγραφείς: Lijie Wang, Lu Fang, Leye Wang, Ge Li, Bing Xie, Fuqing Yang
Πηγή: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on. :592-595 Nov, 2011
Relation: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE)
-
13Academic Journal
Συγγραφείς: Jingbo Yang, Wenjun Wu 0001, Jian Ren 0004
Πηγή: Software Testing, Verification and Reliability. 35
Συνδεδεμένο Πλήρες Κείμενο -
14Conference
How good are the specs? A study of the bug-finding effectiveness of existing Java API specifications
Συγγραφείς: Legunsen, Owolabi, Hassan, Wajih Ul, Xu, Xinyue, Rosu, Grigore, Marinov, Darko
Πηγή: 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2016 31st IEEE/ACM International Conference on. :602-613 Sep, 2016
Relation: 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE)
-
15Conference
Συγγραφείς: Gyori, Alex, Lambeth, Ben, Shi, August, Legunsen, Owolabi, Marinov, Darko
Πηγή: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. :993-997
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/2950290.2983932
-
16Conference
Συγγραφείς: Ye, Yunwen, Yamamoto, Yasuhiro, Nakakoji, Kumiyo, Nishinaka, Yoshiyuki, Asada, Mitsuhiro
Πηγή: Proceedings of the 5th international symposium on Principles and practice of programming in Java. :41-50
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1294325.1294332
-
17Conference
Συγγραφείς: Kurilin, I., Safonov, V., Buford, J., Kaplan, A.
Πηγή: 2006 IEEE International Symposium on Consumer Electronics Consumer Electronics, 2006. ISCE '06. 2006 IEEE Tenth International Symposium on. :1-5 2006
Relation: 2006 IEEE International Symposium on Consumer Electronics
-
18Academic Journal
Συγγραφείς: Shene Jalil Jamal, Chnoor M. Rahman, Mzhda S. Abdulkarim
Πηγή: UKH Journal of Science and Engineering, Vol 6, Iss 1, Pp 33-41 (2022)
Θεματικοί όροι: xml schema, Technology, xsd, Science, java, jaxp, dtd
Σύνδεσμος πρόσβασης: https://doaj.org/article/5d7042ba8f214a82b8aa3d139db490ef
-
19
Συγγραφείς: Oliveira, Bruno, Santos, Vasco, Belo, O.
Συνεισφορές: Universidade do Minho
Θεματικοί όροι: XML, XML Markup languages, XML documents, Java API, Performance analysis
Περιγραφή αρχείου: application/pdf
Relation: 978-0-9853483-3-5
Διαθεσιμότητα: https://hdl.handle.net/1822/37417
-
20Conference
Συγγραφείς: Zhai, Juan, Huang, Jianjun, Ma, Shiqing, Zhang, Xiangyu, Tan, Lin, Zhao, Jianhua, Qin, Feng
Πηγή: 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2016 IEEE/ACM 38th International Conference on. :380-391 May, 2016
Relation: 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE)