Follow
Justinas Prelgauskas
Justinas Prelgauskas
Kaunas University of Technology
Verified email at ktu.lt
Title
Cited by
Cited by
Year
Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution
J Prelgauskas, E Bareisa
Elektronika ir Elektrotechnika 122 (6), 19-22, 2012
42012
Generating Test Data Using Symbolic Execution: Challenges with Floating Point Data Types
J Prelgauskas, E Bareisa
Information and Software Technologies: 18th International Conference, ICIST …, 2012
2012
Symbolic Execution engine for .NET platform
T Neverdauskas, J Prelgauskas
INFORMACINĖS TECHNOLOGIJOS, 97, 2011
2011
Vizitų registravimo sistemos projektavimas ir testavimas
J Prelgauskas
2008
A CONTRACT-BASED APPROACH TO IMPROVING AUTOMATIC TEST GENERATOR
E Bareisa, J Prelgauskas, T Neverdauskas
SYMBOLIC UNIT TESTING METHOD EVALUATION
J Prelgauskas, E Bareisa
The system can't perform the operation now. Try again later.
Articles 1–6