23 citations · 32 across the 4 of their papers we have counts for
4 papers
PIE: A Domain-Specific Language for Interactive Software Development Pipelines
Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg +1
Context. Software development pipelines are used for automating essential parts of software engineering processes, such as build automation and continuous integration testing. In p…
Towards Zero-Overhead Disambiguation of Deep Priority Conflicts
Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser
**Context** Context-free grammars are widely used for language prototyping and implementation. They allow formalizing the syntax of domain-specific or general-purpose programming l…
Fast and Lean Immutable Multi-Maps on the JVM based on Heterogeneous Hash-Array Mapped Tries
Michael J. Steindorfer, Jurgen J. Vinju
An immutable multi-map is a many-to-many thread-friendly map data structure with expected fast insert and lookup operations. This data structure is used for applications processing…
Stateful Testing: Finding More Errors in Code and Contracts
Yi Wei, Hannes Roth, Carlo A. Furia +5
Automated random testing has shown to be an effective approach to finding faults but still faces a major unsolved issue: how to generate test inputs diverse enough to find many fau…