Herbert Klaeren

Publication Activity (10 Years)

Years Active: 1975-2016
Publications (10 Years): 3

Top Topics

Regression Testing

Web Applications

Top Venues

INTUITEST@ISSTA

Software Engineering (Workshops)

Publications

Matthias Hirzel, Jonathan Immanuel Brachthäuser, Herbert Klaeren
Prioritizing Regression Tests for Desktop and Web-Applications based on the Execution Frequency of Modified Code. PPPJ (2016)
Matthias Hirzel, Herbert Klaeren
Code coverage for any kind of test in any kind of transcompiled cross-platform applications. INTUITEST@ISSTA (2016)
Matthias Hirzel, Herbert Klaeren
Graph-Walk-based Selective Regression Testing of Web Applications Created with Google Web Toolkit. Software Engineering (Workshops) (2016)
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel
Htdp and dmda in the battlefield: a case study in first-year programming instruction. FDPE@ICFP (2008)
Herbert Klaeren, Elke Pulvermüller, Awais Rashid, Andreas Speck
Aspect Composition Applying the Design by Contract Principle. GCSE (2000)
Elke Pulvermüller, Herbert Klaeren, Andreas Speck
Aspects in Distributed Environments. GCSE (1999)
Michael Sperber, Peter Thiemann, Herbert Klaeren
Distributed partial evaluation. PASCO (1997)
Herbert Klaeren, Christiane Floyd, Friedrich Diestelmeier
Informatics and Society: A Curriculum for Distance Education. Foundations of Computer Science: Potential - Theory - Cognition (1997)
K. John Gough, Herbert Klaeren
Executable Assertions and Separate Compilation. JMLC (1997)
Herbert Klaeren
Probleme des Software-Engineering, Die Programmiersprache - Werkzeug des Softwareentwicklers. Inform. Spektrum 17 (1) (1994)
Herbert Klaeren
Software Engineering und formale Verfahren. SEUH (1992)
Herbert Klaeren
Embedding functionally described abstract data types into MODULA-2 programs. Microprocess. Microsystems 14 (3) (1990)
Herbert Klaeren, Peter Thiemann
A Clean Modula-2 Interface to Abstract Data Types. Struct. Program. 11 (2) (1990)
Herbert Klaeren, Klaus Indermark
Efficient Implementation of an Algebraic Specification Language. Algebraic Methods (1987)
Klaus Indermark, Herbert Klaeren
Efficient Implementation of Structural Recursion. FCT (1987)
Klaus Indermark, Herbert Klaeren
Compiling Fibonacci-Like Recursion. ACM SIGPLAN Notices 22 (6) (1987)
Herbert Klaeren
A Contructive Method for Abstract Algebraic Software Specification. Theor. Comput. Sci. 30 (1984)
Herbert Klaeren
Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications. ADT (1983)
Herbert Klaeren
Parameterized Software Specifications with Inductively Defined Operations. ADT (1982)
Herbert Klaeren, Martin Schulz
Computable Algebras, Word Problems and Canonical Term Algebras. Theoretical Computer Science (1981)
Herbert Klaeren
The SRDL Specification Experiment. Program Specification (1981)
Herbert Klaeren, Heiko Petzsch
The Development of an Interpreter by Means of Abstract Algebraic Software Specifications. ICFPC (1981)
Herbert Klaeren
Recursive Definitions of Operations in Universal Algebras. Program Specification (1981)
Herbert Klaeren
An abstract software specification technique based on structural recursion. ACM SIGPLAN Notices 15 (3) (1980)
Herbert Klaeren
A Simple Class of Algorithmic Specifications for Abstract Software Modules. MFCS (1980)
Herbert Klaeren
Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften. Automata Theory and Formal Languages (1975)