Modbat: A Model-Based API Tester for Event-Driven Systems

Abstract

Model-based testing derives test executions from an abstract model that describes the system behavior. However, existing approaches are not tailored to event-driven or input/output-driven systems. In particular, there is a need to support non-blocking I/O operations, or operations throwing exceptions when communication is disrupted. Our new tool “Modbat” is… (More)
DOI: 10.1007/978-3-319-03077-7_8

Topics

13 Figures and Tables

Statistics

0204060201520162017
Citations per Year

Citation Velocity: 17

Averaging 17 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics