Alan Hartman

Cited by

	All	Since 2019
Citations	3771	768
h-index	34	14
i10-index	65	20

220

110

165

19861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 18 7 6 15 26 48 25 30 24 20 19 18 33 26 37 38 52 91 126 145 151 179 206 215 206 170 165 191 202 141 131 151 106 87 155 137 138 143

Public access

View all

5 articles

1 article

available

not available

Based on funding mandates

Co-authors

Andrei KirshinFacebookVerified email at fb.com
Tsvi KuflikProfessor of Information Systems, The University of HaifaVerified email at is.haifa.ac.il
Veronika BoginaResearch ScientistVerified email at tauex.tau.ac.il
Eitan FarchiIBM Research Lab in HaifaVerified email at il.ibm.com
Avital Shulner-TalUniversity of Haifa, IsraelVerified email at campus.haifa.ac.il
Anshu JainIBM ResearchVerified email at us.ibm.com
Jahna OtterbacherOpen University of Cyprus, Cyprus Center for Algorithmic Transparency (CyCAT) & CYENS CoEVerified email at ouc.ac.cy
Styliani KleanthousAssistant Professor, Open University of CyprusVerified email at ouc.ac.cy
Shlomit PinterVerified email at cs.haifa.ac.il
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at unitn.it
Khuyagbaatar BatsurenUniversity of MelbourneVerified email at unimelb.edu.au
Rosa *AProfessor of Mathematics, McMaster UniversityVerified email at mcmaster.ca
Yaron WolfsthalIBM Research Division & Ben-Gurion UniversityVerified email at post.bgu.ac.il
Juergen DingelSchool of Computing, Queen's University, CanadaVerified email at cs.queensu.ca
Bernhard RumpeRWTH Aachen UniversityVerified email at se.rwth-aachen.de
tuvi etzionComputer Science, Technion, IsraelVerified email at cs.technion.ac.il
Jim DaviesUniversity of OxfordVerified email at cs.ox.ac.uk
Charles CrichtonDepartment of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Laurent MounierVERIMAG University of Grenoble AlpesVerified email at univ-grenoble-alpes.fr
G. R. GangadharanProfessor, National Institute of Technology, Tiruchirappalli, IndiaVerified email at nitt.edu

Alan Hartman

University of Haifa

Verified email at is.haifa.ac.il - Homepage

Mathematics Software Engineering Service Science Combinatorics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Problems and algorithms for covering arrays A Hartman, L Raskin Discrete Mathematics 284 (1), 149-156, 2004	313	2004
Software and hardware testing using combinatorial covering suites A Hartman Graph Theory, Combinatorics and Algorithms, 237-266, 2005	258	2005
The AGEDIS tools for model based testing A Hartman, K Nagin ACM SIGSOFT Software Engineering Notes 29 (4), 129-132, 2004	197	2004
Maintaining Data Privacy in a Shared Data Storage System S Cohen, A Hartman, JM Marberg, MG Moffie, K Nagin US Patent App. 14/184,718, 2015	168	2015
Using a model-based test generator to test for standard conformance E Farchi, A Hartman, SS Pinter IBM systems journal 41 (1), 89-110, 2002	166	2002
A study in coverage-driven test generation M Benjamin, D Geist, A Hartman, Y Wolfsthal, G Mas, R Smeets Design Automation Conference, 1999. Proceedings. 36th, 970-975, 1999	161	1999
Steiner quadruple systems A Hartman, KT Phelps Contemporary Design Theory, 205-240, 1992	128	1992
Technique using persistent foci for finite state machine based software test generation A Hartman, K Nagin, P Kram US Patent 6,944,848, 2005	106	2005
Projected state machine coverage for software testing G Friedman, A Hartman, K Nagin, T Shiran ACM SIGSOFT Software Engineering Notes 27 (4), 134-143, 2002	104	2002
Model based test generation for validation of parallel and concurrent software A Hartman, A Kirshin, K Nagin, S Olvovsky, A Zlotnick US Patent 7,089,534, 2006	99	2006
The fundamental construction for 3-designs A Hartman Discrete Mathematics 124 (1-3), 107-132, 1994	93	1994
Educating software and AI stakeholders about algorithmic fairness, accountability, transparency and ethics V Bogina, A Hartman, T Kuflik, A Shulner-Tal International Journal of Artificial Intelligence in Education, 1-26, 2022	82	2022
Resolvable group divisible designs with block size 3 AM Assaf, A Hartman Discrete mathematics 77 (1-3), 5-20, 1989	78	1989
Reducing the complexity of finite state machine test generation using combinatorial designs A Hartman, A Kirshin, K Nagin, S Olvovsky US Patent 7,024,589, 2006	77	2006
Using UML for automatic test generation A Cavarra, C Crichton, J Davies, A Hartman, L Mounier Proceedings of ISSTA 15, 2002	76	2002
Method and system for integrating test coverage measurements with model based test generation E Farchi, D Geist, A Hartman, P Kram, K Nagin, Y Shaham-Gafni, S Ur US Patent 7,272,752, 2007	75	2007
Model based test generation tools A Hartman Agedis Consortium, URL: http://www. agedis. de/documents …, 2002	72	2002
2^nd UML 2 Semantics Symposium: Formal Semantics for UML M Broy, ML Crane, J Dingel, A Hartman, B Rumpe, B Selic Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa …, 2007	64	2007
Hyper-arc consistency in a contraint satisfaction network R Emek, A Hartman, G Shurek, M Veksler US Patent 7,085,748, 2006	57	2006
Tripling quadruple systems A Hartman Ars Combin 10, 255-309, 1980	57	1980

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors