中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-4 of 4)

Filters        
Items/Page:    Sort:
debug concurrent programs with visualization and inference of event structure [会议论文]
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Wu Xiaoquan; Wei Jun; Wang Xu

 
factorising the multiple fault localization problem: adapting single-fault localizer to multi-fault programs [会议论文]
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Gong Cheng; Zheng Zheng; Zhang Yunqian; Zhang Zhenyu; Xue Yunzhi

 
semi-static detection of runtime type errors in component-based java programs [会议论文]
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Zhou Xiaowei; Zhang Wenbo; Zhang Jianhua

 
proving liveness property under fairness requirements [会议论文]
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Long Teng; Zhang Wenhui

 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace