( en | de | ru )

 

Disambiguation of "Narizzano, Massimo"

Author of the publication

copydeleteadd this publication to your clipboard
Improving the Automatic Test Generation process for Coverage Analysis using CBMC.

, , , , , and . RCRA@AI*IA, volume 589 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Massimo Malagó

Massimo Viola

Massimo Tallarida

Massimo Moser

Massimo Epis

 

Other publications of authors with the same name

Improving the Automatic Test Generation process for Coverage Analysis using CBMC., , , , , and . RCRA@AI*IA, volume 589 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)An Empirical Perspective on Ten Years of QBF Solving., , , , and . RCRA@AI*IA, volume 1451 of CEUR Workshop Proceedings, page 62-75. CEUR-WS.org, (2015)Reasoning with Quantified Boolean Formulas., , and . Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2009)Watched Data Structures for QBF Solvers., , , , and . SAT, volume 2919 of Lecture Notes in Computer Science, page 25-36. Springer, (2003)Ranking and Reputation Systems in the QBF Competition., , and . AI*IA, volume 4733 of Lecture Notes in Computer Science, page 97-108. Springer, (2007)QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability., , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 364-369. Springer, (2001)Learning for Quantified Boolean Logic Satisfiability., , and . AAAI/IAAI, page 649-654. AAAI Press / The MIT Press, (2002)Automated Requirements-Based Testing of Black-Box Reactive Systems., , , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 153-169. Springer, (2020)The QBFEVAL Web Portal., , and . JELIA, volume 4160 of Lecture Notes in Computer Science, page 494-497. Springer, (2006)Automatic Test Generation for Coverage Analysis Using CBMC., , , , and . EUROCAST, volume 5717 of Lecture Notes in Computer Science, page 287-294. Springer, (2009)