8 citations · 14 across the 3 of their papers we have counts for
3 papers
Adding Partial Functions to Constraint Logic Programming with Sets
Maximiliano Cristia, Gianfranco Rossi, Claudia Frydman
Partial functions are common abstractions in formal specification notations such as Z, B and Alloy. Conversely, executable programming languages usually provide little or no suppor…
A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically
Diego A. Hollmann, Maximiliano Cristiá, Claudia Frydman
The most common method to validate a DEVS model against the requirements is to simulate it several times under different conditions, with some simulation tool. The behavior of the…
Applying SMT Solvers to the Test Template Framework
Maximiliano Cristiá, Claudia Frydman
The Test Template Framework (TTF) is a model-based testing method for the Z notation. In the TTF, test cases are generated from test specifications, which are predicates written in…