Sortiert nach
Journal of automated reasoning, 2019-12, Vol.63 (4), p.1103-1134
2019
Link zum Volltext
Machine Learning for Dynamic Software Analysis, 2018, p.74-100
2018
Link zum Volltext
Formal methods in system design, 2022-08, Vol.61 (1), p.35-62
2022
Link zum Volltext
Formal Modeling and Analysis of Timed Systems, p.216-235
Link zum Volltext
Software and systems modeling, 2024-04, Vol.23 (2), p.503-524
2024
Link zum Volltext
Formal methods in system design, 2019-11, Vol.54 (3), p.416-448
2019
Link zum Volltext
Software and systems modeling, 2019-04, Vol.18 (2), p.889-911
2019
Link zum Volltext
Software testing, verification & reliability, 2015-12, Vol.25 (8), p.716-748
2015
Link zum Volltext
Software testing, verification & reliability, 2020-01, Vol.30 (1), p.n/a
2020
Link zum Volltext
Innovations in systems and software engineering, 2022-09, Vol.18 (3), p.417-426
2022
Link zum Volltext
Formal aspects of computing, 2021-08, Vol.33 (4-5), p.575-615
2021
Link zum Volltext
Bridging the Gap Between AI and Reality, p.138-159
Link zum Volltext
Real-time systems, 2017-05, Vol.53 (3), p.291-326
2017
Link zum Volltext
International journal on software tools for technology transfer, 2014-11, Vol.16 (6), p.727-751
2014
Link zum Volltext
International journal on software tools for technology transfer, 2017-08, Vol.19 (4), p.409-426
2017
Link zum Volltext
Software quality journal, 2019-06, Vol.27 (2), p.757-795
2019
Link zum Volltext
Integrated Formal Methods, p.257-276
Link zum Volltext
Formal aspects of computing, 2018-11, Vol.30 (6), p.627-628
2018
Link zum Volltext
1, 2003
Link zum Volltext
Formal aspects of computing, 2009-02, Vol.21 (1-2), p.33-64
2009
Link zum Volltext
Formal aspects of computing, 2024-03, Vol.36 (1), p.1-37, Article 3
2024
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-02, Vol.80 (Proc. MBT 2012), p.88-102
2012
Link zum Volltext
Formal Methods, p.524-542
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Software Engineering
- Model-Based Testing
- Mutation Testing
- Testing
- Test Case Generation
- Active Automata Learning
- Refinement
- Model Inference
- Conformance Testing
- Object Oriented Modeling
- Software Engineering/programming And Operating Systems
- Applied Sciences
- Computer Science; Control Theory; Systems
- Engineering
- Exact Sciences And Technology
Kollektion
- Ingenta
- Ebook Central Perpetual and DDA
- Springer Books
- eBooks on EBSCOhost
- HEAL-Link subscriptions: Springer Book Series
- IEL
- Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library (Association for Computing Machinery)
- Journals@Ovid Ovid Full Text
- Wiley-Blackwell Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Wiley Online Library
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- Formal Methods In System Design
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
- Software And Systems Modeling
- Software Testing, Verification & Reliability
- Acm Sigsoft Software Engineering Notes
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
Neu hinzugefügt