Search Results - "Concurrent Java"

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: Oliver Moseler Lucas Kreber Stephan Diehl

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

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

Visual Analytics for Concurrent Java Executions

Authors: Cyrille Artho Monali Pande Qiyi Tang

Source: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). :1102-1105

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

Concurrent Java Test Generation as a Search Problem

Authors: Eytani, Yaniv

Source: Electronic Notes in Theoretical Computer Science. 144:57-72

Subject Terms: concurrent Java, 0202 electrical engineering, electronic engineering, information engineering, Random test generator, geneticFinder, 02 engineering and technology, Theoretical Computer Science, Computer Science(all)

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

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems

Authors: Chong Shum Wing-Hong Lau Tian Mao et al.

Source: IEEE Access, Vol 6, Pp 21991-22010 (2018)

Subject Terms: memory models, 0202 electrical engineering, electronic engineering, information engineering, modeling and simulation of concurrent execution, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, cyber-physical systems, Direct execution simulation, TK1-9971

Access URL: https://doaj.org/article/2ef4011fb7474db5aa56e4ce4fe99948

Writing Concurrent Java Programs Based on CafeOBJ Specifications

Authors: Xuan-Linh Ha Kazuhiro Ogata

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

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

Synthesis of verifiable concurrent Java components from formal models

Authors: Julio Mariño Raúl N. N. Alborodo Lars-Åke Fredlund et al.

Source: Software & Systems Modeling. 18:71-105

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

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

Towards Using Concurrent Java API Correctly

Authors: LIU, Shuang BAI, Guangdong SUN, Jun et al.

Source: 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS). :219-222

Subject Terms: Programming Languages and Compilers, 0202 electrical engineering, electronic engineering, information engineering, Software Engineering, 02 engineering and technology

File Description: application/pdf

Access URL: https://ink.library.smu.edu.sg/sis_research/4942

Testing concurrent Java components

Authors: Bradley Long

Subject Terms: Java (Computer program language), 080304 Concurrent Programming, Computer multitasking

Unit Testing Concurrent Java Programs

Authors: Nanditha Prasad Suma Shivaprasad

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

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

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks

Authors: John Ngui Paul Strooper Luke Wildman et al.

Source: 2007 Australian Software Engineering Conference (ASWEC'07). :223-232

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

A method for verifying concurrent Java components based on an analysis of concurrency failures

Authors: Long, Brad Strooper, Paul Wildman, Luke et al.

Contributors: Long, Brad Strooper, Paul Wildman, Luke et al.

Source: Concurrency and Computation: Practice and Experience. 19:281-294

Subject Terms: Inspections, Design, Theory & Methods, Software Engineering, 02 engineering and technology, testing, 280302 Software Engineering, C1, 700102 Application tools and system utilities, Computer Science, component, 0202 electrical engineering, electronic engineering, information engineering, Programs, concurrency, verification, Java

CARE: cache guided deterministic replay for concurrent Java programs

Authors: Yanyan Jiang Tianxiao Gu Chang Xu 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

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

Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs

Authors: Ana Milanova Yin Liu

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