[PDF] Top 20 Model-based testing of user interfaces

... points of failure, as such failures can have irremediable costs for ...quality of their systems is a growing concern of ...case of interactive systems, analysing the Graphical User ... See full document

... control of dengue are great public health challenges for many countries, particularly since 2015, as other arboviruses have been observed to interact significantly with dengue ...A user-friendly graphical ... See full document

... types of crowdsourcing, which were named crowd processing, crowd rating, crowd solving, and crowd ...identification of objects from satellite images with ...assessment of a specific item, for ... See full document

... values obtained using principal coordinate analysis was only 16.8%, and indeed both eigenvalues were lower than null expectation under a broken-stick distribution (see Jackson, 1993). These results indicated a large ... See full document

... sensitivity of a given test method is to combine it with another ...case of simultaneous testing, the sensitivity and the negative predictive value are generally increased and the specificity and ... See full document

... April of 2009 was founded a consortium with the objective of lowering the total application costs and development time by adding versatile context driven capabilities to UsiXML that would bring it far ... See full document

... development of software for even complex system, but also new challenges for software ...software testing. We propose POLYmorphism State SEquence TEst Model (POLYSSETEM) generated from Class, ... See full document

... software testing improvement, they do not provide mechanisms to model important behavioral aspects of the software such as its data ...limitation, testing techniques based just on ... See full document

... check model properties. The USE tool (UML-based Specification Environment) allows both characteristics to be ...use of several graphical means that assist the modeler in interpreting and visualizing ... See full document

... overview of the BETA approach and each of the steps of its test gen- eration ...unit of the model individually, the process is repeated for each one of its ...the testing ... See full document

... part of the blanking based on a subset of vertices ...the user to import a new model during the adjustment of the model, the new model will collide with the ... See full document

... use of monitoring data for the reliability assessment of a the Lehigh River Bridge ...erection of the steel truss and the pouring of the concrete deck, park and moving-load testing and ... See full document

... the user gets an in- depth knowledge in a particular ...domain model. In QA systems two types of search is available namely keywords based search and semantic search (Zhang, ...keyword ... See full document

... development of technology for handling information on a Big Data-scale is a buzzing top- ic of current ...exploitation of large-scale raw ...applicability of ontology-based knowledge ... See full document

... simplified model of primary user interruptions based on a Markov chain analysis, being the queueing analysis carried out for the cases of two-server-single-queue (two chan- nels and one ... See full document

... number of security solutions and security related methodologies are derived in all the ...reputation based trust model based on the fuzzy logic ...integrity of the user who ... See full document

... progress of communication and information technologies has promoted new models and stimuli in the tourism ...web based participative culture, have provided new opportunities for new tourism services, ... See full document

... interoperability of heterogeneous data derived from various sources in spatial data ...status of data availability among different communities, languages, and administrative scales from regional to national ... See full document

... Rest of the paper is organized as follows Section 2 presents an algorithm in fuzzy ...application of the model and Section 4 provides a structural view of the results ...contribution of ... See full document

... the-loop testing environments always keep the current output values of the SUT in memory for evaluation purposes, so that even message-based interfaces can be accessed as shared variables in ... See full document