Search Results - "Concurrent Java Programs"

Automatic Generation of Contracts for Concurrent Java Programs

Authors: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Contributors: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Subject Terms: paper, national, rank-X, rline-vvcs

File Description: application/pdf

Relation: Pereira, H., Sousa, D. G., Bradbury, J., & Lourenço, J. M. (2022). Automatic Generation of Contracts for Concurrent Java Programs. In INForum 2022 - Atas do 13º Simpósio de Informática (pp. 131-132). (INForum 2022). FEUP Edições. https://inforum.org.pt/2022/sites/default/files/2022-09/Actas_INForum.pdf; 978-972-752-171-5; PURE: 72264597

Availability: http://hdl.handle.net/10362/162732

The ThreadRadar visualization for debugging concurrent Java programs

Authors: Oliver Moseler Lucas Kreber Stephan Diehl

Source: Journal of Visualization. 25:1267-1289

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

ThreadRadar: A Thread-Aware Visualization for Debugging Concurrent Java Programs

Authors: Stephan Diehl Lucas Kreber Oliver Moseler

Source: Proceedings of the 14th International Symposium on Visual Information Communication and Interaction. :1-8

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dl.acm.org/doi/pdf/10.1145/3481549.3481566

Type-based protocol conformance and aliasing control in concurrent java programs

Authors: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo et al.

Contributors: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo et al.

Subject Terms: Java, Verification, Type systems, Concurrency, Spatial-behavioral types

File Description: application/pdf

Availability: http://hdl.handle.net/10362/8476

Design of a toolset for dynamic analysis of concurrent Java programs

Authors: BECHINI, ALESSIO KUO CHUNG TAI

Source: Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242). :190-197

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Program testing, Concurrent Java programs, Dynamic program analysis, 01 natural sciences

Access URL: https://dblp.uni-trier.de/db/conf/iwpc/iwpc1998.html#BechiniT98

Dynamic Frames Based Verification Method for Concurrent Java Programs

Authors: Mostowski, Wojciech, 1976

Source: VerCors AUTO-CAAS Verified Software Lecture Notes in Computer Science. :124-141

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-30171
https://hh.diva-portal.org/smash/get/diva2:894284/FULLTEXT01.pdf

Writing Concurrent Java Programs Based on CafeOBJ Specifications

Authors: Kazuhiro Ogata Xuan-Linh Ha

Source: 2017 24th Asia-Pacific Software Engineering Conference (APSEC). :618-623

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dblp.uni-trier.de/db/conf/apsec/apsec2017.html#HaO17

A Conceptual Model for Visualising Concurrent Java Programs Using UML

Authors: Leroux, H Mingins, C Requile-Romanczuk, A

Subject Terms: Other information and computing sciences not elsewhere classified

A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude

Authors: Canh Minh Do Kazuhiro Ogata

Source: Lecture Notes in Computer Science ISBN: 9783030414177

Access URL: https://dblp.uni-trier.de/db/conf/sofl/sofl2019.html#DoO19
https://link.springer.com/chapter/10.1007%2F978-3-030-41418-4_4
https://rd.springer.com/chapter/10.1007/978-3-030-41418-4_4

Unit Testing Concurrent Java Programs

Authors: Suma Shivaprasad Nanditha Prasad

Source: International Journal of Computer Applications. 67:41-46

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://research.ijcaonline.org/volume67/number10/pxc3886798.pdf
https://www.ijcaonline.org/archives/volume67/number10/11435-6798
https://ui.adsabs.harvard.edu/abs/2013IJCA...67j..41S/abstract

CARE: cache guided deterministic replay for concurrent Java programs

Authors: Chang Xu Xiaoxing Ma Jian Lu et al.

Source: Proceedings of the 36th International Conference on Software Engineering. :457-467

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://cs.nju.edu.cn/changxu/1_publications/ICSE14_01.pdf
https://dl.acm.org/doi/10.1145/2568225.2568236
https://dblp.uni-trier.de/db/conf/icse/icse2014.html#JiangGXML14
https://doi.acm.org/10.1145/2568225.2568236
https://core.ac.uk/display/103891354

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs

Authors: Naumovich, G Avrunin, GS Clarke, LA

Source: Lecture Notes in Computer Science ISBN: 9783540665380

Subject Terms: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 7. Clean energy

Access URL: https://link.springer.com/chapter/10.1007%2F3-540-48166-4_21
https://doi.org/10.1007/3-540-48166-4_21
https://scholarworks.umass.edu/cgi/viewcontent.cgi?article=1103&context=cs_faculty_pubs
https://dblp.uni-trier.de/db/conf/esec/esec99.html#NaumovichAC99
http://portal.acm.org/citation.cfm?id=319252
https://core.ac.uk/display/22494236

Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs

Authors: Yin Liu Ana Milanova

Source: 2010 17th Working Conference on Reverse Engineering. :45-54

Subject Terms: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://www.cs.rpi.edu/%7Emilanova/docs/wcre10.pdf
https://www.cs.rpi.edu/~milanova/docs/wcre10.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005645483
https://dblp.uni-trier.de/db/conf/wcre/wcre2010.html#MilanovaL10

A run-time deadlock detector for concurrent Java programs

Authors: K. Ushijima Y. Nonaka

Source: Proceedings Eighth Asia-Pacific Software Engineering Conference. :45-52

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Safe and Verifiable Design of Concurrent Java Programs

Authors: A.W.P. Bakkers Gardiner S. Stiles G.H. Hilderink et al.

Source: International Journal of Computers and Applications. 23:159-165

Subject Terms: METIS-113339

Access URL: https://research.utwente.nl/en/publications/f28f7c1a-424e-44e2-bbab-e07c4ed4f369
https://research.utwente.nl/en/publications/970a0ded-e923-4778-9692-497e87a15bed
https://doi.org/10.1080/1206212X.2001.11441647
https://kar.kent.ac.uk/21756/
https://research.utwente.nl/en/publications/safe-and-verifiable-design-of-concurrent-java-programs-2
https://www.narcis.nl/publication/RecordID/oai%3Aris.utwente.nl%3Apublications%2F970a0ded-e923-4778-9692-497e87a15bed

Slicing concurrent Java programs

Authors: Jianjun Zhao

Source: Proceedings Seventh International Workshop on Program Comprehension. :126-133

Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Access URL: https://dblp.uni-trier.de/db/conf/iwpc/iwpc1999.html#Zhao99
https://kyushu-u.pure.elsevier.com/en/publications/slicing-concurrent-java-programs
https://ieeexplore.ieee.org/document/777751/

Slicing concurrent Java programs using Indus and Kaveri

Authors: Venkatesh-Prasad Ranganath John Hatcliff

Source: International Journal on Software Tools for Technology Transfer. 9:489-504

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Anomaly detection in concurrent Java programs using dynamic data flow analysis

Authors: Abdel Aziz Boujarwah Jehad Al-Dallal Kassem Saleh

Source: Information and Software Technology. 43:973-981

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://www.sciencedirect.com/science/article/pii/S0950584901001999
https://www.sciencedirect.com/science/article/pii/S0950584901001999
https://dblp.uni-trier.de/db/journals/infsof/infsof43.html#SalehBA01

Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation: Behavior investigation of concurrent Java programs: An approach based on source-code instrumentation

Authors: BECHINI, ALESSIO PRETE, COSIMO ANTONIO

Source: Future Generation Computer Systems. 18:307-316

Subject Terms: Program profiling, Theory of programming languages, Dynamic analysis, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Concurrency control, Java, Instrumentation techniques

File Description: application/xml

Access URL: http://dblp.uni-trier.de/db/journals/fgcs/fgcs18.html#BechiniP01
https://www.sciencedirect.com/science/article/pii/S0167739X00000959
https://arpi.unipi.it/handle/11568/177200
https://dblp.uni-trier.de/db/journals/fgcs/fgcs18.html#BechiniP01

Slicing concurrent java programs

Authors: Zhenqiang Chen Baowen Xu

Source: ACM SIGPLAN Notices. 36:41-47

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dblp.uni-trier.de/db/journals/sigplan/sigplan36.html#ChenB01a
https://core.ac.uk/display/21346258
https://dl.acm.org/doi/abs/10.1145/375431.375420