Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering ; day:16 ; month:8 ; year:2021 ; pages:1-31
Software and systems modeling ; (16.8.2021), 1-31
- Creator
-
Burdusel, Alexandru
Zschaler, Steffen
John, Stefan
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-021-00914-w
- URN
-
urn:nbn:de:101:1-2021110420465309089916
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:32 AM CEST
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
- Burdusel, Alexandru
- Zschaler, Steffen
- John, Stefan
- SpringerLink (Online service)
Other Objects (12)
New Ramsey Multiplicity Bounds and Search Heuristics
Advanced search techniques for privacy-preserving planning
Search for short lived particles in high multiplicity environment
Automatic boomerang attacks search on Rijndael
Learning how to count: a high multiplicity search for the LHC
Genetic Programming $$\varvec+}$$ + Proof Search $$\varvec=}$$ = Automatic Improvement
Automatic search of cubes for attacking stream ciphers
Hilbert's programme and the search for automatic proof procedures
Toward granular search-based automatic unit test case generation
Search-based Automatic Image Annotation Using Geotagged Community Photos
Search computing : broadening web search
SEARCH
New Ramsey Multiplicity Bounds and Search Heuristics
Advanced search techniques for privacy-preserving planning
Search for short lived particles in high multiplicity environment
Automatic boomerang attacks search on Rijndael
Learning how to count: a high multiplicity search for the LHC
Genetic Programming $$\varvec+}$$ + Proof Search $$\varvec=}$$ = Automatic Improvement
Automatic search of cubes for attacking stream ciphers
Hilbert's programme and the search for automatic proof procedures
Toward granular search-based automatic unit test case generation
Search-based Automatic Image Annotation Using Geotagged Community Photos
Search computing : broadening web search
SEARCH
New Ramsey Multiplicity Bounds and Search Heuristics
Advanced search techniques for privacy-preserving planning
Search for short lived particles in high multiplicity environment
Automatic boomerang attacks search on Rijndael
Learning how to count: a high multiplicity search for the LHC
Genetic Programming $$\varvec+}$$ + Proof Search $$\varvec=}$$ = Automatic Improvement
Automatic search of cubes for attacking stream ciphers
Hilbert's programme and the search for automatic proof procedures
Toward granular search-based automatic unit test case generation
Search-based Automatic Image Annotation Using Geotagged Community Photos
Search computing : broadening web search