Login / Signup
Justinas Prelgauskas
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Test Data
Specification Language
Symbolic Execution
Data Types
Top Venues
ICIST
</>
Publications
</>
Justinas Prelgauskas
,
Eduardas Bareisa
Generating Test Data Using Symbolic Execution: Challenges with Floating Point Data Types.
ICIST
(2012)