Metamorphic testing uncovers defects by checking whether a relation holds among multiple software executions. These relations are known as metamorphic relations (MRs). For scientific software operating in a large multi-parameter input space, identifying MRs that determine the simultaneous changes among multiple variables is challenging. In this poster, we propose a fully automatic approach to classifying input and output variables from scientific software’s user manual, mining these variables’ associations from the user forum to generate MRs, and validating the MRs with existing regression tests. Preliminary results of our end-to-end MR support for the Storm Water Management Model (SWMM) are reported.
Tue 25 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
19:00 - 19:30
Posters 2Posters at Poster Room
Chair(s): Davide Fucci Blekinge Institute of Technology
Each poster makes a 2-minute presentation (displayed in the Poster room). At the end of each presentation, a breakout room will be created for each poster. Attendees will be able to join and discuss with the authors.
|Understanding Language Selection in Multi-Language Software Projects on GitHubPoster|
Wen Li , Na Meng Virginia Tech, USA, Li Li Monash University, Haipeng Cai Washington State University, USAPre-print Media Attached
|Finding Metamorphic Relations for Scientific SoftwarePoster|
Xuanyi Lin University of Cincinnati, Zedong Peng University of Cincinnati, Nan Niu University of Cincinnati, Wentao Wang Oracle America Inc, Hui Liu Beijing Institute of TechnologyPre-print Media Attached
|We’ll Fix It in Post: What Do Bug Fixes in Video Game Update Notes Tell Us?Poster|
Andrew Truelove University of California, Irvine, Eduardo Santana de Almeida Federal University of Bahia, Iftekhar Ahmed University of California, IrvinePre-print Media Attached