FoREnSiC– an automatic debugging environment for C programs
author
Bloem, Roderick
Raik, Jaan
Repinski, Urmas
statement of authorship
Roderick Bloem, ... Jaan Raik, Urmas Repinski, ... [et al.]
source
Eighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]
location of publication
Haifa
publisher
IBM Research Labs
year of publication
2013
pages
p. 260-265 : ill
series
Lecture notes in computer science ; 7857
conference name, date
8th Haifa Verification Conference (HVC 2012), November 6-8, 2012
conference location
Haifa, Israel
url
https://doi.org/10.1007/978-3-642-39611-3_24
subject term
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
quartile
Q2
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
keyword
forensic science
open source software
program debugging
silicon
software testing
verification
ISSN
0302-9743
ISBN
978-364239610-6
notes
Bibliogr.: 16 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
arvutisüsteemide instituut
language
inglise