Konstantin Läufer
Konstantin Läufer
about
blog
contact
publications
research
teaching
Light
Dark
Automatic
Spy-Based Testing
Tests as Maintainable Assets via Auto-Generated Spies: A Case Study Involving the Scala Collections Library's Iterator Trait
In testing stateful abstractions, it is often necessary to record interactions, such as method invocations, and express assertions over …
Konstantin Läufer
,
John O'Sullivan
,
George K. Thiruvathukal
Cite
DOI
URL
Cite
×