Marius Kamp und Michael Philippsen - Info zur Person

(1 - 11 von 13

)

ソフトウェア工学の基礎 Seite Google Books-Ergebnisseitegoogle.com

books.google.com

[20] Georg Dotzler, Marius Kamp, Patrick Kreutzer, and Michael Philippsen. More accurate recommendations for method-level changes. In Proc. of ESEC/FSE

Verification, Model Checking, and Abstract Interpretation: ...

books.google.co.uk

Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible Marius Kamp( B ) and Michael Philippsen Programming Systems Group, ...

More Accurate Recommendations for Method-Level ChangesarXiv

arxiv.org

von G Dotzler · · Zitiert von: 18 — Georg Dotzler, Marius Kamp, Patrick Kreutzer, Michael Philippsen More Accurate Recommendations for Method-Level Changes. In Proceed ... von G Dotzler · · Zitiert von: 18 — Georg Dotzler, Marius Kamp, Patrick Kreutzer, Michael Philippsen More Accurate Recommendations for Method-Level Changes. In Proceed ...

AuDoscore: Automatic Grading of Java or Scala HomeworkCEUR-WS

ceur-ws.org

von N Oster — Norbert Oster,1 Marius Kamp,1 and Michael Philippsen1. Abstract: Fully automated test-based grading is crucial to cope with large numbers of student. › ABP2017_paper_01

Michæl Philippsen - Publications - ACM Digital Library

dl.acm.org

Results of 64 — Marius Kamp. Programming Systems Group, Friedrich-Alexander University Erlangen-Nürnberg (FAU), Erlangen, Germany. ,; Michael Philippsen. › profile › public...

APIMigrator: an API-usage migration tool for Android apps

dl.acm.org

— Georg Dotzler, Marius Kamp, Patrick Kreutzer, and Michael Philippsen · F-Droid F-Droid. · Mattia Fazzini, Qi Xin, and Alessandro Orso ... › doi

ESEC/FSE Accepted Papers

esec-fse17.uni-paderborn.de

Georg Dotzler, Marius Kamp, Patrick Kreutzer, Michael Philippsen : More Accurate Recommendations for Method-Level Changes

Michael Philippsen - DBLP

dblp.org

Marius Kamp, Michael Philippsen: Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible. › pid

ESEC/FSE Program

esec-fse17.uni-paderborn.de

Georg Dotzler, Marius Kamp, Patrick Kreutzer, and Michael Philippsen. (Friedrich-Alexander University Erlangen-Nürnberg, Germany).

Verification, Model Checking, and Abstract Interpretation

researchr.org

[doi] · Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as InfeasibleMarius Kamp, Michael Philippsen. › vmcai-2021

Approximate Bit Dependency Analysis to Identify Program ...POPL 2021

popl21.sigplan.org

Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible. Who. Marius Kamp, Michael Philippsen ... Marius Kamp Friedrich-Alexander ... Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible. Who. Marius Kamp, Michael Philippsen ... Marius Kamp Friedrich-Alexander ...

Alle Infos zum Namen "Marius Kamp"

Verwandte Suchanfragen zu Marius Kamp

Viola Duppel
Stephan Barcikowski
Akram Kadoura

Claudius Zelenka
Ulrich Schürmann
Anna Tymoczko

Lorenz Kienle
Norbert Oster
Marc Naujokat

Person "Kamp" (6)
Vorname "Marius" (10384)
Name "Kamp" (1604)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Marius Kamp und Michael Philippsen Person-Info