Search Results - Indonesia Onesearch

Data for: Finding key classes in object-oriented software systems by techniques based on static analysis

Dataset

oleh Sora, Ioana
Terbitan: Mendeley, 2019

Institusi: Universitas Islam Indragiri

Gedung: Teknologi Pangan UNISI

Lokasi	Repository	IOS Number
INDRAGIRI HILIR	Artikel mulono	IOS7969.0.17632-7h57xwtrcb.1

Available online:

Get online

'Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust' Artifact

info software Journal

oleh Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David August, Amit Levy
Terbitan: 2021

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.5484436

Available online:

Get online

Reproduction Package for ICSE 2018 Article `Reducer-Based Construction of Conditional Verifiers'

info software Journal

oleh Beyer, Dirk, Jakobs, Marie-Christine, Lemberger, Thomas, Wehrheim, Heike
Terbitan: 2018

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.1172228

Available online:

Get online

Verification Witnesses from Verification Tools (SV-COMP 2019)

info dataset Journal

oleh Beyer, Dirk
Terbitan: 2019

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.2559175

Available online:

Get online

Verification Witnesses from Verification Tools (SV-COMP 2020)

info dataset Journal

oleh Beyer, Dirk
Terbitan: 2020

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.3630188

Available online:

Get online

Results of the 9th International Competition on Software Verification (SV-COMP 2020)

info dataset Journal

oleh Beyer, Dirk
Terbitan: 2020

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.3630205

Available online:

Get online

Results of the 3rd Intl. Competition on Software Testing (Test-Comp 2021)

info dataset Journal

oleh Beyer, Dirk
Terbitan: 2021

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.4459470

Available online:

Get online

'Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust' Artifact

info software Journal

oleh Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David August, Amit Levy
Terbitan: 2021

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.5484277

Available online:

Get online

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'

info software Journal

oleh Beyer, Dirk, Friedberger, Karlheinz
Terbitan: 2020

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.3921790

Available online:

Get online

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'

info software Journal

oleh Beyer, Dirk, Friedberger, Karlheinz
Terbitan: 2020

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.3698236

Available online:

Get online

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'

info software Journal

oleh Beyer, Dirk, Friedberger, Karlheinz
Terbitan: 2020

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.3878426

Available online:

Get online

Reproduction Package for ESEC/FSE 2020 Article `Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'

info software Journal

oleh Beyer, Dirk, Friedberger, Karlheinz
Terbitan: 2020

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.4024268

Available online:

Get online

'Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust' Artifact

info software Journal

oleh Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David August, Amit Levy
Terbitan: 2021

Institusi: ZAIN Publications

Gedung: Cognizance Journal of Multidisciplinary Studies

Lokasi	Repository	IOS Number
Stockholm	Cognizance Journal of Multidisciplinary Studies	IOS16997.5094666

Available online:

Get online

Ultimate Taipan SV-COMP 2020 Competition Contribution

info software

oleh Dietsch, Daniel, Heizmann, Matthias, Nutz, Alexander, Schätzle, Claus, Schüssele, Frank
Terbitan: 2019

Lokasi	Repository	IOS Number
KOTA PALEMBANG	Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized	IOS17403.3678625

Available online:

Get online

Testing and Validating End User Programmed Calculated Fields

Proceeding eJournal

oleh Victor Braberman, Diego Garbervetsky, Javier Godoy, Sebastian Uchitel, Guido de Caso, Iganio Perez, Satiago Perez
Terbitan: 2018

Institusi: Universitas PGRI Palembang

Gedung: Perpustakaan Universitas PGRI Palembang

Lokasi	Repository	IOS Number
KOTA PALEMBANG	Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized	IOS17403.3260307

Available online:

Get online

Results of the 2nd International Competition on Software Testing (Test-Comp 2020)

info dataset eJournal

oleh Beyer, Dirk
Terbitan: 2020

Institusi: Universitas PGRI Palembang

Gedung: Perpustakaan Universitas PGRI Palembang

Lokasi	Repository	IOS Number
KOTA PALEMBANG	Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized	IOS17403.3678264

Available online:

Get online

Persempit Pencarian