( en | de | ru )

 

Disambiguation of "Gargantini, Angelo"

Author of the publication

copydeleteadd this publication to your clipboard
Using Model Checking to Generate Tests from Requirements Specifications.

, and . ESEC / SIGSOFT FSE, volume 1687 of Lecture Notes in Computer Science, page 146-162. Springer, (1999)

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.

Angelo Jotzoff

Angelo Jotzoff

Angelo Schmandra

Angelo Brayner

Angelo Auricchio

 

Other publications of authors with the same name

A Concrete Syntax Derived From the Abstract State Machine Metamodel., , , , and . Abstract State Machines, page 345-368. (2005)Closing the gap between the specification and the implementation: the ASMETA way., , and . Models: Concepts, Theory, Logic, Reasoning and Semantics, page 242-263. College Publications, (2018)Using Spin to Generate Testsfrom ASM Specifications., , and . Abstract State Machines, volume 2589 of Lecture Notes in Computer Science, page 263-277. Springer, (2003)An Abstraction Technique for Testing Decomposable Systems by Model Checking., , and . TAP, volume 8570 of Lecture Notes in Computer Science, page 36-52. Springer, (2014)An Environment for Domestic Supervised Amblyopia Treatment., , and . HCI (20), volume 8529 of Lecture Notes in Computer Science, page 340-350. Springer, (2014)A Mobile Application for the Stereoacuity Test., , and . HCI (17), volume 9185 of Lecture Notes in Computer Science, page 315-326. Springer, (2015)TRIO Specification of a Steam Boiler Controller., and . Formal Methods for Industrial Applications, volume 1165 of Lecture Notes in Computer Science, page 218-232. Springer, (1995)Evolutionary Testing of PHP Web Applications with WETT., , , and . SSBSE, volume 7515 of Lecture Notes in Computer Science, page 285-291. Springer, (2012)Guest editor's introduction to the special section on tests and proofs., and . Softw. Qual. J., 21 (1): 99-100 (2013)RATE: A model-based testing approach that combines model refinement and test execution., , , , and . Softw. Test. Verification Reliab., (March 2023)