UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

SATune: a study-driven auto-tuning approach for configurable software verification tools

2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.330-342

2021

Volltextzugriff (PDF)

A Toolkit for Automated Testing of Dafny

NASA Formal Methods, 2023, Vol.13903, p.397-413

2023

Volltextzugriff (PDF)

A comparison of bug finding tools for Java

15th International Symposium on Software Reliability Engineering, 2004, p.245-256

2004

Volltextzugriff (PDF)

A Qualitative Study of REST API Design and Specification Practices

2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2023, p.148-156

2023

Volltextzugriff (PDF)

Dr. Android and Mr. Hide: fine-grained permissions in android applications

Proceedings of the second ACM workshop on Security and privacy in smartphones and mobile devices, 2012, p.3-14

2012

Volltextzugriff (PDF)

An Autoethnography: Culturally Responsive School Leadership Through the Conscientized Critical Lens of an African American Male School Administrator

Foster, Jeffrey S

2023

Volltextzugriff (PDF)

Understanding source code evolution using abstract syntax tree matching

International Conference on Software Engineering: Proceedings of the 2005 international workshop on Mining software repositories : St. Louis, Missouri; 17-17 May 2005, 2005, p.1-5

2005

Volltextzugriff (PDF)

Symbolic security analysis of ruby-on-rails web applications

Proceedings of the 17th ACM conference on Computer and communications security, 2010, p.585-594

2010

Volltextzugriff (PDF)

Path-based inductive synthesis for program inversion

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011, p.492-503

2011

Volltextzugriff (PDF)

Lawmaking and Legislators in Pennsylvania, Volume 2, 1710-1756: A Biographical Dictionary

2017

Volltextzugriff (PDF)

An Observational Investigation of Reverse Engineers' Process and Mental Models

Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019, p.1-6

2019

Volltextzugriff (PDF)

Type qualifier inference for java

Conference on Object Oriented Programming Systems Languages and Applications: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications; 21-25 Oct. 2007, 2007, p.321-336

2007

Volltextzugriff (PDF)

Contextual effects for version-consistent dynamic software updating and safe concurrent programming

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2008, p.37-49

2008

Volltextzugriff (PDF)

Inferring aliasing and encapsulation properties for java

2007

Volltextzugriff (PDF)

From program verification to program synthesis

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2010, p.313-326

2010

Volltextzugriff (PDF)

Adapton: composable, demand-driven incremental computation

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014, p.156-166

2014

Volltextzugriff (PDF)

Modular information hiding and type-safe linking for C

Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation, 2007, p.3-14

2007

Volltextzugriff (PDF)

RbSyn: type- and effect-guided program synthesis

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021, p.344-358

2021

Volltextzugriff (PDF)

Improving software quality with static analysis

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 2007, p.83-84

2007

Volltextzugriff (PDF)

LOCKSMITH: context-sensitive correlation analysis for race detection

Conference on Programming Language Design and Implementation: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation : Ottawa, Ontario, Canada; 11-14 June 2006, 2006, p.320-331

2006

Volltextzugriff (PDF)

An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), 2019, p.288-299

2019

Volltextzugriff (PDF)

Sound, heuristic type annotation inference for Ruby

Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020, p.112-125

2020

Volltextzugriff (PDF)

Checking type safety of foreign function calls

Conference on Programming Language Design and Implementation: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation; 12-15 June 2005, 2005, p.62-72

2005

Volltextzugriff (PDF)