IJ
International Journal on Software Tools for Technology Transfer
JournalSpringer Science+Business Media
1,086
Publications
32,334
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (1,078)
- Preprint (5)
- Editorial (1)
- Paratext (1)
- Review (1)
Filter by Open Access Type
- Open Access (409)
- Closed Access (677)
Filter by Authors
- Bernhard Steffen (29)
- Tiziana Margaria (24)
- Axel Legay (20)
- Kim G. Larsen (18)
- Klaus Havelund (13)
Filter by Topics
- Formal Methods in Verification (616)
- Software Testing and Debugging Techniques (381)
- Software Reliability and Analysis Research (225)
- Logic, programming, and type systems (188)
- Model-Driven Software Engineering Techniques (159)