Abstract:Simulation models are an absolute necessity in the human and social sciences, which can only very exceptionally use experimental science methods to construct their knowledge. Models enable the simulation of social processes by replacing the complex interplay of individual and collective actions and reactions with simpler mathematical or computer mechanisms, making it easier to understand the relationships between the causes and the consequences of these interactions and to make predictions. As the formalism of mathematical models offering analytical solutions is often not suitable for representing social complexity, more and more agent-based computer models are being used. For a long time, the limited computing capacities of computers have hampered programming models that would take into account the interactions between large numbers of geographically located entities (persons or territories). In principle, these models should inform the conditions for the emergence of certain patterns defined at a macro-geographic level from the interactions occurring at a micro-geographic level, in systems whose behaviors are too complex to be understood directly by a human brain. Moreover, it is also necessary to analyze the dynamic behavior of these models with nonlinear feedback effects and verify that they produce plausible results at all stages of their simulation. This essential work of exploring the dynamics of modeled systems remained in its infancy until the late 2010s. Since then, algorithms combining more sophisticated methods, including genetic algorithms and the use of distributed intensive computing, have made it possible to make a significant qualitative leap forward in the exploration and validation of models. The result is an epistemological turn for the human and social sciences, as indicated by the latest applications realized with the help of the OpenMOLE platform presented here.

An Approximation-based Approach for the Random Exploration of Large Models

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.

Learning Probabilistic Models for Model Checking: an Evolutionary Approach and an Empirical Study

Improving Probability Estimation Through Active Probabilistic Model Learning.

An Experience-Based Approach for Test Execution Effort Estimation

Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution

Some approximations in Model Checking and Testing

Model-based Runtime Verification Framework

Randomized Approach to Software Model Generation

Inferring Approximated Models for Systems Engineering

Efficient dynamic model based testing using greedy test case selection

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-based Testing

Model-Free Active Exploration in Reinforcement Learning

Approximate Exploration through State Abstraction

Bayesian Statistical Model-Checking for Complex Stochastic Systems

Methods for Exploring Simulation Models

Model-based Approach for Software Test Adequacy Analysis

A Mathematical Modeling Framework for Software Reliability Testing

A Model-Based Testing System for Safety of Railway Interlocking

Deriving software statistical testing model from UML model

Research on UML-Based Statistical Testing Method