Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Rudolf Ramler

Model-Based Testing of Stateful APIs With Modbat

2015English

Related publications

Stress-Testing Remote Model Querying APIs for Relational and Graph-Based Stores

Software and Systems Modeling
ModelingSoftwareSimulation
2017English

A Semi-Empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs

2006 Sixth International Conference on Quality Software (QSIC'06)
2006English

Model-Based Testing of Probabilistic Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2018English

Model-Based Testing for Concurrent Systems With Labelled Event Structures

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
2014English

Stateful Three-Input Logic With Memristive Switches

Scientific Reports
Multidisciplinary
2019English

Exhaustive Model-Based Equivalence Class Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Fault-Based Testing of Database Application Programs With Conceptual Data Model

English

Stateful Protocol Composition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Model-Based Contract Testing of Graphical User Interfaces

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy