Hyperspectral systems have improved significantly through recent advancements in sensor
technology, which have made possible to acquire data with several hundred channels …

This paper presents a fully automatic model-driven technique to generate test cases for
graphical user interfaces (GUIs)-based applications. The technique uses feedback from the …

This paper presents extensions to Spec Explorer to automate the testing of software
applications through their GUIs based on a formal specification in Spec ♯. Spec Explorer, a …

Analytic usability analysis methods have been proposed as an alternative to user testing in
early phases of development due to the cost of the latter approach. By working with models …

Online testing is a technique in which test derivation from a model program and test
execution are combined into a single algorithm. We describe a practical online testing …

Automating the process of software testing is a very popular research topic and of real
interest to industry. Test automation can take part on different levels, eg, test execution, test …

Adaptive software testing is the counterpart of adaptive control in software testing. It means
that software testing strategy should be adjusted on-line by using the testing data collected …

Pre/postcondition-based specifications are commonplace in a variety of software
engineering activities that range from requirements through to design and implementation …

Current and future trends for software include increasingly complex requirements on
interaction between systems. As a result, the difficulty of system testing increases. Model …

For half a decade model-based testing has been applied at Microsoft in the internal
development process. Though a success story compared to other formal quality assurance …