( en | de | ru )

 

Disambiguation of "Denaro, Giovanni"

Author of the publication

copydeleteadd this publication to your clipboard
PINCETTE - Validating Changes and Upgrades in Networked Software.

, , , , , , , , , , , and . CSMR, page 461-464. IEEE Computer Society, (2013)

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.

Giovanni Natale

Giovanni Bacigalupo

Giovanni Lamura

Giovanni Falcone

Giovanni Caselotti

 

Other publications of authors with the same name

Ensuring interoperable service-oriented systems through engineered self-healing., , and . ESEC/SIGSOFT FSE, page 253-262. ACM, (2009)All-values symbolic execution.. AST, page 138-144. IEEE Computer Society, (2012)On introducing automatic test case generation in practice: A success story and lessons learned., , , and . J. Syst. Softw., (2021)An empirical evaluation of fault-proneness models, and . Proceedings of the Int'l Conf. on Software Engineering, page 241-251. ACM, (2002)Automated Software Testing and Analysis: Techniques, Practices and Tools., , and . HICSS, page 260. IEEE Computer Society, (2007)Quantifying the complexity of dataflow testing., , and . AST, page 132-138. IEEE Computer Society, (2013)Parallel ReCal Supplementary material.. (November 2019)Estimating software fault-proneness for tuning testing activities.. ICSE, page 704-706. ACM, (2000)Petri Nets and Software Engineering., and . Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 439-466. Springer, (2003)DaTeC: Contextual data flow testing of java classes., , and . ICSE Companion, page 421-422. IEEE, (2009)