Adaptive tests for adaptive systems: the need for new concepts in testing for future software systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Softwaretechnik-Trends, 38, 1, S. 61-64
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2018
- Event
-
Veröffentlichung
- (where)
-
Siegen
- (who)
-
Universität Siegen
- (when)
-
2018
- Creator
- URN
-
urn:nbn:de:bvb:384-opus4-534078
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Eberhardinger, Benedikt
- Seebach, Hella
- Reichstaller, André
- Knapp, Alexander
- Reif, Wolfgang
- Universität Augsburg
- Universität Siegen
Time of origin
- 2018
Other Objects (12)
Towards testing self-organizing, adaptive systems
Applying deep learning for imitating adaptive agent behavior in statistical software testing
Specification and analysis of adaptive systems
MiniBrass: soft constraints for MiniZinc
Fault-aware modeling and specification for efficient formal safety analysis
Partizipative Entscheidungsfindung in der hausärztlichen Versorgung des Diabetes mellitus Typ 2 : das Bedürfnis nach Beteiligung und die tatsächliche Realisierung
Qualitative and quantitative analysis of safety-critical systems with S#
Korrektheit von Spezifikationen und generischen Moduln
Partial valuation structures for qualitative soft constraints
Formal methods for transport systems
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
An approach for isolated testing of self-organization algorithms
Towards testing self-organizing, adaptive systems
Applying deep learning for imitating adaptive agent behavior in statistical software testing
Specification and analysis of adaptive systems
MiniBrass: soft constraints for MiniZinc
Fault-aware modeling and specification for efficient formal safety analysis
Partizipative Entscheidungsfindung in der hausärztlichen Versorgung des Diabetes mellitus Typ 2 : das Bedürfnis nach Beteiligung und die tatsächliche Realisierung
Qualitative and quantitative analysis of safety-critical systems with S#
Korrektheit von Spezifikationen und generischen Moduln
Partial valuation structures for qualitative soft constraints
Formal methods for transport systems
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
An approach for isolated testing of self-organization algorithms
Towards testing self-organizing, adaptive systems
Applying deep learning for imitating adaptive agent behavior in statistical software testing
Specification and analysis of adaptive systems
MiniBrass: soft constraints for MiniZinc
Fault-aware modeling and specification for efficient formal safety analysis
Partizipative Entscheidungsfindung in der hausärztlichen Versorgung des Diabetes mellitus Typ 2 : das Bedürfnis nach Beteiligung und die tatsächliche Realisierung
Qualitative and quantitative analysis of safety-critical systems with S#
Korrektheit von Spezifikationen und generischen Moduln
Partial valuation structures for qualitative soft constraints
Formal methods for transport systems
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems