UB Paderborn / Katalog / Suche / in CDI

C-strider: type-aware heap traversal for C

Software, practice & experience, 2016-06, Vol.46 (6), p.767-788

2016

Volltextzugriff (PDF)

Template-based program verification and program synthesis

International journal on software tools for technology transfer, 2013-10, Vol.15 (5-6), p.497-518

2013

Volltextzugriff (PDF)

LOCKSMITH: Practical Static Race Detection for C

ACM transactions on programming languages and systems, 2011, Vol.33 (1), p.1-55

2011

Volltextzugriff (PDF)

An empirical assessment of machine learning approaches for triaging reports of static analysis tools

Empirical software engineering : an international journal, 2023-03, Vol.28 (2), p.28, Article 28

2023

Volltextzugriff (PDF)

iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees

IEEE transactions on software engineering, 2014-03, Vol.40 (3), p.251-265

2014

Volltextzugriff (PDF)

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)

An empirical study of adaptive concretization for parallel program synthesis

Formal methods in system design, 2017-03, Vol.50 (1), p.75-95

2017

Volltextzugriff (PDF)

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C

ACM transactions on programming languages and systems, 2014-10, Vol.36 (4), p.1-38, Article 13

2014

Volltextzugriff (PDF)

Specifying and Verifying the Correctness of Dynamic Software Updates

Verified Software: Theories, Tools, Experiments, p.278-293

Volltextzugriff (PDF)

Checking Type Safety of Foreign Function Calls

ACM transactions on programming languages and systems, 2008-07, Vol.30 (4), p.1-63

2008

Volltextzugriff (PDF)

A Toolkit for Automated Testing of Dafny

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

2023

Volltextzugriff (PDF)

Flow-insensitive type qualifiers

ACM transactions on programming languages and systems, 2006-11, Vol.28 (6), p.1035-1087

2006

Volltextzugriff (PDF)

Rule-based static analysis of network protocol implementations

Information and computation, 2008-02, Vol.206 (2), p.130-157

2008

Volltextzugriff (PDF)

A comparison of bug finding tools for Java

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

2004

Volltextzugriff (PDF)

Serializing C intermediate representations for efficient and portable parsing

Software, practice & experience, 2010-03, Vol.40 (3), p.225-238

2010

Volltextzugriff (PDF)

Polymorphic Type Inference for the JNI

Lecture notes in computer science, 2006, p.309-324

2006

Volltextzugriff (PDF)

From program verification to program synthesis

SIGPLAN notices, 2010-01, Vol.45 (1), p.313-326

2010

Volltextzugriff (PDF)

Existential Label Flow Inference Via CFL Reachability

Lecture notes in computer science, 2006, p.88-106

2006

Volltextzugriff (PDF)

SimTyper: sound type inference for Ruby using type equality prediction

Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-27

2021

Volltextzugriff (PDF)

Modular Information Hiding and Type-Safe Linking for C

IEEE transactions on software engineering, 2008-05, Vol.34 (3), p.357-376

2008

Volltextzugriff (PDF)

Absynthe: Abstract Interpretation-Guided Synthesis

Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1584-1607, Article 171

2023

Volltextzugriff (PDF)

Parallel Detection of Violations of Color Constancy

Proceedings of the National Academy of Sciences - PNAS, 2001-07, Vol.98 (14), p.8151-8156

2001

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)

Menü

Weitere Dienste

Einstellungen

C-strider: type-aware heap traversal for C

Template-based program verification and program synthesis

LOCKSMITH: Practical Static Race Detection for C

An empirical assessment of machine learning approaches for triaging reports of static analysis tools

iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees

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

An empirical study of adaptive concretization for parallel program synthesis

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C

Specifying and Verifying the Correctness of Dynamic Software Updates

Checking Type Safety of Foreign Function Calls

A Toolkit for Automated Testing of Dafny

Flow-insensitive type qualifiers

Rule-based static analysis of network protocol implementations

A comparison of bug finding tools for Java

Serializing C intermediate representations for efficient and portable parsing

Polymorphic Type Inference for the JNI

From program verification to program synthesis

Existential Label Flow Inference Via CFL Reachability

SimTyper: sound type inference for Ruby using type equality prediction

Modular Information Hiding and Type-Safe Linking for C

Absynthe: Abstract Interpretation-Guided Synthesis

Parallel Detection of Violations of Color Constancy

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

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

Understanding source code evolution using abstract syntax tree matching

Aktive Filter

Suchergebnisse filtern