
Academic Journal
Q2International Journal on Software Tools for Technology Transfer
About International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer is a scholarly journal published by Springer Verlag. SCImago 2025 lists it in Q2, with an SJR of 0.481 and H-index of 62.
Coverage: 1997-2026. Research categories: Information Systems (Q2); Software (Q2).
Verified field sources
- Journal Impact Factor: 1.7 — Official source; checked 2026-10-03. Journal metric year and editorial leadership as listed on the Springer Nature journal homepage.
- Impact Factor year: 2025 — Official source; checked 2026-10-03. Journal metric year and editorial leadership as listed on the Springer Nature journal homepage.
- Editor(s): Bernhard Steffen; Martin Wirsing (Editors-in-Chief) — Official source; checked 2026-10-03. Journal metric year and editorial leadership as listed on the Springer Nature journal homepage.
Source-backed journal facts
Topics in published research
Formal Methods in Verification; Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Logic, programming, and type systems; Model-Driven Software Engineering Techniques; Advanced Software Engineering Methodologies.
OpenAlex classifies topics from published works. These topics are not the publisher’s official aims and scope.
Reported open-access list prices
3,290.00 USD; 2,690.00 EUR; 2,390.00 GBP
APC list prices reported by OpenAlex, which obtains this information from DOAJ. Confirm current charges, taxes, waivers and eligibility with the publisher; this is not a fee quotation.
Source: OpenAlex source record. Retrieved 2026-10-03. Source record updated 2026-10-02. OpenAlex metrics are different from SCImago metrics and the Clarivate Journal Impact Factor.
Journal Metrics
Quartile, SJR and the listed SCImago H-index use the 2025 imported SCImago dataset. A quartile may vary by subject category. Values without a source or reporting year are unverified historical entries. Verify the current Journal Impact Factor with Clarivate or the publisher before using it.
Aims & Scope
The publisher’s official aims and scope have not yet been verified for this profile. Use the journal website to check subject fit and accepted article types before submitting.
Recent Research Articles
Latest publications matched automatically by ISSN.
Models at runtime (both design time and operation time): an HCI view on the modelling of AMAN
Camille Fayollas, David Navarre, Célia Martinie, Philippe Palanque et al.
2026-09-14 · DOI: 10.1007/s10009-026-00868-8State of the art in program analysis
Kihong Heo, Luca Negrini
2026-09-01 · DOI: 10.1007/s10009-026-00867-9From affine to polynomial: synthesizing loops with branches via algebraic geometry
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
2026-07-10 · DOI: 10.1007/s10009-026-00866-wFastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability
Ilia Muravev, Semyon Grigorev
2026-05-21 · DOI: 10.1007/s10009-026-00864-yChallenges of Software Verification (CSV’25)
Luca Olivieri, Vincenzo Arceri, Luca Negrini, Gianluca Caiazza et al.
2026-06 · DOI: 10.1007/s10009-026-00865-xBridging hardware and software analysis with Btor2C: a word-level-circuit-to-C translator
Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee et al.
2026-04-30 · DOI: 10.1007/s10009-026-00847-zStatistical model checking of a dynamic vehicle platoon
Cinzia Bernardeschi, Adriano Fagiolini, Giuseppe Lettieri, Dario Pagani et al.
2026-04 · DOI: 10.1007/s10009-026-00862-0Optimality-preserving reduction of controlled chemical reaction networks
Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski et al.
2026-04 · DOI: 10.1007/s10009-026-00854-0Rigorous engineering of collective adaptive systems – 3rd special section: part II
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone et al.
2026-04 · DOI: 10.1007/s10009-026-00859-9Composable models and guarantees for aggregate systems
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2026-04 · DOI: 10.1007/s10009-026-00860-2The evolving conscious agent, II
Chen Yifeng, J. W. Sanders
2026-04 · DOI: 10.1007/s10009-026-00858-wUnderstanding code semantics: a benchmark study of LLMs
Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi et al.
2026-06 · DOI: 10.1007/s10009-026-00842-4A compositional semantics for reconfigurable multi-mode interaction in R-CHECK
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman et al.
2026-04 · DOI: 10.1007/s10009-026-00861-1Attribute-based memory updates with priorities for collective adaptive systems
Michele Pasqua, Marino Miculan
2026-04 · DOI: 10.1007/s10009-026-00856-yEpistemic ensembles in semantic, symbolic, and distributed environments
Alexander Knapp, Rolf Hennicker, Martin Wirsing
2026-04 · DOI: 10.1007/s10009-026-00855-zClause-reachability is undecidable in legal contracts
Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro et al.
2026-06 · DOI: 10.1007/s10009-026-00841-5Abstractions of sequences, functions and operators
Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo
2026-06 · DOI: 10.1007/s10009-026-00843-3Inferring contracts by abstract interpretation with application to pointer nullness analysis
Paul Robert, Matthieu Lemerre, Mihaela Sighireanu
2026-06 · DOI: 10.1007/s10009-026-00846-0LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions
Daragh King, Vasileios Koutavas, Laura Kovács
2026-06 · DOI: 10.1007/s10009-026-00844-2Challenges in Quantum Programs Analysis
Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
2026-06 · DOI: 10.1007/s10009-026-00845-1Reviews
Community Reviews
Version History
October 2, 2026 at 9:29 pm
October 2, 2026