Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors
| Title | Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors |
| Publication Type | Book Chapter |
| Year of Publication | 2015 |
| Authors | Kádár I, Hegedüs P, Ferenc R |
| Book Title | Proceedings of the International Conference on Computational Science and Its Applications – ICCSA 2015 |
| Series Title | Lecture Notes in Computer Science |
| Volume | 9159 |
| Pagination | 20-35 |
| Publisher | Springer International Publishing |
| ISBN Number | 978-3-319-21412-2 |
| URL | http://dx.doi.org/10.1007/978-3-319-21413-9_2 |