Generating Test Data Using Symbolic Execution: Challenges with Floating Point Data Types.
| Autor: | Prelgauskas, Justinas, Bareisa, Eduardas |
|---|---|
| Zdroj: | Information & Software Technologies; 2012, p267-274, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Prelgauskas, Justinas, Bareisa, Eduardas |
|---|---|
| Zdroj: | Information & Software Technologies; 2012, p267-274, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|