Browsing by Keyword "Verification"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Automatic Program Repair(2021-07-01) Carver, Jeffrey; Colomo-Palacios, Ricardo; Larrucea, Xabier; Staron, Miroslaw; Tecnalia Research & InnovationFollowing along with the theme of this issue of IEEE Software, this column reports on papers about automatic program repair (APR) from the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE20), the 35th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW20), and the 13th IEEE International Conference on Software Testing, Validation and Verification (ICST20). Feedback or suggestions are welcome. In addition, if you try or adopt any of the practices included in the column, please send us and the authors a note about your experiences.Item OES Task 10 WEC heaving sphere performance modelling verification(CRC Press, 2018-09-12) Nielsen, K.; Wendt, F.; Yu, Y.-H.; Ruehl, K.; Touzon, Imanol; et al.OES Task 10 Modelling, Verification and Validation of Wave Energy Converters (WECs) is a task under the IEA Technology Collaboration Program for Ocean Energy Systems (OES). The long-term goals are to assess the accuracy of, and establish confidence in, the use of numerical WEC models, to determine a range of validity of existing computational modelling tools, to identify uncertainty related to simulation meth-odologies and finally to define future research. To some extent, this project builds on the experience from a similar effort carried out to verify modelling of wind turbines as part of the IEA Wind Task 30 on wind OC3-OC5.