• Publications
  • Influence
Using model checking to generate tests from requirements specifications
Recently, many formal methods, such as the SCR (Software Cost Reduction) requirements method, have been proposed for improving the quality of software specifications. Although improved specificationsExpand
  • 417
  • 30
  • Open Access
A semantic framework for metamodel-based languages
In the model-based development context, metamodel-based languages are increasingly being defined and adopted either for general purposes or for specific domains of interest. However, meta-languagesExpand
  • 60
  • 6
  • Open Access
A Scenario-Based Validation Language for ASMs
This paper presents the AValLa language, a domain-specific modelling language for scenario-based validation of ASM models, and its supporting tool, the AsmetaV validator. They have been developedExpand
  • 51
  • 5
  • Open Access
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the test case generationExpand
  • 30
  • 5
  • Open Access
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
In this paper, we present a concrete textual notation, called AsmetaL, and a general-purpose simulation engine, called AsmetaS, for Abstract State Machine (ASM) specifications. They have beenExpand
  • 69
  • 3
  • Open Access
A model‐driven process for engineering a toolset for a formal method
This paper presents a model‐driven software process suitable to develop a set of integrated tools around a formal method. This process exploits concepts and technologies of the Model‐drivenExpand
  • 60
  • 3
  • Open Access
Automated deductive requirements analysis of critical systems
We advocate the need for automated support to System Requirement Analysis in the development of time- and safety-critical computer-based systems. To this end we pursue an approach based on deductiveExpand
  • 57
  • 3
A Logic-Based Approach to Combinatorial Testing with Constraints
Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are constructed by combining tuplesExpand
  • 56
  • 3
  • Open Access
Generating Tests for Detecting Faults in Feature Models
We present a novel fault-based approach for testing feature models (FMs). We identify several fault classes that represent possible mistakes one can make during feature modeling. We introduce theExpand
  • 31
  • 3
  • Open Access
A Formal Logic Approach to Constrained Combinatorial Testing
Combinatorial testing is as an effective testing technique to reveal failures in a given system, based on input combinations coverage and combinatorial optimization. Combinatorial testing ofExpand
  • 33
  • 3
  • Open Access