International Journal on Software Tools for Technology Transfer
The International Journal on Software Tools for Technology Transfer (STTT) provides a forum discussing all aspects of tools that aid in the development of computer systems. In particular, it offers a tool-oriented link between academic research and industrial practice.
STTT publishes accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques. It channels comments, queries, and feedback on tools and papers to its Online Forum, publishing highlights electronically. It enables even non-experts to experiment with the integrated tools via the Electronic Tool Integration (ETI) platform. STTT addresses a heterogeneous audience, emphasizing clear, jargon-free exposition.
STTT focuses on three major technical themes: construction and analysis issues; practicality issues; and generic tool issues.
Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking
- Journal Title
- International Journal on Software Tools for Technology Transfer
- Volume 1 / 1997 - Volume 21 / 2019
- Print ISSN
- Online ISSN
- Springer Berlin Heidelberg
- Additional Links
- Industry Sectors
To view the rest of this content please follow the download PDF link above.