International Journal on Software Tools for Technology Transfer

Aims & Scope

The International Journal on Software Tools for Technology Transfer (STTT) provides a forum for the discussion of all aspects of tools supporting the development of computer systems.

It offers, above all, a tool-oriented link between academic research and industrial practice.

Tool support for the development of reliable and correct computer-based systems is of growing importance, and a wealth of design methodologies, algorithms, and associated tools have been developed in different areas of computer science.

However, each area has its own culture and terminology, preventing researchers from taking advantage of the results obtained by colleagues in other fields.

Tool builders are often unaware of the work done by others, and thus unable to apply it.

The situation is even more critical when considering the transfer of new technology into industrial practice.

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	1.4
2024	1.10

SJR (SCImago Journal Rank)

Year	Value
2024	0.376

Quartile

Year	Value
2024	Q3

h-index

Year	Value
2024	60

Journal Rank

Year	Value
2024	14423

Journal Citation Indicator

Year	Value
2024	275

---

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• Uppaal in a nutshell

  Citation: 1411

  Authors: Kim G., Paul, Wang

• Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

  Citation: 746

  Authors: Kurt, Lars Michael, Lisa

• Rodin: an open toolset for modelling and reasoning in Event-B

  Citation: 529

  Authors: Jean-Raymond, Michael, Stefan, Thai Son, Farhad, Laurent

• HYTECH: a model checker for hybrid systems

  Citation: 483

  Authors: Thomas A., Pei-Hsin, Howard

• Model checking JAVA programs using JAVA PathFinder

  Citation: 471

  Authors: Klaus, Thomas

• NUSMV: a new symbolic model checker

  Citation: 415

  Authors: Alessandro, Edmund, Fausto, Marco

• Uppaal SMC tutorial

  Citation: 401

  Authors: Alexandre, Kim G., Axel, Marius, Danny Bøgsted

• The software model checker Blast

  Citation: 386

  Authors: Dirk, Thomas A., Ranjit, Rupak

• KRONOS: a verification tool for real-time systems

  Citation: 376

  Authors: Sergio

• An overview of JML tools and applications

  Citation: 363

  Authors: Lilian, Yoonsik, David R., Michael D., Joseph R., Gary T., K. Rustan M., Erik

---