Art
J-GLOBAL ID：201802236189893659   Reference number：18A1481022

TBFV-SE: Testing-Based Formal Verification with Symbolic Execution

TBFv-SE:記号実行によるテストベースの形式的検証【JST・京大機械翻訳】
Author (2)：
Wang Rong

About Wang Rong

, 
Liu Shaoying

About Liu Shaoying


Material：
IEEE Conference Proceedings  (IEEE Conf Proc)

About IEEE Conference Proceedings


Volume： 2018  Issue： QRS  Page： 59-66  Publication year： 2018 
JST Material Number： W2441A  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Testing-Based Formal Verificat...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=18A1481022&from=J-GLOBAL&jstjournalNo=W2441A") }}
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
case study

About case study

, 
*Automation

About Automation

, 
adaptability

About adaptability

, 
*modification

About modification


Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
ツールサポート

About ツールサポート

, 
形式的検証

About 形式的検証

, 【Automatic Indexing@JST】
JST classification (1)：
JST classification
Category name(code) classified by JST.
Graphic and image processing in general 
(JE04010I)

About Graphic and image processing in general

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
Se

About Se

, 
記号

About 記号

, 
テスト

About テスト

, 
形式的検証

About 形式的検証


Return to Previous Page

TOP

BOTTOM