FoREnSiC– an automatic debugging environment for C programs
autor
Bloem, Roderick
Raik, Jaan
Repinski, Urmas
vastutusandmed
Roderick Bloem, ... Jaan Raik, Urmas Repinski, ... [et al.]
allikas
Eighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]
ilmumiskoht
Haifa
kirjastus/väljaandja
IBM Research Labs
ilmumisaasta
2013
leheküljed
p. 260-265 : ill
seeria-sari
Lecture notes in computer science ; 7857
konverentsi nimetus, aeg
8th Haifa Verification Conference (HVC 2012), November 6-8, 2012
konverentsi toimumispaik
Haifa, Israel
leitav
https://doi.org/10.1007/978-3-642-39611-3_24
märksõna
tarkvara
silumine (informaatika)
arvutiprogrammid
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-84880729810&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-39611-3_24%29&sessionSearchId=34385ac6d8e7d4f5a83143ddce81b33e
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
forensic science
open source software
program debugging
silicon
software testing
verification
ISSN
0302-9743
ISBN
978-364239610-6
märkused
Bibliogr.: 16 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise