Automated refinement of models for model-based testing using exploratory testing

An Observe-Model-Exercise* Paradigm to Test Event-Driven Systems with Undetermined Input Spaces

(2014) Bao N. Nguyen et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Automatic testing of GUI-based applications

(2014) Leonardo Mariani et al.   SOFTWARE TESTING VERIFICATION & RELIABILITY

A taxonomy of risk-based testing

(2014) Michael Felderer et al.   International Journal on Software Tools for Technology Transfer

The Role of the Tester's Knowledge in Exploratory Software Testing

(2012) Juha Itkonen et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Model-based testing of embedded systems in hardware in the loop environment

(2012) J.S. Keränen et al.   IET Software

Automatically Generating Test Cases for Specification Mining

(2011) Valentin Dallmeier et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

A taxonomy of model-based testing approaches

(2011) Mark Utting et al.   SOFTWARE TESTING VERIFICATION & RELIABILITY

Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback

(2009) Xun Yuan et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING