Keyword : software verification


On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification
Hoang-Viet TRAN Ngoc Hung PHAM Viet Ha NGUYEN 
Publication:   
Publication Date: 2019/08/01
Vol. E102-D  No. 8 ; pp. 1449-1461
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: 
Keyword: 
assume-guarantee reasoningmodel checkingsoftware verificationlocally minimum assumptionlocally strongest assumption
 Summary | Full Text:PDF(645.1KB)

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench
Kozo OKANO Satoshi HARAUCHI Toshifusa SEKIZAWA Shinpei OGATA Shin NAKAJIMA 
Publication:   
Publication Date: 2019/08/01
Vol. E102-D  No. 8 ; pp. 1498-1505
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
software verificationJavahash codeequivalence
 Summary | Full Text:PDF(444KB)

A Static Bug Detector for Uninitialized Field References in Java Programs
Sunae SEO Youil KIM Hyun-Goo KANG Taisook HAN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/10/01
Vol. E90-D  No. 10 ; pp. 1663-1671
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
Java object initializationsoftware verificationprogram analysissafety
 Summary | Full Text:PDF(278KB)