1. An experience report on applying software testing academic results in industry: we need usable automated test generation;Arcuri;Empir. Softw. Eng.,2017
2. Modbat: A model-based API tester for event-driven systems;Artho,2013
3. Jtorx: A tool for on-line model-driven test derivation and execution;Belinfante,2010
4. Value-Based Software Engineering;Biffl,2006
5. Model-based testing in practice;Blackburn,2006