Writing Java Programs

Mapping Intimacies ◽

10.1007/978-1-4842-7307-4_3 ◽

2021 ◽

pp. 45-99

Author(s):

Kishori Sharan ◽

Adam L. Davis

Keyword(s):

Download Full-text

Multilevel Code Cleaning using Root Extract Method for Java Programs

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v6i9.457461 ◽

2018 ◽

Vol 6 (9) ◽

pp. 457-461

Author(s):

Pooja Kapila ◽

A. Sharma ◽

N. Kaur

Keyword(s):

Root Extract ◽

Download Full-text

A thread monitoring system for multithreaded Java programs

ACM SIGPLAN Notices ◽

10.1145/1149982.1149985 ◽

2006 ◽

Vol 41 (5) ◽

pp. 21-29 ◽

Author(s):

Sewon Moon ◽

Byeong-Mo Chang

Keyword(s):

Monitoring System ◽

Download Full-text

Verification of MPI Java programs using software model checking

ACM SIGPLAN Notices ◽

10.1145/3016078.2851192 ◽

2016 ◽

Vol 51 (8) ◽

pp. 1-2

Author(s):

Waqas Ur Rehman ◽

Muhammad Sohaib Ayub ◽

Junaid Haroon Siddiqui

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Download Full-text

Enabling static analysis for partial java programs

ACM SIGPLAN Notices ◽

10.1145/1449955.1449790 ◽

2008 ◽

Vol 43 (10) ◽

pp. 313-328 ◽

Author(s):

Barthélémy Dagenais ◽

Laurie Hendren

Keyword(s):

Static Analysis ◽

Download Full-text

Automatic Generation of Parallel Java Programs and their Validation using Combinatorial Testing Suites

2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS) ◽

10.1109/icccs52626.2021.9449249 ◽

2021 ◽

Author(s):

Calanna Salvatore ◽

Andrea Calvagna ◽

Andrea Fornaia ◽

Riccardo Torrisi ◽

Emiliano Tramontana

Keyword(s):

Automatic Generation ◽

Combinatorial Testing ◽

Download Full-text

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions

ACM SIGSOFT Software Engineering Notes ◽

10.1145/2693208.2693245 ◽

2015 ◽

Vol 40 (1) ◽

pp. 1-5 ◽

Author(s):

Peter Anderson ◽

Nick Vrvilo ◽

Eric Mercer ◽

Vivek Sarkar

Keyword(s):

Download Full-text

Run-time checking of data- and protocol-oriented properties of Java programs

Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 ◽

10.1145/2480362.2480656 ◽

2013 ◽

Author(s):

Stijn de Gouw ◽

Frank S. de Boer ◽

Einar Broch Johnsen ◽

Peter Y. H. Wong

Keyword(s):

Java Programs ◽

Download Full-text

LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2013.09.002 ◽

2013 ◽

Vol 296 ◽

pp. 253-259 ◽

Author(s):

Kari Kähkönen ◽

Olli Saarikivi ◽

Keijo Heljanko

Keyword(s):

Distributed Testing ◽

Testing Tool ◽

Download Full-text

Accelerating Habanero-Java programs with OpenCL generation

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13 ◽

10.1145/2500828.2500840 ◽

2013 ◽

Author(s):

Akihiro Hayashi ◽

Max Grossman ◽

Jisheng Zhao ◽

Jun Shirako ◽

Vivek Sarkar

Keyword(s):

Download Full-text

Verification of MPI Java programs using software model checking

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851192 ◽

2016 ◽

Author(s):

Waqas Ur Rehman ◽

Muhammad Sohaib Ayub ◽

Junaid Haroon Siddiqui

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Download Full-text