Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Könyv része |
| Megjelent: |
Springer International Publishing
2015
|
| Sorozat: | Lecture Notes in Computer Science
9159 Proceedings of the International Conference on Computational Science and Its Applications — ICCSA 2015 9159 |
| doi: | 10.1007/978-3-319-21413-9_2 |
| mtmt: | 2972533 |
| Online Access: | http://publicatio.bibl.u-szeged.hu/8391 |