Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Wed 22 Jul 2020 15:10 - 15:30 at Zoom - NUMERICAL SOFTWARE ANALYSIS & CLONE DETECTION Chair(s): Darko Marinov

High performance numerical simulation programs are widely used to simulate actual physical processes on high performance computers for the analysis of various physical and engineering problems. They are usually regarded as non-testable due to their high complexity. This paper reports our real experience and lessons learned from testing five simulation programs that will be used to design and analyze nuclear power plants. We applied five testing approaches and found 33 bugs. We found that property-based testing and metamorphic testing are two effective methods. Nevertheless, we suffered from the lack of domain knowledge, the high test costs, the shortage of test cases, severe oracle issues, and inadequate automation support. Consequently, the five programs are not exhaustively tested from the perspective of software testing, and many existing software testing techniques and tools are not fully applicable due to scalability and portability issues. We need more collaboration and communication with other communities to promote the research and application of software testing techniques.

Wed 22 Jul
Times are displayed in time zone: Tijuana, Baja California change

14:50 - 16:10: NUMERICAL SOFTWARE ANALYSIS & CLONE DETECTIONTechnical Papers at Zoom
Chair(s): Darko MarinovUniversity of Illinois at Urbana-Champaign

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

14:50 - 15:10
Talk
Technical Papers
Jackson VanoverUniversity of California, Davis, Xuan DengUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
DOI Media Attached
15:10 - 15:30
Talk
Technical Papers
Xiao HeUniversity of Science and Technology Beijing, China, Xingwei Wang, Jia Shi, Yi Liu
DOI Media Attached
15:30 - 15:50
Talk
Technical Papers
Chunrong FangNanjing University, Zixi LiuNanjing University, Yangyang Shi, Jeff HuangTexas A&M University, Qingkai ShiThe Hong Kong University of Science and Technology
DOI Media Attached
15:50 - 16:10
Talk
Technical Papers
Yakun ZhangInstitute of software, Chinese academy of sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Liang Xu, Zhiyong ZhouInstitute of Software, Chinese Academy of Sciences, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Dan Ye, Bo Yang
DOI Media Attached