Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/1682| Title: | Regresiona verifikacija softvera koriscenjem sistema LAV | Other Titles: | Regression verification by system LAV | Authors: | Vujošević Janičić, Milena | Affiliations: | Informatics and Computer Science | Keywords: | software verification;Regression verification;symbolic execution;Bounded model checking;Automated evaluation of students' programs | Issue Date: | 2014 | Publisher: | Beograd : Fakultet organizacionih nauka | Journal: | InfoM | URI: | https://research.matf.bg.ac.rs/handle/123456789/1682 | ISSN: | 2683-3646 |
| Appears in Collections: | Research outputs |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.