Search filters

List of works by Massimo Narizzano

Automatic Test Generation for Coverage Analysis Using CBMC

scientific article published in 2009

Automatic Test Generation for Coverage Analysis of ERTMS Software

scientific article published in April 2009

Automatic Test-Pattern Generation for Grey-Box Programs

scientific article published in May 2015

Automatic segmentation of deep intracerebral electrodes in computed tomography scans.

scientific article published on 25 March 2015

Backjumping for Quantified Boolean Logic satisfiability

scientific article published in April 2003

Comparison of knowledge sharing strategies in a parallel QBF solver

scientific article published in June 2009

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals

scientific article published in 2018

Learning for Verification in Embedded Systems: A Case Study

scientific article published in 2016

Learning middleware models for verification of distributed control programs

scientific article published in June 2017

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing

scientific article published in 2009

Quantifier Structure in Search-Based Procedures for QBFs

scientific article published in March 2007

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows

scientific article published on 24 December 2016

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting

scientific article published on 29 April 2010

sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning

scientific article published in 2010

Paulina is supported by:

About Paulina

Help