Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Henrik Schole

XCorpus – An Executable Corpus of Java Programs.

Journal of Object Technology
Software
2017English

Related publications

An Empirical Comparison of Java and C# Programs in Following Naming Conventions

International Journal of People-Oriented Programming
2016English

Dataflow Testing of Java Programs With DFC

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Translator of Java Programs to TADDs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Designing Robust Java Programs With Exceptions

ACM SIGSOFT Software Engineering Notes
2000English

Formal Techniques for Java-Like Programs

English

: Specification and Refinement of Safety-Critical Java Programs

Science of Computer Programming
Software
2019English

JavaMarker: A Marking System for Java Programs

International Journal of Computer Applications
2011English

Detecting Null Pointer Violations in Java Programs

English

A Reflection on “An Exploratory Study on Exception Handling Bugs in Java Programs”

2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy