Bandera: Extracting Finite-state Models from Java Source Code.

CORBETT J C; DWYER M B; HATCLIFF J; LAUBACH S; PASAREANU C S; ZHENG H

Art

J-GLOBAL ID：200902145823313993 Reference number：00A0937624

Bandera: Extracting Finite-state Models from Java Source Code.

Bandera Javaソースコードから有限状態モデルを抽出する

Publisher site Copy service {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=00A0937624&COPY=1") }}
Access JDreamⅢ for advanced search and analysis. {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=00A0937624&from=J-GLOBAL&jstjournalNo=D0491B") }}

Author (6)： , , , , ,
Material：
Volume： 22nd Page： 439-448 Publication year： 2000
JST Material Number： D0491B Document type： Proceedings
Article type：原著論文 Country of issue： United States (USA) Language： ENGLISH (EN)

,...
,...

To see more with JDream III (charged). {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=00A0937624&from=J-GLOBAL&jstjournalNo=D0491B") }}

Computer system development , Other system programmings

Return to Previous Page