Models in Graphical User Interface Testing: Study Design

14th Turkish National Software Engineering Symposium, UYMS 2020 -- 7 October 2020 through 9 October 2020 -- -- 1649142-s2.0-85097537439Model-based GUI testing is an important concept in Software GUI testing. Manual testing is a time-consuming labor and heavily error-prone. It has several well-accepted models that Software Testing community has been working and contributing to them for many years. This paper reviews different models used in model-based GUI testing and presents a case study with a proposed approach for how to convert several well-accepted models to ESG (Event Sequence Graphs) to generate test cases and execute them with an aim to consolidate past and future works in a single model. © 2020 IEEE

Looking for timing variations in the transits of 16 exoplanets

We update the ephemerides of 16 transiting exoplanets using our ground-based observations, new TESS data, and previously published observations including those of amateur astronomers. All these light curves were modeled by making use of a set of quantitative criteria with the exofast code to obtain mid-transit times. We searched for statistically significant secular and/or periodic trends in the mid-transit times. We found that the timing data are well modeled by a linear ephemeris for all systems except for XO-2 b, for which we detect an orbital decay with the rate of -12.95 ± 1.85 ms/yr that can be confirmed with future observations. We also detect a hint of potential periodic variations in the TTV data of HAT-P-13 b which also requires confirmation with further precise observations