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

No abstract is available for this paper.

• Publication year

  2013

• Venue

  Haifa Verification Conference

• Publication date

  2013-11-05

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-319-03077-7_8
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Software model checking for distributed systems with selector-based, non-blocking communication

  2013cited by this paper
• Model-Based Testing for Verification Back-Ends

  2013cited by this paper
• Whole Test Suite Generation

  2013cited by this paper
• I and J

  2012cited by this paper
• Test-Case Design by Feature Trees

  2012cited by this paper
• Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation

  2012cited by this paper
• Random Test Case Generation and Manual Unit Testing: Substitute or Complement in Retrofitting Tests for Legacy Code?

  2012cited by this paper
• Programming in Scala: A Comprehensive Step-by-Step Guide, 2nd Edition

  2010cited by this paper
• Separation of Transitions, Actions, and Exceptions in Model-Based Testing

  2009cited by this paper
• Efficient Model Checking of Networked Applications

  2008cited by this paper
• Introduction to Software Testing: Introduction

  2008cited by this paper
• Nginx: the high-performance web server and reverse proxy

  2008cited by this paper
• Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

  2008cited by this paper
• Randoop: feedback-directed random testing for Java

  2007cited by this paper
• Is abstraction the key to computing?

  2007cited by this paper
• Model-Based Software Testing and Analysis with C#

  2007cited by this paper
• DART: directed automated random testing

  2005cited by this paper
• CUTE: a concolic unit testing engine for C

  2005cited by this paper
• Unit Testing in Java: How Tests Drive the Code

  2003cited by this paper
• The SPIN Model Checker

  2003cited by this paper
• Test Driven Development: By Example

  2002cited by this paper
• Simplifying and Isolating Failure-Inducing Input

  2002cited by this paper
• An empirical study of the robustness of Windows NT applications using random testing

  2000cited by this paper
• QuickCheck: a lightweight tool for random testing of Haskell programs

  2000cited by this paper
• Model checking programs

  2000cited by this paper
• An open graph visualization system and its applications to software engineering

  2000cited by this paper
• Automatic Functional Test Generation Using The Extended Finite State Machine Model

  1993cited by this paper
• Extreme programming explained - embrace change

  1990cited by this paper
• Art of Software Testing

  1979cited by this paper

• On Test Sequence Generation using Multi-Objective Particle Swarm Optimization

  2024cites this paper
• Model-Guided Fuzzing of Distributed Systems

  2024cites this paper
• Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach

  2023cites this paper
• Evaluation of IoT Self-healing Mechanisms using Fault-Injection in Message Brokers

  2022cites this paper
• Comparative Analysis of Modeling and Software Testing Tools: A Survey

  2021cites this paper
• Model-based testing in practice: An experience report from the web applications domain

  2021cites this paper
• Enabledness-based Testing of Object Protocols

  2021cites this paper
• TestMC: Testing Model Counters using Differential and Metamorphic Testing

  2020cites this paper
• Application of Model-Based Testing to Dynamic Evaluation ofFunctional Mockup Units

  2020cites this paper
• Multi-objective Search for Model-based Testing

  2020influential citation
• Model-Based Testing for MQTT Applications

  2020cites this paper
• Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers

  2019influential citation
• A Specification-Based Approach to Model Checking Event-Driven Systems

  2019cites this paper
• Model-based Network Fault Injection for IoT Protocols

  2019influential citation
• Conformance Testing of Schedulers for DSL-based Model Checking

  2019cites this paper
• Visualization and Abstractions for Execution Paths in Model-Based Software Testing

  2019cites this paper
• Model-based Testing Simulating Unstable Networks and Devices for IoT Software IoT

  2018cites this paper
• Extended Covering Arrays for Sequence Coverage

  2018cites this paper
• A taxonomy for classifying runtime verification tools

  2018cites this paper
• Optimization of Test Oracles in Model-based Testing for Distributed Systems

  2018influential citation
• Target application ( model checked ) Peer Java PathFinder Application ( SUT ) Peer applications

  2017influential citation
• Model-Based API Testing of Apache ZooKeeper

  2017influential citation
• Model-based Testing of the Java Network API

  2017cites this paper
• A Model-Based Framework for Cloud API Testing

  2017influential citation
• Systematic mapping study on MBT: tools and models

  2017influential citation
• Generating Test Adapters for ModelJunit

  2017cites this paper
• Dynamic state machines for modelling railway control systems

  2017cites this paper
• Precondition Coverage in Software Testing

  2016influential citation
• Model-Based Testing of Stateful APIs with Modbat

  2015influential citation
• Graphical editing support for QuickCheck models

  2015cites this paper
• Model Checking of UDP-based Distributed Applications

  2015cites this paper
• Domain-Specific Languages with Scala

  2015cites this paper
• Software Model Checking of UDP-based Distributed Applications

  2014cites this paper
• Software model checking for distributed systems with selector-based, non-blocking communication

  2013cites this paper
• With an Open Mind: How to Write Good Models

  2013cites this paper
• Model-Based Testing for Verification Back-Ends

  2013influential citation
• Constructing test cases for n-wise testing from tree-based test models

  2013cites this paper
• Trace Collection and Data Coverage for Model Based Testing

  year unknowncites this paper