Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/10007
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Markoski, Branko | en_US |
dc.contributor.author | Ivankovic, Zdravko | en_US |
dc.contributor.author | Radosav, Dragica | en_US |
dc.contributor.author | Milošević, Zoran | en_US |
dc.contributor.author | Obradović, Borislav | en_US |
dc.date.accessioned | 2020-03-03T14:36:36Z | - |
dc.date.available | 2020-03-03T14:36:36Z | - |
dc.date.issued | 2011 | - |
dc.identifier.issn | 1840-1503 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/10007 | - |
dc.description.abstract | In recent years, we have increasing activity in the field of program verification. The goal of these efforts is to create computer systems to determine whether the given computer program is correct, in terms of meeting the given specifications. Program testing is in principle a complicated process that must be carried out as systematically as possible, to provide adequate proof of the reliability and quality. Specification is a key thing in program testing. This work describes methods used for constructive testing of smaller programs. One of the ways to prove whether a given program is properly written is the symbolic execution of program. | en_US |
dc.relation.ispartof | Technics Technologies Education Management | en_US |
dc.subject | testing | en_US |
dc.subject | test | en_US |
dc.subject | specification | en_US |
dc.subject | validation | en_US |
dc.title | Use of symbolic program execution in program testing | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.scopus | 2-s2.0-80054049190 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/80054049190 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 840 | en_US |
dc.relation.firstpage | 836 | en_US |
dc.relation.issue | 3 | en_US |
dc.relation.volume | 6 | en_US |
item.grantfulltext | none | - |
item.fulltext | No Fulltext | - |
crisitem.author.dept | Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu, Katedra za informacione tehnologije | - |
crisitem.author.dept | Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu, Katedra za informacione tehnologije | - |
crisitem.author.dept | Fakultet sporta i fizičkog vaspitanja, Katedra za fizičko i zdravstveno vaspitanje | - |
crisitem.author.dept | Fakultet sporta i fizičkog vaspitanja, Katedra za osnovne sportske nauke | - |
crisitem.author.orcid | 0000-0001-7408-2545 | - |
crisitem.author.parentorg | Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu | - |
crisitem.author.parentorg | Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu | - |
crisitem.author.parentorg | Fakultet sporta i fizičkog vaspitanja | - |
crisitem.author.parentorg | Fakultet sporta i fizičkog vaspitanja | - |
Appears in Collections: | FSFV Publikacije/Publications |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.