Detection of Java Basic Thread Misuses Based on Static Event Analysis

Authors: Cui, Baoquan, Wang, Miaomiao, Zhang, Chi, Yan, Jiwei, Yan, Jun, Zhang, Jian

Source: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :1049-1060 Sep, 2023

Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Proposed Structural Validation-based Testing for Object-Oriented Programming

Authors: Lumyong, Chayanin, Tachasriburapha, Natthawut, Titijaroonroj, Taravichet

Source: 2021 13th International Conference on Knowledge and Smart Technology (KST) Knowledge and Smart Technology (KST), 2021 13th International Conference on. :96-101 Jan, 2021

Relation: 2021 13th International Conference on Knowledge and Smart Technology (KST)

A Visualization Tool for Relationship between Source Code and Parse Tree Using VR

Authors: Kishikawa, Masateru, Kakeshita, Tetsuro

Source: 2020 9th International Congress on Advanced Applied Informatics (IIAI-AAI) IIAI-AAI Advanced Applied Informatics (IIAI-AAI), 2020 9th International Congress on. :203-208 Sep, 2020

Relation: 2020 9th International Congress on Advanced Applied Informatics (IIAI-AAI)

Runtime verification on abstract finite state models

Authors: Jevitha, K.P. ^a, Jayaraman, Bharat ^{a, b}, Sethumadhavan, M. ^{c, ⁎}

Source: In The Journal of Systems & Software October 2024 216

Exploration of Compact Sequence Diagram Using Hyperlink

Authors: Aparna, V K

Source: 2018 Fourth International Conference on Computing Communication Control and Automation (ICCUBEA) Computing Communication Control and Automation (ICCUBEA), 2018 Fourth International Conference on. :1-4 Aug, 2018

Relation: 2018 Fourth International Conference on Computing Communication Control and Automation (ICCUBEA)

Facilitating Scenario-Based Program Comprehension with Topic Models

Authors: Wang, Tianxia, Liu, Yan

Source: 2017 24th Asia-Pacific Software Engineering Conference (APSEC) APSEC Asia-Pacific Software Engineering Conference (APSEC), 2017 24th. :642-647 Dec, 2017

Relation: 2017 24th Asia-Pacific Software Engineering Conference (APSEC)

A new approach of authentication in graphical systems using ASCII submission of values

Authors: Gupta, Devansh

Source: 2017 13th International Wireless Communications and Mobile Computing Conference (IWCMC) Wireless Communications and Mobile Computing Conference (IWCMC), 2017 13th International. :1362-1369 Jun, 2017

Relation: 2017 13th International Wireless Communications and Mobile Computing Conference (IWCMC)

Novel Approach to Abstract Object Features from Java Program

Authors: Kulkarni, R. N.^Aff6, Pani Rama Prasad, P.^Aff6

Contributors: Powers, David M. W., Series Editor^Aff1, Leibbrandt, Richard, Series Editor^Aff2, Kumar, Amit, editor^Aff3, Ghinea, Gheorghita, editor^Aff4, Merugu, Suresh, editor^Aff5

Source: Proceedings of the 2nd International Conference on Cognitive and Intelligent Computing : ICCIC 2022, 27–28 December, Hyderabad, India; Volume 2. :205-212

SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM

Authors: Mues, Malte^Aff9, Howar, Falk^{Aff9, Aff10}, Dierl, Simon^Aff9

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Schlingloff, Bernd-Holger, editor^Aff7, Chai, Ming, editor^Aff8

Source: Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings. 13550:91-107

Fault localization based on dynamic slicing via JSlice for Java programs

Authors: Zhang, Peng, Mao, Xiaoguang, Lei, Yan, Zhang, Zhuo

Source: 2014 IEEE 5th International Conference on Software Engineering and Service Science Software Engineering and Service Science (ICSESS), 2014 5th IEEE International Conference on. :565-568 Jun, 2014

Relation: 2014 5th IEEE International Conference on Software Engineering and Service Science (ICSESS)

Visualization of deadlock and wait-notify anomaly in multithreaded programs

Authors: Jyoti, Aman, Arora, Vinay

Source: 2014 IEEE International Conference on Advanced Communications, Control and Computing Technologies Advanced Communication Control and Computing Technologies (ICACCCT), 2014 International Conference on. :1616-1620 May, 2014

Relation: 2014 International Conference on Advanced Communication, Control and Computing Technologies (ICACCCT)

Home automation with smart robot featuring live video feed and remotely controlled switches

Authors: Din, Zaki Ud, David Lim, Wee-Gin

Source: 2013 IEEE Conference on Sustainable Utilization and Development in Engineering and Technology (CSUDET) Sustainable Utilization and Development in Engineering and Technology (CSUDET), 2013 IEEE Conference on. :1-6 May, 2013

Relation: 2013 IEEE Conference on Sustainable Utilization and Development in Engineering and Technology (CSUDET)

Research on Structure Analysis for Java Program

Authors: Li-Yong, Qin, Ying, Jiang, Ying-Na, Li

Source: 2011 4th International Conference on Intelligent Networks and Intelligent Systems Intelligent Networks and Intelligent Systems (ICINIS), 2011 4th International Conference on. :157-160 Nov, 2011

Relation: 2011 4th International Conference on Intelligent Networks and Intelligent Systems (ICINIS)

An approach of coarse-grained dynamic slice for Java program

Authors: Xi, Liu, Li, Miao, Dan, Zhao, Wei, Li

Source: 2011 IEEE 3rd International Conference on Communication Software and Networks Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on. :670-674 May, 2011

Relation: 2011 IEEE 3rd International Conference on Communication Software and Networks (ICCSN)

Novel Approach to Abstract the Data Flow Diagram from Java Application Program

Authors: Kulkarni, R. N., Prasad, P. Pani Rama

Source: International Journal of Intelligent Systems and Applications in Engineering; Vol. 11 No. 3 (2023); 394-404

Subject Terms: Restructuring, data store, data flow, entity, process, java program, DFD

File Description: application/pdf

Access URL: https://www.ijisae.org/index.php/IJISAE/article/view/3180

Java Pathfinder at SV-COMP 2019 (Competition Contribution)

Authors: Artho, Cyrille, Visser, W.

Source: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :224-228

Subject Terms: Java Pathfinder, Java program analysis, Software model checking

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-251826
https://doi.org/10.1007/978-3-030-17502-3_18

Infusing Topic Modeling into Interactive Program Comprehension: An Empirical Study

Authors: Wang, Tianxia, Liu, Yan

Source: 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) COMPSAC Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st Annual. 2:260-261 Jul, 2017

Relation: 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC)

Topology structure and centrality in a java source code

Authors: Ying, Long, Ding, De-wu

Source: 2012 IEEE International Conference on Granular Computing Granular Computing (GrC), 2012 IEEE International Conference on. :787-789 Aug, 2012

Relation: 2012 IEEE International Conference on Granular Computing (GrC-2012)

MuTT: A Multi-Threaded Tracer for Java Programs

Authors: Liu, Dapeng, Xu, Shaochun

Source: 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science Computer and Information Science, 2009. ICIS 2009. Eighth IEEE/ACIS International Conference on. :949-954 Jun, 2009

Relation: 2009 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS)

IGAOD: An online design framework for interactive genetic algorithms

Authors: DongBo Huang, Xing Xu

Source: SoftwareX, Vol 19, Iss , Pp 101205- (2022)

Subject Terms: Interactive genetic algorithm, Java program language, Algorithm framework, Template design pattern, Online design, Computer software, QA76.75-76.765

File Description: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352711022001236; https://doaj.org/toc/2352-7110

Access URL: https://doaj.org/article/259ebac7d5224e4eae96d5c47a721723