ResearcherID Thomson Reuters  

Gargantini, Angelo
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: E-6060-2012
URL: http://www.researcherid.com/rid/E-6060-2012
ORCID: http://orcid.org/0000-0002-4035-0131
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  5  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Guest editor's introduction to the special section on tests and proofs
 Author(s): Fraser, Gordon; Gargantini, Angelo
 Source: Software Quality Journal Volume: 21 Issue: 1 Pages: 99-100 Published: 2013
 Times Cited: 0
 DOI: 10.1007/s11219-012-9195-6
added
07-Mar-13
2.  Title: T-wise combinatorial interaction test suites construction based on coverage inheritance
 Author(s): Calvagna, Andrea; Gargantini, Angelo
 Source: Software Testing Verification & Reliability Volume: 22 Issue: 7 Pages: 507-526 Published: 2012
 Times Cited: 15
 DOI: 10.1002/stvr.466
added
17-Nov-12
3.  Title: A model-driven process for engineering a toolset for a formal method
 Author(s): Arcaini, P.; Gargantini, A.; Riccobene, E.; et al.
 Source: Software-Practice & Experience Volume: 41 Issue: 2 Pages: 155-166 Published: 2011
 DOI: 10.1002/spe.1019
added
07-Sep-12
4.  Title: A model-driven process for engineering a toolset for a formal method
 Author(s): Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia; et al.
 Source: Software-Practice & Experience Volume: 41 Issue: 2 Pages: 155-166 Published: 2011
 Times Cited: 20
 DOI: 10.1002/spe.1019
added
17-Nov-12
5.  Title: Generating minimal fault detecting test suites for general Boolean specifications
 Author(s): Gargantini, A.; Fraser, G.
 Source: Information and Software Technology Volume: 53 Issue: 11 Pages: 1263-1273 Published: 2011
 DOI: 10.1016/j.infsof.2011.06.008
added
07-Sep-12
6.  Title: Generating minimal fault detecting test suites for general Boolean specifications
 Author(s): Gargantini, Angelo; Fraser, Gordon
 Source: Information and Software Technology Volume: 53 Issue: 11 Pages: 1263-1273 Published: 2011
 Times Cited: 12
 DOI: 10.1016/j.infsof.2011.06.008
added
17-Nov-12
7.  Title: USING 3D VISION FOR THE DIAGNOSIS AND TREATMENT OF AMBLYOPIA IN YOUNG CHILDREN
 Author(s): Gargantini, Angelo
 Source: Healthinf 2011: Proceedings of the International Conference on Health Informatics Pages: 472-476 Published: 2011
 Times Cited: 1
added
17-Nov-12
8.  Title: A Formal Logic Approach to Constrained Combinatorial Testing
 Author(s): Calvagna, A.; Gargantini, A.
 Source: Journal of Automated Reasoning Volume: 45 Issue: 4 Pages: 331-358 Published: 2010
 DOI: 10.1007/s10817-010-9171-4
added
07-Sep-12
9.  Title: A Formal Logic Approach to Constrained Combinatorial Testing
 Author(s): Calvagna, Andrea; Gargantini, Angelo
 Source: Journal of Automated Reasoning Volume: 45 Issue: 4 Pages: 331-358 Published: 2010
 Times Cited: 7
 DOI: 10.1007/s10817-010-9171-4
added
17-Nov-12
10.  Title: AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
 Author(s): Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia
 Source: Abstract State Machines, Alloy, B and Z, Proceedings Volume: 5977 Pages: 61-74 Published: 2010
 Times Cited: 22
added
17-Nov-12
publication(s)  
First Page Previous Page Page   of  5  Go Next Page Last Page
  Sort by:    Results per page: