- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Test Image Generation using Segmental Symbolic Evaluation ; volume:2 ; number:3 ; day:1 ; month:8 ; year:2014 ; pages:135-147 ; date:8.2014
International journal of networked and distributed computing ; 2, Heft 3 (1.8.2014), 135-147, 8.2014
- Creator
-
Jameel, Tahir
Lin, Mengxiang
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.2991/ijndc.2014.2.3.3
- URN
-
urn:nbn:de:101:1-2024040911132191845051
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:51 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
- Jameel, Tahir
- Lin, Mengxiang
- SpringerLink (Online service)
Other Objects (12)
Automated test-case generation with symbolic execution
A Symbolic Java Virtual Machine for Test Case Generation
Symbolic model generation for graph properties
Edge symbolic structures of second generation
Symbolic model generation for graph properties
Independence Tests based on Symbolic Dynamics
SEDGE : symbolic example data generation for dataflow programs
Code Generation by Example Using Symbolic Machine Learning
On synthesizing test cases in symbolic real-time testing
GlassTT - a symbolic Java virtual machine using constraint solving techniques for glass box test case generation
Segmental Neurofibromatosis
Segmental neuromyotonia
Automated test-case generation with symbolic execution
A Symbolic Java Virtual Machine for Test Case Generation
Symbolic model generation for graph properties
Edge symbolic structures of second generation
Symbolic model generation for graph properties
Independence Tests based on Symbolic Dynamics
SEDGE : symbolic example data generation for dataflow programs
Code Generation by Example Using Symbolic Machine Learning
On synthesizing test cases in symbolic real-time testing
GlassTT - a symbolic Java virtual machine using constraint solving techniques for glass box test case generation
Segmental Neurofibromatosis
Segmental neuromyotonia
Automated test-case generation with symbolic execution
A Symbolic Java Virtual Machine for Test Case Generation
Symbolic model generation for graph properties
Edge symbolic structures of second generation
Symbolic model generation for graph properties
Independence Tests based on Symbolic Dynamics
SEDGE : symbolic example data generation for dataflow programs
Code Generation by Example Using Symbolic Machine Learning
On synthesizing test cases in symbolic real-time testing
GlassTT - a symbolic Java virtual machine using constraint solving techniques for glass box test case generation
Segmental Neurofibromatosis