Verifying Transformations of Java Programs Using Alloy

2016 ◽  
pp. 110-126 ◽  
Author(s):  
Tarciana Dias da Silva ◽  
Augusto Sampaio ◽  
Alexandre Mota
Keyword(s):  
Java Programs

Multilevel Code Cleaning using Root Extract Method for Java Programs

2018 ◽  
Vol 6 (9) ◽  
pp. 457-461
Author(s):  
Pooja Kapila ◽  
A. Sharma ◽  
N. Kaur
Keyword(s):  
Root Extract ◽  
Java Programs

scholarly journals A thread monitoring system for multithreaded Java programs

2006 ◽  
Vol 41 (5) ◽  
pp. 21-29 ◽  
Author(s):  
Sewon Moon ◽  
Byeong-Mo Chang
Keyword(s):  
Monitoring System ◽  
Java Programs

Verification of MPI Java programs using software model checking

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 ◽  
Java Programs

scholarly journals Enabling static analysis for partial java programs

2008 ◽  
Vol 43 (10) ◽  
pp. 313-328 ◽  
Author(s):  
Barthélémy Dagenais ◽  
Laurie Hendren
Keyword(s):  
Static Analysis ◽  
Java Programs

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions

2015 ◽  
Vol 40 (1) ◽  
pp. 1-5 ◽  
Author(s):  
Peter Anderson ◽  
Nick Vrvilo ◽  
Eric Mercer ◽  
Vivek Sarkar
Keyword(s):  
Java Programs

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

2013 ◽  
Author(s):  
Stijn de Gouw ◽  
Frank S. de Boer ◽  
Einar Broch Johnsen ◽  
Peter Y. H. Wong
Keyword(s):  
Java Programs ◽  
Run Time

scholarly journals LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

2013 ◽  
Vol 296 ◽  
pp. 253-259 ◽  
Author(s):  
Kari Kähkönen ◽  
Olli Saarikivi ◽  
Keijo Heljanko
Keyword(s):  
Distributed Testing ◽  
Testing Tool ◽  
Java Programs
Sign in / Sign up

Export Citation Format

Share Document