The optimization of a symbolic execution engine for detecting runtime errors
In a software system, most of the runtime failures may come to light only during test execution, and this may have a very high cost. To help address this problem, a symbolic execution engine called RTEHunter, which has been developed at the Department of Software Engineering at the University of Sze...
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2017
|
| Sorozat: | Acta cybernetica
23 No. 2 |
| Kulcsszavak: | Informatika, Számítástechnika, Kibernetika, Programozás, Algoritmus |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.23.2.2017.9 |
| Online Access: | http://acta.bibl.u-szeged.hu/50089 |