Skip to main content

Model extraction and test generation from JUnit test suites

Seijas, Pablo Lamela, Thompson, Simon, Francisco, Miguel Ángel (2018) Model extraction and test generation from JUnit test suites. Software Quality Journal, 26 . pp. 1519-1552. ISSN 0963-9314. E-ISSN 1573-1367. (doi:10.1007/s11219-017-9399-x) (KAR id:66343)

PDF Author's Accepted Manuscript
Language: English
Download (855kB) Preview
[thumbnail of Model extraction and test generation from JUnit test suites.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
PDF Publisher pdf
Language: English

Restricted to Repository staff only
Contact us about this Publication
[thumbnail of paper.pdf]
Official URL


In this paper, we describe how to infer state machine models of systems from legacy unit test suites and how to generate new tests from those models. The novelty of our approach is to combine control dependencies and data dependencies in the same model, in contrast to most other work in this area. Combining both kinds of dependencies helps us to build more expressive models, which in turn allows us to produce smarter tests. We illustrate those techniques with real examples produced by our implementation, the James tool, designed to apply these techniques in practice to Java code and tests.

Item Type: Article
DOI/Identification number: 10.1007/s11219-017-9399-x
Uncontrolled keywords: Model inference, JUnit, Test generation, Property inference, Web services, Property-based testing, James, QuickCheck
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: S. Thompson
Date Deposited: 09 Mar 2018 17:21 UTC
Last Modified: 16 Feb 2021 13:53 UTC
Resource URI: (The current URI for this page, for reference purposes)
Thompson, Simon:
  • Depositors only (login required):