• Suche: Trace based debugging and visualisation of concurrent Java programs with UML

Treffer 1 - 20 von 170

2

JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs
Katharina Mehner ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/JaVis_A_UML-Based_Visualization_and_Debugging_Environment_for_Concurrent_Java_Programs.pdf.

object-oriented concurre... tracing dynamic program vi- sual... deadlock detection Java UML
Fachzeitschrift
Merkliste
4

The ThreadRadar visualization for debugging concurrent Java programs.
Moseler, Oliver ; Kreber, Lucas ; Diehl, Stephan
Journal of Visualization; Dec2022, Vol. 25 Issue 6, p1267-1289, 23p

Fachzeitschrift
Merkliste
5

Compact visualization of Java program execution.
Jayaraman, S. ; Jayaraman, B. ; Lessa, D.
Software: Practice & Experience; Feb2017, Vol. 47 Issue 2, p163-191, 29p

COMPUTER software OPEN source software JAVA programming languag... COMPUTER programming VISUALIZATION
Fachzeitschrift
Merkliste
6

Inferring visual contracts from Java programs.
Alshanqiti, Abdullah ; Heckel, Reiko ; Kehrer, Timo
Automated Software Engineering; Dec2018, Vol. 25 Issue 4, p745-784, 40p

Fachzeitschrift
Merkliste
7

Interactive visualization of Java programs.
Gestwicki, P. ; Jayaraman, B.
Proceedings IEEE 2002 Symposia on Human Centric Computing Languages & Environments; 2002, p226-235, 10p

Konferenz
Merkliste
8

Extracting Visual Contracts from Java Programs (T).
Alshanqiti, Abdullah ; Heckel, Reiko
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE); 2015, p104-114, 11p

Konferenz
Merkliste
9

Finite‐state model extraction and visualization from Java program execution.
K. P., Jevitha ; Jayaraman, Swaminathan ; Jayaraman, Bharat ; et al.
Software: Practice & Experience; Feb2021, Vol. 51 Issue 2, p409-437, 29p

VISUALIZATION EXECUTIONS & executioner... DISCRETE systems DEBUGGING WEB-based user interface...
Fachzeitschrift
Merkliste
10

Debug Concurrent Programs with Visualization and Inference of Event Structure.
Wu, Xiaoquan ; Wei, Jun ; Wang, Xu
2012 19th Asia-Pacific Software Engineering Conference; 1/ 1/2012, p683-692, 10p

Konferenz
Merkliste
11

Continuous software monitoring backed by process mining: a systematic literature review.
Stepanov, Evgenii ; Mitsyuk, Alexey
International Journal of Data Science & Analytics; 1/6/2026, Vol. 22 Issue 1, p1-29, 29p

Fachzeitschrift
Merkliste
12

Debugging and visualization techniques for multithreaded programs: A survey.
Jyoti, Aman ; Arora, Vinay
International Conference on Recent Advances & Innovations in Engineering (ICRAIE-2014); 2014, p1-6, 6p

Konferenz
Merkliste
13

Deep learning-based software engineering: progress, challenges, and opportunities.
Chen, Xiangping ; Hu, Xing ; Huang, Yuan ; et al.
SCIENCE CHINA Information Sciences; Jan2025, Vol. 68 Issue 1, p1-88, 88p

Fachzeitschrift
Merkliste
14

VeriFlow: A Framework for the Static Verification of Web Application Access Control via Policy-Graph Consistency.
Zhang, Tao ; Hao, Fuzhong ; Wang, Yunfan ; et al.
Electronics (2079-9292); Sep2025, Vol. 14 Issue 18, p3742, 25p

ACCESS control WEB-based user interface... COMPUTER access control... RISK assessment
Fachzeitschrift
Merkliste
15

Synchrovis: 3D visualization of monitoring traces in the city metaphor for analyzing concurrency.
Waller, Jan ; Wulf, Christian ; Fittkau, Florian ; et al.
2013 First IEEE Working Conference on Software Visualization (VISSOFT); 2013, p1-4, 4p

Konferenz
Merkliste
16

Visualizing the synchronization of Java-threads with UML.
Mehner, K. ; Wagner, A.
Proceeding 2000 IEEE International Symposium on Visual Languages; 2000, p199-206, 8p

Konferenz
Merkliste
17

Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges.
Kezadri Hamiaz, Mounira ; Driss, Maha
Computers (2073-431X); Jun2025, Vol. 14 Issue 6, p226, 49p

MACHINE learning RESEARCH personnel AUDITORS CONTRACTS VOTING BLOCKCHAINS
Fachzeitschrift
Merkliste
18

Formal Verification of Code Conversion: A Comprehensive Survey.
Mahmoud, Amira T. ; Mohammed, Ahmad A. ; Ayman, Mahitap ; et al.
Technologies (2227-7080); Dec2024, Vol. 12 Issue 12, p244, 28p

COMPUTER software indust... EVIDENCE gaps SYSTEMS software RESEARCH personnel INFORMATION storage & re...
Fachzeitschrift
Merkliste
19

Back to the Future: Omniscient Debugging.
Pothier, Guillaume ; Tanter, Éric
IEEE Software; Nov/Dec2009, Vol. 26 Issue 6, p78-85, 8p, 2 Color Photographs, 2 Diagrams, 2 Charts

PROTOTYPES JAVA programming languag... PROGRAMMING languages DEBUGGING SOFTWARE engineering
Fachzeitschrift
Merkliste
20

JI.FI: Visual test and debug queries for hard real-time.
Blanton, Ethan ; Lessa, Demian ; Arora, Puneet ; et al.
Concurrency & Computation: Practice & Experience; Sep2014, Vol. 26 Issue 14, p2456-2487, 32p

DEBUGGING COMPUTER input-output eq... JAVA programming languag... VIRTUAL machine systems COMPUTER software execut... APPLICATION software
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter