research
∙
08/30/2023
Provengo: A Tool Suite for Scenario Driven Model-Based Testing
We present Provengo, a comprehensive suite of tools designed to facilita...
share
research
∙
07/14/2022
Efficient One Sided Kolmogorov Approximation
We present an efficient algorithm that, given a discrete random variable...
research
∙
04/30/2022
What Petri Net Obliges Us to Say
We identify and demonstrate a weakness of Petri Nets (PN) in specifying ...
research
∙
01/03/2022
Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria
This paper tackles three main issues regarding test design: (1) it propo...
research
∙
04/07/2021
A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence
We propose a novel construction for the well-known prefer-max De Bruijn ...
research
∙
09/01/2019
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers
Scenario-Based Programming is a methodology for modeling and constructin...
research
∙
06/10/2019
On Embedding De Bruijn Sequences by Increasing the Alphabet Size
The generalization of De Bruijn sequences to infinite sequences with res...
research
∙
06/03/2018
BPjs --- a framework for modeling reactive systems using a scripting language and BP
We describe some progress towards a new common framework for model drive...
research
∙
05/19/2018
An optimal approximation of discrete random variables with respect to the Kolmogorov distance
We present an algorithm that takes a discrete random variable X and a nu...
research
∙
05/07/2018
A Combinatorial Game and an Efficiently Computable Shift Rule for the Prefer Max De Bruijn Sequence
We present a two-player combinatorial game over a k-ary shift-register a...
research
∙
03/04/2015