Skip to main content
Kent Academic Repository

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 this file
[thumbnail of Model extraction and test generation from JUnit test suites.pdf]
Request a format suitable for use with assistive technology e.g. a screenreader
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
Funders: European Commission (
Depositing User: S. Thompson
Date Deposited: 09 Mar 2018 17:21 UTC
Last Modified: 04 Mar 2024 15:44 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

Seijas, Pablo Lamela.

Creator's ORCID:
CReDIT Contributor Roles:

Thompson, Simon.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.