Sortiert nach
IEEE transactions on software engineering, 2019-05, Vol.45 (5), p.507-520
2019
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.253-269
Volltextzugriff (PDF)
The Journal of systems and software, 2024-03, Vol.209, p.111920, Article 111920
2024
Volltextzugriff (PDF)
Computer (Long Beach, Calif.), 2020-12, Vol.53 (12), p.20-23
2020
Volltextzugriff (PDF)
The Journal of systems and software, 2019-04, Vol.150, p.64-76
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-04, Vol.19 (2), p.247-269
2017
Volltextzugriff (PDF)
Software testing, verification & reliability, 2020-03, Vol.30 (2), p.n/a
2020
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2024-06, Vol.26 (3), p.379-401
2024
Volltextzugriff (PDF)
Science of computer programming, 2018-07, Vol.159, p.28-57
2018
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2024-04, Vol.50 (4), p.995-1014
2024
Volltextzugriff (PDF)
Software testing, verification & reliability, 2019-01, Vol.29 (1-2), p.n/a
2019
Volltextzugriff (PDF)
2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020, p.157-166
2020
Volltextzugriff (PDF)
Science of computer programming, 2018-06, Vol.158, p.148-167
2018
Volltextzugriff (PDF)
Testing Software and Systems, p.274-288
Volltextzugriff (PDF)
Information and software technology, 2011-11, Vol.53 (11), p.1263-1273
2011
Volltextzugriff (PDF)
Information and software technology, 2022-12, Vol.152, p.107061-107061, Article 107061
2022
Volltextzugriff (PDF)
Science of computer programming, 2014-11, Vol.94, p.93-108
2014
Volltextzugriff (PDF)
Biomedical Engineering Systems and Technologies, 2023, p.139-157
2023
Volltextzugriff (PDF)
35th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, Bergamo, Italy, 2023, Vol.14131 LNCS, p.143-159
2023
Volltextzugriff (PDF)
Testing Software and Systems, 2023, p.97-114
2023
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2024-06, Vol.26 (3), p.301-326
2024
Volltextzugriff (PDF)
Journal of automated reasoning, 2010-12, Vol.45 (4), p.331-358
2010
Volltextzugriff (PDF)
Journal of software : evolution and process, 2018-05, Vol.30 (5), p.n/a
2018
Volltextzugriff (PDF)
Software testing, verification & reliability, 2023-03, Vol.33 (2), p.n/a
2023
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.344-359
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software
- Software Testing
- Engineering
- Engineering, Electrical & Electronic
- Theoretical Computing
- Conferences
- Combinatorial Testing
- Model-Based Testing
- Software Engineering
- Testing
- Abstract State Machine
- Abstract State Machines
Kollektion
- Ingenta
- Springer Book Series
- IEEE Xplore
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- ScienceDirect Journals (5 years ago - present)
- Wiley-Blackwell Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library
- Springer Nature
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- RCN full-text journals@Ovid
- Oxford Journals
- Nexis Uni
Zeitschrift / Serie
- Software Testing, Verification & Reliability
- Information And Software Technology
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
- Ieee Transactions On Software Engineering
- Journal Of Systems And Software/the journal Of Systems And Software
- The Journal Of Systems And Software
- Acm Transactions On Software Engineering And Methodology
- Automated Software Engineering
- Computer